Most interpretations of Aristotle’s Posterior Analytics believe that the term ‘ameson’ is used to describe the principles or foundations of a given system of justification or explanation as epistemically prior to or more fundamental than the other propositions in the system. Epistemic readings (as I shall call them) arguably constitute a majority in the secondary literature. This predominant view has been challenged by Robin Smith (1986) and Michael Ferejohn (1994; 2013), who propose interpretations that should be classified as non-epistemic according (...) to the definition above. My aim in this article is purely negative. I intend to show that these non-epistemic interpretations are liable to serious objections and are in conflict with some important features of Aristotle’s theory of demonstration. (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)

O texto busca apresentar a discussão em torno de Ciência e Dialética em Aristóteles, de Porchat.

In Prior Analytics 1.15, Aristotle attempts to give a proof through the impossible of Barbara, Celarent, Darii, and Ferio with an assertoric first premiss, a contingent second premiss, and a possible conclusion. These proofs have been controversial since antiquity. I shall show that they are valid, and that Aristotle is able to explain them by relying on two meta-syllogistic lemmas on the nature of possibility interpreted as syntactic consistency. It will turn out that Aristotle's proofs are not of the intended (...) schemata. I shall investigate some of the results that the impact of this reconstruction on the modal syllogistic has: the relationship between Aristotle's syllogistic and the logics of relevance; the value of Aristotle's requirement that universal affirmative propositions be taken ‘absolutely’; the destruction of many Aristotelian proofs; the recovery of certain principles of modal opposition from a charge of inconsistency. (shrink)

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)

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)

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)

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)

From artistic performances in the visual arts and in music to motor control in gymnastics, from tool use to chess and language, humans excel in a variety of skills. On the plausible assumption that skillful behavior is a visible manifestation of intelligence, a theory of intelligence—whether human or not—should be informed by a theory of skills. More controversial is the question as to whether, in order to theorize about intelligence, we should study certain skills in particular. My target is the (...) view that only a particular class/kind of skill (i.e., ‘theoretical’, or ‘intellectual’ skills, versus ‘practical’, or ‘embodied’ skills) manifests intelligence, or especially does so. I call this view ‘Intelligence Elitism’. Intelligence Elitism is pervasive in popular culture, in academic culture, as well as in psychometrics. It has, arguably, a long pedigree in philosophy (though explicit arguments for it are rare). But it is a substantive view which, if false, can promote unfairness. In this article, I defend Intelligence Socialism—the claim that intelligent behavior is everywhere skillful behavior is. I go on to isolate the best case for the further Elitist claim that, even if all skillful behavior is intelligent in some modest sense of ‘intelligence’, there is a principled difference in intelligence between theoretical, or intellectual, skills, on one side, and practical, or embodied skills, on the other, and I show it wanting. (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)

In the opening sentences of Book 2 of Posterior Analytics, Aristotle defines the four types of question that one can pose within the demonstrative science. In the edition by William D. Ross, the text reads as follows : τὰ ζητούμενά ἐστιν ἴσα τὸν ἀριθμὸν ὅσαπερ ἐπιστάμεθα. ζητοῦμεν δὲ τέτταρα, τὸ ὅτι, τὸ διότι, εἰ ἔστι, τί ἐστιν. ὅταν μὲν γὰρ πότερον τόδε ἢ τόδε ζητῶμεν, εἰς ἀριθμὸν θέντες, οἷον πότερον ἐκλείπει ὁ ἥλιος ἢ οὔ, τὸ ὅτι ζητοῦμεν. σημεῖον δὲ τούτου· (...) εὑρόντες γὰρ ὅτι ἐκλείπει πεπαύμεθα· καὶ ἐὰν ἐξ ἀρχῆς εἰδῶμεν ὅτι ἐκλείπει, οὐ ζητοῦμεν πότερον. ὅταν δὲ εἰδῶμεν τὸ ὅτι, τὸ διότι ζητοῦμεν, οἷον εἰδότες ὅτι ἐκλείπει καὶ ὅτι κινεῖται ἡ γῆ, τὸ διότι ἐκλείπει ἢ διότι κινεῖται ζητοῦμεν.The things we seek are equal in number to those we understand. We seek four things: the fact, the reason why, if it is, what it is. For when we seek whether it is this or this, putting it into a number, we seek the fact. Evidence for this: on finding that it is eclipsed we stop; and if from the start we know that it is eclipsed, we do not seek whether it is. When we know the fact we seek the reason why. (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)

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)

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)

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)

The article examines Aristotle’s seminal discussion of the fallacy of begging the question, reconstructing its complex articulation within a variety of different, but related, contexts. I suggest that close analysis of Aristotle’s understanding of the fallacy should prompt critical reconsideration of the scope and articulation of the fallacy in modern discussions and usages, suggesting how begging the question should be distinguished from a number of only partially related argumentative faults.

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.

