This paper deals with the following question: What features of modern natural science are responsible for the fact that, of all forms of science, this form is technologically exploitable? The three notions: concept of nature, epistemic ideal, and experiment, suggest the most important components of my answer. I will argue, first, that only the peculiar interplay of the modern concept of nature with an epistemic ideal attuned to it can cast experiment in the specific, highly central role it plays in (...) the pursuit of knowledge about nature. It will then become clear that the form of science in which experiment plays such a role will, necessarily, prove technologically exploitable. (shrink)

A foundationalist account of our empirical thinking divides propositions we accept into two classes, basic and derivative, and sees the warrant of derivative propositions as accruing to them through their derivation from basic propositions. Such an account needs to answer two questions: which propositions are basic, and whence do basic propositions acquire their warrant? A natural and ancient answer to these questions is that basic propositions are observational and that these propositions gain their warrant from perceptions. I critically examine this (...) view and also a variant view offered by Wilfrid Sellars. I put forward an alternative conception, dialectical foundationalism, that sees the distinction between the basic and the derivative as issuing from a distinction between two kinds of reasoning, derivational and dialectical. This type of foundationalism provides a more accurate account of our empirical thinking, I argue, than its traditional and Sellarsian counterparts. (shrink)

In Metaphysics A 6, Aristotle claims that Plato only recognises formal and material causes. Yet, in various dialogues, Plato seems to use and distinguish efficient and final causes too. Consequently, Harold Cherniss accuses Aristotle of being an unfair, forgetful, or careless reader of Plato. Since then, scholars have tried to defend Aristotle’s exegetical skills. I offer textual evidence and arguments to show that their efforts still fall short of the desired goal. I argue, instead, that we can reject Cherniss’ assertation (...) by re-examining Aristotle’s exegetical and methodological assumptions. (shrink)

Nos Segundos Analíticos I. 14, 79a16-21 Aristóteles afirma que as demonstrações matemáticas são expressas em silogismos de primeira figura. Apresento uma leitura da teoria da demonstração científica exposta nos Segundos Analíticos I (com maior ênfase nos capítulo 2-6) que seja consistente com o texto aristotélico e explique exemplos de demonstrações geométricas presentes no Corpus. Em termos gerais, defendo que a demonstração aristotélica é um procedimento de análise que explica um dado explanandum por meio da conversão de uma proposição previamente estabelecida. (...) Em uma estrutura silogística, a proposição previamente estabelecida é a premissa maior e o termo mediador deve ser comensurado ao explanandum. O conjunto da premissa maior e da premissa menor (o explanans) é coextensivo ao explanandum, mas há uma assimetria intensional entre o explanans e o explanandum, de modo que apenas o primeiro explique o último. Por fim, defendo que o elemento identificado no termo mediador deve ser o mais apropriado para explicar precisamente o que certo explanandum é. (shrink)