Essentialists claim that at least some individuals or kinds have essences. This raises an important but little-discussed question: how do we come to know what the essence of something is? This paper examines Aristotle’s answer to this question. One influential interpretation (viz., the Explanationist Interpretation) is carefully expounded, criticized, and then refined. Particular attention is given to what Aristotle says about this issue in DA I.1, APo II.2, and APo II.8. It is argued that the epistemological claim put forward in (...) DA I.1 differs from that put forward in APo II.2 and II.8, contrary to what has been claimed by Explanationists, and that each of these distinct epistemological claims rests on a distinct non-epistemological thesis about essence. Consequently, an ‘Enriched Explanationist Interpretation’ is developed which takes into account both of the aforementioned elements in Aristotle’s epistemology of essence. The paper concludes by highlighting an insight the preceding exegetical discussion offers to contemporary essentialists seeking to explain how we come to know what something’s essence is. (shrink)

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 claims that "although we perceive particulars, perception is of universals; for instance of human being, not of Callias-the-human-being" (APo II.19 100a16-b1). I offer an interpretation of this claim and examine its significance in Aristotle's epistemology.

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)

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)

The paper provides an interpretation of Aristotle’s view on scientific inquiry as problem solving. It tackles passages where Aristotle emphasises the role that the problem-solving activity has in science, and where he describes the history of humans’ problem-solving activity and the historical development of natural science as a problem-solving activity. Further, the paper examines Aristotle’s practice of raising, assessing and solving problems as well as the heuristic procedures he employs to move from ignorance to scientific knowledge. Finally, it raises a (...) question about Aristotle’s view on the epistemic status of scientific definitions: does Aristotle conceive of the definitions, which are the results of scientific inquiries, as truths or rather as plausible hypotheses that may or may not be true? (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 the following pages, the reader will find a detailed study of what Aristotle considered the most difficult aporia formulated in Metaphysics III (Beta), which is answered in chapter 2 of Book X (Iota): the Eleventh Aporia. In such aporia, Aristotle rivals: (i) the conception assumed by the ancient Physiologoi, which takes the One to be an underlying nature whose being is not exhausted by being One, and (ii) the Platonic-Pythagorean view, which prefers to conceive the One in itself, according (...) to its own determinations and apart from any connection with some reality outside it. (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)

There is a traditional conception of knowledge but it is not the Justified True Belief analysis Gettier attacked. On the traditional view, knowledge consists in having a belief that bears a discernible mark of truth. A mark of truth is a truth-entailing property: a property that only true beliefs can have. It is discernible if one can always tell that a belief has it, that is, a sufficiently attentive subject believes that a belief has it if and only if it (...) has it. Requiring a mark of truth makes the view infallibilist. Requiring it to be discernible makes the view internalist. I call the view Classical Infallibilism. (shrink)

This paper discusses how Hegel understands the principle of contradiction. It is analysed, first, the way Aristotle understands this principle, emphasizing the so called semantic and ontological readings. Then, it is analysed whether it is correct to argue that Hegel rejects this principle, holding here that, strictly speaking, this is not correct. To do this, we present a dialetheist reading of Hegelian logic, which allows to state that: i) Hegel does not accept trivialism and, from i), ii) is not feasible (...) a full rejection of the principle of contradiction in the Hegelian logic. The so-called cognitive contextualism can dismiss some contradictions as mere parameterisations, but does not lead to the strong thesis that Hegel rejects the principle of contradiction. (shrink)

It is now a widespread opinion among interpreters that Aristotle’s History of Animals is not a mere collection of empirical data but has its own theoretical framework; however, there is still disagreement as to exactly what this framework is. To address the problem, the article analyzes in detail the diairetic schemes of HA I 1, attempting to overturn the common opinion that this chapter is a mere expository introduction to the study of animals’ differences. On the contrary, it will be (...) shown that in this chapter Aristotle not only applies the method of ‘multiple division’ theorized in Parts of Animals I 2–4, but also uses dividing criteria that are informed by his causal theory and his hylomorphist ontology. This analysis will therefore lead to the more controversial conclusion that HA is not an ‘early’ work by Aristotle but a mature treatise with its own specific theoretical aim: the aitiological explanation of the anatomical, eco-physiological and ethological differences among animals. (shrink)

Aristotle’s main thesis in Metaphysics Z.17, which takes substance to be a principle and a cause of some sort (1041a9–10, 1041b7–9, b30–31), is of a piece with the assumption that hylomorphic compounds are unified wholes (1041b11–12) – an assumption that proves critical to settling an important controversy about the form-matter relationship in that chapter, i. e. whether matter and form are mutually indistinguishable or rather just accidentally the same. By rejecting these interpretive options, this paper argues that form and matter (...) are bound together by an essential link which, nevertheless, is able to preserve both (i) the different explanatory roles that each of those principles play vis-à-vis specific substances and (ii) the compound’s proper unity. (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)

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)

European Journal of Philosophy, Volume 30, Issue 3, Page 1161-1172, September 2022.

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)

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)

Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...) formalizations of arithmetic. In Peano's formalization the domain is a restricted class of individuals, while the universe of discourse is the unrestricted class of all individuals. In Gödel's formalization the domain is a restricted class of individuals as in Peano's formalization, but the universe of discourse coincides with the domain. In Whitehead-Russell's formalization the domain is a class of logical notions in Tarski's sense, that are necessarily not individuals, whereas the universe of discourse is the unrestricted class of individuals as in Peano's formalization. The present approach emphasizes the viewpoint that the universe of discourse of a given discourse is important in determining which propositions are expressed by which sentences. (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)