In Prior Analytics 1.27–30, Aristotle develops a method for finding deductions. He claims that, given a complete collection of facts in a science, this method allows us to identify all demonstrations and indemonstrable principles in that science. This claim has been questioned by commentators. I argue that the claim is justified by the theory of natural predication presented in Posterior Analytics 1.19–22. According to this theory, natural predication is a non-extensional relation between universals that provides the metaphysical basis for demonstrative (...) science. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...) (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core features are introduced in the first part of (...) the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5. (shrink)

In Aristotle's views on cognition a series of terms – hupolêpsis, doxa, and epistêmê – play key roles. But it has not been noticed that each of these comes in two kinds – one unqualified and the other qualified. When these and their interrelations are properly explored, a deeply systematic picture of cognition emerges, in which doxa is best understood as ‘belief’, hupolêpsis as ‘supposition’, and epistêmê as a sort of belief, so that – contrary to orthodoxy – we can (...) have belief and knowledge of the same things at the same time. Many of these conclusions are shown to mark a continuity with Plato, in that neither thinker, it is argued, holds a so-called ‘two-worlds’ picture of cognition. (shrink)

Aristotle gives a surprisingly broad menu of examples of something being accidental to something else. But the breadth of these examples seems to threaten a basic feature of accidentality, namely its asymmetry. ‘Accident’ has different senses, and one might think that that fact offers a way out, but some examples resist such an understanding. The best way forward, I argue, is to take accidentality to be contextual: relative to some context or condition, something might be accidental to something else; relative (...) to another context or condition, the latter might be accidental to the former. (shrink)

Typically, Aristotle’s notion of an accidental unity is explained using our concept of identity, but doing so is fraught and liable to mislead. I argue that we should explain accidental unities in terms of sameness: doing so not only shows a coherence among texts thought to be in tension with one another, it reconciles the two competing conceptions of accidental unities in a satisfying way. I conclude by answering several Boolean questions that naturally arise in response to the inclusion of (...) accidental unities in Aristotle’s ontology. (shrink)

Este livro marca o início da Série Investigação Filosófica. Uma série de livros de traduções de textos de plataformas internacionalmente reconhecidas, que possa servir tanto como material didático para os professores das diferentes subáreas e níveis da Filosofia quanto como material de estudo para o desenvolvimento pesquisas relevantes na área. Nós, professores, sabemos o quão difícil é encontrar bons materiais em português para indicarmos. E há uma certa deficiência na graduação brasileira de filosofia, principalmente em localizações menos favorecidas, com relação (...) ao conhecimento de outras línguas, como o inglês e o francês. Tentamos, então, suprir essa deficiência, ao introduzirmos traduções de textos importantes ao público de língua portuguesa, sem nenhuma finalidade comercial e meramente pela glória da filosofia. O presente volume é constituído de três traduções de verbetes importantes sobre lógica, da Enciclopédia de Filosofia da Stanford: (1) A Lógica de Aristóteles, (2) Lógica Clássica, (3) Lógica Modal. (shrink)

In Posterior Analytics 2.19, Aristotle argues that we cannot have innate knowledge of first principles because if we did we would have the most precise items of knowledge without noticing, which is impossible. To understand Aristotle’s argument we need to understand why he thinks we cannot possess these items of knowledge without noticing. In this paper, I present three different answers to this question and three different readings of his argument corresponding to them. The first two readings focus on the (...) fact that we do not use the knowledge we allegedly possess innately. However, I argue that these readings fail to produce convincing arguments. I then offer a third reading, which focuses on the fact that we do not notice the knowledge we allegedly possess innately when we use it for the first time. I argue that this reading produces a more convincing argument than either of the first two. (shrink)

In this paper, Stoic epistemology is analysed in terms of how to achieve a stable grasping of reality through katalepsis. The paper argues that for the Stoics, this is a state accessible to any rational being because it is the upshot of a mental capacity we are necessarily bound to put into operation, namely that of experiencing and mentally ordering objects from the sensible world. The paper puts forward an original interpretation relying on a reconsidered notion of Stoic empeiria or (...) experience. It connects the Stoic theory of the development of reason and formation of conceptions with a more fluid oscillation between belief and knowledge so as to establish a peculiar relation between reason and the Stoic notion of experience, articulating a form of rational empiricism. (shrink)

Through a detailed analysis of the various modes of argumentation employed by Aristotle throughout his natural scientific works, I aim to contribute to the growing scholarship on the relation between Aristotle’s theory of science and his actual scientific practice. I challenge the standard reading of Aristotle as a methodological empiricist and show that he permits a variety of non-empirical arguments to support controversial theses in properly scientific contexts. Specifically, I examine his use of logical (logikôs) argumentation in the discussion of (...) mule sterility in Generation of Animals II 8, rational (kata ton logon) argumentation in his discussion of cardiocentrism throughout the biological works, and the method of division in Posterior Analytics II 13. (shrink)

Since Mates’ seminal Stoic Logic there has been uncertainty and debate about how to treat the term anapodeiktos when used of Stoic syllogisms. This paper argues that the customary translation of anapodeiktos by ‘indemonstrable’ is accurate, and it explains why this is so. At the heart of the explanation is an argument that, contrary to what is commonly assumed, indemonstrability is rooted in the generic account of the Stoic epistemic notion of demonstration. Some minor insights into Stoic logic ensue.

The expression tode ti, commonly translated as ‘a this’, plays a key role in Aristotle’s metaphysics. Drawing lightly on theories of demonstratives in contemporary linguistics, I discuss the expres...

Sense experience, naïvely conceived, is a way of knowing perceptible properties: the colors, sounds, smells, flavors, and textures in our perceptual environment. So conceived, ordinary experience presents the perceiver with the essential nature of a property like Sky Blue or Middle C, such that how the property appears in experience is identical to how it essentially is. In antiquity, as today, it was controversial whether sense experience could meet the conditions for knowledge implicit in this naïve conception. Aristotle was a (...) partisan in this debate, but his position is poorly understood. This dissertation examines how Aristotle’s perceptual psychology responds to ancient challenges to the naïve conception, and so articulates his defense of perceptual knowledge. -/- Aristotle’s defense relies on an ontology of “perceptual qualities"—a core class of perceptible properties—according to which those qualities, despite having a perceiver-independent essence rooted in the physics of causation and affection, nevertheless can be present in experience as they essentially are. Chapter 1 defends this realist and objectivist reading against competing interpretations, which overlook a crucial distinction between perceptual qualities and perceptual objects. Chapter 2 presents Aristotle’s ontology as a physicalism that uncharacteristically allows for perceptual qualities to appear in experience as they essentially are. -/- This ontology informs Aristotle’s account of the psychological conditions under which perceivers actually are presented with the essence of perceptual qualities. The locus of this account is an obscure passage where Aristotle purports to show that the senses “discriminate” perceptual qualities because the senses are “mean states” (An. 2.11, 424a5–7). Chapter 3 develops a comprehensive interpretation of the sensory mean state, which Chapter 4 uses to elucidate Aristotle’s argument for sensory discrimination. Sensory discrimination turns out to be a process in which the essence of a perceptual quality comes to be present in the affection it produces in a perceiver. For Aristotle, this shows that sense perception meets a condition for knowledge that his predecessors, including Plato, thought it could not meet. For in his view, but not in theirs, sense experience shares in both the truth and the essence of the qualities it perceives. (shrink)

Aristotle frequently describes essence as a “cause” or “explanation”, thus ascribing to essence some sort of causal or explanatory role. This explanatory role is often explicated by scholars in terms of essence “making the thing be what it is” or “making it the very thing that it is”. I argue that this is problematic, at least on the assumption that “making” expresses an explanatory relation, since it violates certain formal features of explanation. I then consider whether Aristotle is vulnerable to (...) this problem by examining the explanatory role of essence in Posterior Analytics and Metaphysics Z 17. (shrink)

I argue that Aristotle’s account of scientific demonstrations in the Posterior Analytics is centred upon formal causation, understood as a demonstration in terms of essence (and as innocent of the distinction between form and matter). While Aristotle says that all four causes can be signified by the middle term in a demonstrative syllogism, and he discusses at some length efficient causation, much of Aristotle’s discussion is foremost concerned with the formal cause. Further, I show that Aristotle had very detailed procedures (...) for identifying the formal cause, and that he is aware of several problems which might lead one to erroneously identify the wrong form as the cause of a property. Finally, I show that Aristotle’s account can easily be adapted to material causation, and through some modifications (introduction of process universals related through parthood), hinted at in II 11-12 and 16-17, to efficient and final causation. (shrink)

Aristotle’s theory of spontaneous generation offers many puzzles to those who wish to understand his theory both within the context of his biology and within the context of his more general philosophy of nature. In this paper, I approach the difficult and vague elements of Aristotle’s account of spontaneous generation not as weaknesses, but as opportunities for an interesting glimpse into the thought of an early scientist struggling to reconcile evidence and theory. The paper has two goals: to give as (...) charitable and full an account as possible of what Aristotle’s theory of spontaneous generation was, and to examine some of its consequences; and to reflect on Aristotle as a scientist, and what his comments reveal about how he approached a difficult problem. In particular, I propose that the well-recognized problem of the incompatibility between Aristotle’s concept of spontaneity and his theory of spontaneous generation presents an opportunity for insight into his scientific methodology when approaching ill-understood phenomena. (shrink)

For Aristotle, demonstrative knowledge is the result of what he calls ‘intellectual learning’, a process in which the knowledge of a conclusion depends on previous knowledge of the premises. Since demonstrations are ultimately based on indemonstrable principles (the knowledge of which is called ‘νοῦς’), Aristotle is often described as advancing a foundationalist doctrine. Without disputing the nomenclature, I shall attempt to show that Aristotle’s ‘foundationalism’ should not be taken as a rationalist theory of epistemic justification, as if the first principles (...) of science could be known as such independently of their explanatory connections to demonstrable propositions. I shall argue that knowing first principles as such involves knowing them as explanatory of other scientific propositions. I shall then explain in which way noetic and demonstrative knowledge are in a sense interdependent cognitive states – even though νοῦς remains distinct from (and, in Aristotle’s words, more ‘accurate’ than) demonstrative knowledge. (shrink)

Aristotle's theory of demonstration, developed in the Posterior Analytics, is not restricted to determining the formal requirements for formulating probative arguments that establish properly the results of scientific investigation. To the probative aspect of demonstration it shall be added its primarily explanatory character, orientated by theses of strong ontological and metaphysical content and involving notions like substance, essence and causation. We shall analyze the relation between those two ranges of Aristotle's philosophy of science and investigate how the formal features of (...) demonstration maintain an affinity with the metaphysical background to which scientific activity is conditioned. (shrink)

Aristotle's cognitive ideal is a form of understanding that requires a sophisticated grasp of scientific first principles. At the end of the Analytics, Aristotle tells us that we learn these principles by induction. But on the whole, commentators have found this an implausible claim: induction seems far too basic a process to yield the sort of knowledge Aristotle's account requires. In this paper I argue that this criticism is misguided. I defend a broader reading of Aristotelian induction, on which there's (...) good sense to be made of the claim that we come to grasp first principles inductively, and show that this reading is a natural one given Aristotle's broader views on scientific learning. (shrink)

At Topics 8.11 161b19–33 Aristotle lists five criticisms () which may be leveled against a dialectical argument ‘in itself’ (). The five criticisms correspond in many respects to the familiar conditions Aristotle places on syllogism and refutation. However, begging the question —the violation of the condition that the conclusion of a syllogism be something different () from the premises—seems not to appear on the list of five criticisms. That this omission is only apparent becomes clear once it is seen that (...) the five criticisms are not independent but rather amount to five successive filters through which an argument may be passed before its non-genuineness is exposed. This result sheds light on Aristotle's curious insistence, in the face of the heterogeneity of his examples of BTQ in Topics 8.13, that every question-begging refutation contains a premise that is ‘the same’ as the conclusion. The fact that the five criticisms expose BTQ as a defect in syllogistic reasoni.. (shrink)

I contend that Adam Smith and David Hume offer re-interpretations of Aristotle’s notion of greatness of soul, focusing on the kind of magnanimity Aristotle attributes to Socrates. Someone with Socratic magnanimity is worthy of honor, responds moderately to fortune, and is virtuous—just and benevolent. Recent theorists err in claiming that magnanimity is less important to Hume’s account of human excellence than benevolence. In fact, benevolence is a necessary ingredient for the best sort of greatness. Smith’s “Letter to Strahan” attributes this (...) greatness to Hume. It encourages us to admire Hume as an exemplar of human excellence, to seek Hume’s virtues for ourselves, and to approve of the “love of literary fame” which Hume calls his “ruling passion.”. (shrink)

Something Aristotle calls ‘right logos’ plays a crucial role in his theory of virtue. But the meaning of ‘logos’ in this context is notoriously contested. I argue against the standard translation ‘reason’, and—drawing on parallels with Plato’s work, especially the Laws—in favor of its being used to denote what transforms an inferior epistemic state into a superior one: an explanatory account. Thus Aristotelian phronēsis, like his and Plato’s technē and epistēmē, is a matter of grasping explanatory accounts: in this case, (...) accounts that identify the right action and say why it is right. Arguably, Aristotelian rationality is a matter of being able to grasp accounts in general. (shrink)

In disagreement with Claudia Baracchi’s controversial thesis that there is a “simultaneity and indissolubility” if not an “identity” of intelligence (nous) and perception (aisthēsis) at the core of Aristotle’s philosophy, I will argue that Aristotle maintains a fundamental distinction between these cognitive faculties. My goal in this paper is to examine specific parts of two central and complex passages, VI.8, 1142a12-30 and VI.11, 1143a33-b15, from the Nicomachean Ethics to show that Baracchi’s view is unpersuasive. I will show that Aristotle considers (...) nous to be a different capacity than mere perception and one through which particulars and indemonstrable principles become intelligible. Moreover, I will show that Aristotle considers that the objects of nous differ in kind from those that sensation (our senses) and perception (inference from our senses) grasp. After examining critically Baracchi’s thesis in light of a close reading of those two relevant passages, I will conclude the paper by showing the significance of Aristotle’s claim that a state is defined in terms of its objects of apprehension for understanding the distinction between nous and aisthēsis. (shrink)

Acceptance or rejection of factual assertions is a far more important process than logical validation of arguments. Not only are assertions more persuasive than arguments; this is desirable, since we want our beliefs and actions to be reasonable and not just rational. When do we resort to argument? Real speeches heavy on arguments aim to present the speaker as calm, serious, and knowledgeable. In public life, one argues not in order to demonstrate the claim for which one is arguing, but (...) to show that one shares the common prejudices or values that appear in the presuppositions and conclusions of one’s argument, and to demonstrate mastery of the subject matter by displaying relevant knowledge in coherently organized detail. Arguing is thus a way of presenting facts and principles so as to show one’s character as worthy of trust. (shrink)

ABSTRACT: I argue that Socrates employs both elenchus and the method of hypothesis in the examination of the slave. I show that the elenchus is a necessary step of the inquiry. Being reduced to ignorance, Socrates tacitly uses the method of hypothesis to move the slave from ignorance to correct opinion. I tease this out from the questions Socrates asks. Although the method of hypothesis begins from a question distinct from elenchus, the solution to the problem leads the slave to (...) answer the original question. The examination shows that the two methods can be employed in a sustained inquiry. (shrink)

Inductive generalization asserts that what obtains in known instances can be generalized to all. Its original form is enumerative induction, the earliest form of inductive inference, and it has been elaborated in various ways, largely with the goal of extending its reach. Its principal problem is that it supplies no intrinsic notion of strength of support so that one cannot tell if the generalization has weak or strong support.

RésuméEn expliquant la relation entre hypothèses et images dans l'analogie de la ligne du livre Vl de laRépubliquede Platon, je m'attarde d'abordsur l'élucidation platonicienne de la nature des mathématiques telle que la conçoit le mathématicien lui-même. Je poursuis avec une critique des interprétations traditionnelles de cette relation, qui partent de l'assomption douteuse que les mathématiques s'occupent des Formes platoniciennes. Pour formuler mon point de vue sur cette relation, j'exploite la notion de «structure». Je montre comment les «hypothèses» comme principes de (...) preuve peuvent déterminer les structures des «images» par lesquelles les structures intelligibles correspondantes des objets mathématiques en viennent à être connues. (shrink)

Aristotle’s modal syllogistic is his study of patterns of reasoning about necessity and possibility. Many scholars think the modal syllogistic is incoherent, a ‘realm of darkness’. Others think it is coherent, but devise complicated formal modellings to mimic Aristotle’s results. This volume provides a simple interpretation of Aristotle’s modal syllogistic using standard predicate logic. Rini distinguishes between red terms, such as ‘horse’, ‘plant’ or ‘man’, which name things in virtue of features those things must have, and green terms, such as (...) ‘moving’, which name things in virtue of their non-necessary features. By applying this distinction to the Prior Analytics, Rini shows how traditional interpretive puzzles about the modal syllogistic melt away and the simple structure of Aristotle’s own proofs is revealed. The result is an applied logic which provides needed links between Aristotle’s views of science and logical demonstration. The volume is particularly valuable to researchers and students of the history of logic, Aristotle’s theory of modality, and the philosophy of logic in general. (shrink)

This book investigates Aristotle’s views on abstraction and explores how he uses it. In this work, the author follows Aristotle in focusing on the scientific detail first and then approaches the metaphysical claims, and so creates a reconstructed theory that explains many puzzles of Aristotle’s thought. Understanding the details of his theory of relations and abstraction further illuminates his theory of universals. Some of the features of Aristotle’s theory of abstraction developed in this book include: abstraction is a relation; perception (...) and knowledge are types of abstraction; the objects generated by abstractions are relata which can serve as subjects in their own right, whereupon they can appear as items in other categories. The author goes on to look at how Aristotle distinguishes the concrete from the abstract paronym, how induction is a type of abstraction which typically moves from the perceived individuals to universals and how Aristotle’s metaphysical vocabulary is "relational.’ Beyond those features, this work also looks at how of universals, accidents, forms, causes and potentialities have being only as abstract aspects of individual substances. An individual substance is identical to its essence; the essence has universal features but is the singularity making the individual substance what it is. These theories are expounded within this book. One main attraction in working out the details of Aristotle’s views on abstraction lies in understanding his metaphysics of universals as abstract objects. This work reclaims past ground as the main philosophical tradition of abstraction has been ignored in recent times. It gives a modern version of the medieval doctrine of the threefold distinction of essence, made famous by the Islamic philosopher, Avicenna. (shrink)

What role, if any, does dialectic play in Aristotle’s epistemology in the Topics? In this paper I argue that it does play a role, but a role that is independent of endoxa. In the first section, I sketch the case for thinking that dialectic plays a distinctively epistemological role—not just a methodological role, or a merely instrumental role in getting episteme. In the second section, I consider three ways it could play that role, on two of which endoxa play at (...) least a co-starring role. But in the third section, I argue that endoxa don’t play that co-starring role, by arguing for a deflationary account of what endoxa are. For that reason, the third view emerges as the most plausible; but the third view is, I’ll suggest, Platonic. (shrink)

How many scientific demonstrations can a single phenomenon have? This paper argues that, according to Aristotle's theory of scientific knowledge as laid out in the Posterior Analytics, a single conclusion may be demonstrated via more than one explanatory middle term. I also argue that this model of multiple demonstration is put into practice in the biological writings. This paper thereby accomplishes two related goals: it clarifies certain relatively obscure passages of the Posterior Analytics and uses them to show how Aristotle (...) explains biological phenomena by reference to both final and material causes in the Parts of Animals. The first part of the paper explains the account of multiple demonstration present in the Posterior Analytics and distinguishes it from another kind of plural explanation rejected by Aristotle. The second part of the paper turns to the biological explanation in the Parts of Animals and shows how Aristotle's account of multiple demonstrations works in practice. The paper thus provides evidence for the claim that the ‘applied’ reasoning on display in the biological works is in harmony with the framework of the logical treatises, and thus may also shed light on questions of the unity of the Aristotelian corpus. (shrink)

We may define words or concepts, and we may also, as Aristotle and others have thought, define the things for which words stand and of which concepts are concepts. Definitions of words or concepts may be explicit or implicit, and may seek to report preexisting synonymies, as Quine put it, but they may instead be wholly or partly stipulative. Definition by abstraction, of which Hume’s principle is a much discussed example, seek to define a term-forming operator, such as the number (...) operator, by fixing the truth-conditions of identity-statements featuring terms formed by means of that operator. Such definitions are a species of implicit definition. They are typically at least partly stipulative. Definitions of things, or real definitions, are, by contrast, typically conceived as true or false statements about the nature or essence of their definienda, and so not stipulative. There thus appears to be an obvious and head-on clash between taking Hume’s principle as an implicit and at least partly stipultative definition of the number operator and taking it as a real definition, stating the nature or essence of cardinal numbers. This paper argues that this apparent tension can be resolved, and that resolving it sheds light on part of the epistemology or essence and necessity, showing how some of our knowledge of essence and necessity can be a priori. (shrink)

The following is a critical and historical account of Aristotelian Essentialism informed by recent work on Aristotle’s modal syllogistic. The semantics of the modal syllogistic are interpreted in a way that is motivated by Aristotle, and also make his validity claims in the Prior Analytics consistent to a higher degree than previously developed interpretative models. In Chapter One, ancient and contemporary objections to the Aristotelian modal syllogistic are discussed. A resolution to apparent inconsistencies in Aristotle’s modal syllogistic is proposed and (...) developed out of recent work by Patterson, Rini, and Malink. In particular, I argue that the semantics of negation is distinct in modal context from those of assertoric negative claims. Given my interpretive model of Aristotle’s semantics, in Chapter Two, I provide proofs for each of the mixed apodictic syllogisms, and propose a method of using Venn Diagrams to visualize the validity claims Aristotle makes in the Prior Analytics. Chapter Three explores how Aristotle’s syllogistic fits within Aristotle’s philosophy of science and demonstration, particularly within the context of the Posterior Analytics. Consideration is given to the Aristotelian understanding of the relationship among necessity, explanation, definition, and essence. Chapter Four applies Aristotelian modal logic in contemporary contexts. I contrast Aristotelian modality and essentialism with contemporary modalism based upon the semantics of possible worlds, e.g. Kripke and Putnam. I also develop an account of how Aristotelian modal logic can ground a sortal dependent theory of identity, as discussed by Wiggins. (shrink)

This paper examines Aristotle’s notion of priority with the specific aim of capturing the sort of priority that characterizes the primacy of substances in his metaphysics. I reject the traditional interpretation, which understands the ontological priority of substances in terms of independent existence. But there are rather two sorts of priority: the ontological priority of substances should be understood in terms of completeness, whereas the ontological priority of “substances-of-something” (the essences) is a causal-explanatory priority. Furthermore, an important piece of Aristotle’s (...) argument against Platonism is that these two sorts of priority – namely, the completeness priority and the causal-explanatory priority – should be kept distinct. (shrink)

In this paper I explore Aristotle’s views on natural kinds and the compatibility of pluralism and realism, a topic that has generated considerable interest among contemporary philosophers. I argue that, when it came to zoology, Aristotle denied that there is only one way of organizing the diversity of the living world into natural kinds that will yield a single, unified system of classification. Instead, living things can be grouped and regrouped into various cross-cutting kinds on the basis of objective similarities (...) and differences in ways that subserve the explanatory context. Since the explanatory aims of zoology are diverse and variegated, the kinds it recognizes must be equally diverse and variegated. At the same time, there are certain constraints on which kinds can be selected. And those constraints derive more from the causal structure of the world than from the proclivities of the classifier (hence the realism). This distinguishes Aristotle’s version of pluralistic realism from those contemporary versions (like Dupré’s “promiscuous realism”) that treat all or most classifications of a given domain as equally legitimate and not just a sub-set of kinds recognized by the science that studies it. By contrast, Aristotle privileges scientifically important kinds on the basis of their role in causal investigations. On this picture natural kinds are those kinds with the sort of causal structure that allows them to enter into scientific explanations. In the final section I argue that Aristotle’s zoology should remain of interest to philosophers and biologists alike insofar as it combines a pluralistic form of realism with a rank-free approach to classification. (shrink)

I shall argue that, according to Aristotle, the knowledge we may attain is profoundly qualified by our status as human knowers. Throughout the corpus, Aristotle maintains a separation of knowledge at the broadest level into two kinds, human and divine. The separation is not complete—human knowers may enjoy temporarily what god or the gods enjoy on a continuous basis; but the division expresses a fact about humanity's place in the cosmos, one that imposes strict conditions on what we may know, (...) with what degree of certainty, and in what areas. While passages bearing on human knowledge are familiar, looking at them collectively and in comparison with certain other well known Aristotelian doctrines may significantly affect how we understand the goals of his philosophy and why our hopes for reaching them must be limited. (shrink)

ABSTRACT: A comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with an emphasis on topics which may be of interest to contemporary logicians. Content: 1. Pre-Aristotelian Logic 1.1 Syntax and Semantics 1.2 Argument Patterns and Valid Inference 2. Aristotle 2.1 Dialectics 2.2 Sub-sentential Classifications 2.3 Syntax and Semantics of Sentences 2.4 Non-modal Syllogistic 2.5 Modal Logic 3. The early Peripatetics: Theophrastus and Eudemus 3.1 Improvements and Modifications of Aristotle's Logic 3.2 Prosleptic Syllogisms 3.3 Forerunners (...) of Modus Ponens and Modus Tollens 3.4 Wholly Hypothetical Syllogisms 4. Diodorus Cronus and Philo the Logician 5. The Stoics 5.1 Logical Achievements Besides Propositional Logic 5.2 Syntax and Semantics of Complex Propositions 5.3 Arguments 5.4 Stoic Syllogistic 5.5 Logical Paradoxes 6. Epicurus and the Epicureans 7. Later Antiquity. (shrink)

The hypothesis of a theoretical unity between On Sophistical Refutations and Prior Analytics presents a major challenge to scholars attempting to unify the criteria of analysis. This paper examines this problem and proposes a middle ground between the perspectives of Woods and Boger to address this crucial question: If a unitary and coherent theory of deduction exists, why does not the technical apparatus of syllogistic modes for analyzing fallacies appear in SE? This paper makes useful contributions to the discussion on (...) the internal unity of Aristotle's logical writings on around categorical syllogistics and the doctrine of sophistical refutations. (shrink)

This paper offers a novel interpretation of the nature and role of logical argumentation in Aristotle’s natural philosophy. In contrast to the standard domain interpretation, which makes logikôs argumentation the contrary of phusikôs, relying on principles drawn from outside the domain of natural science, I propose that the essential or defining feature of logikôs argumentation is the use of principles that are general relative to the question under investigation. My interpretation is developed and illustrated with a close textual analysis of (...) Aristotle’s explanation of mule sterility in Generation of Animals II 8. (shrink)