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)

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)

The pseudo-Platonic Definitions seems to ascribe to ὄνοµα, ‘name’, the function of signifying two kinds of predicate. This is problematic, and I propose an emendation of the text, arguing that a definition of ῥῆµα, ‘verb’, has fallen out.

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)

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)

Este artigo discute certos problemas que aparecem na teoria aristotélica da investigaçãocientífica no capítulo 8 do livro II dos Segundos Analíticos de Aristóteles. Aristótelesdistingue três estágios de investigação científica. Meu ponto é que a teoria aristotélicada investigação científica consegue evitar o paradoxo de Mênon – sobre a impossibilidadede qualquer investigação – apenas se o segundo estágio reconhecido por Aristóteles, oestágio em que se estabelece que o objeto existe, for entendido como estágio em que seestabelece que o objeto em questão existe (...) a título de explanandum legítimo no domíniode uma dada ciência. (shrink)

The Eleventh Aporia results from the breakup of the entire Greek philosophy previous to Aristotle in two manners of conceiving and proposing the first principles (archai), specially the One (to hen): (i) the manner by which Physiologoi conceived the One as a principle, namely, assuming an underlying nature, different from the One in itself, not adequately characterized by the simple fact of being one and which is denoted by the concept of One, and (ii) the manner inaugurated by the Pythagoreans (...) and later endorsed by Plato, marked by the abandonment of the appeal to an underlying nature and by conceiving the One in itself (auto to hen) as a principle, depriving it of any connection with some reality not strictly characterized by being one. Aristotle faces this aporia in Metaphysics Iota 2 and, according to the interpretation I propose: (a) refuses the Pythagorean-Platonic manner of conceiving and proposing principles, (b) endorses the course of action of the Physiologoi, and, in doing so, (c) steps back and retakes the “project” of the Physiologoi at the point where it was interrupted, namely, during the search for a principle of motion. From this scenario, I will try to show that the final outcome of the Eleventh Aporia can be the introduction of the Prime Mover as the properly Aristotelian (and cosmological) candidate to the title of One between the principles. (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)

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)

J. H. Lambert proved important results of what we now think of as non-Euclidean geometries, and gave examples of surfaces satisfying their theorems. I use his philosophical views to explain why he did not think the certainty of Euclidean geometry was threatened by the development of what we regard as alternatives to it. Lambert holds that theories other than Euclid's fall prey to skeptical doubt. So despite their satisfiability, for him these theories are not equal to Euclid's in justification. Contrary (...) to recent interpretations, then, Lambert does not conceive of mathematical justification as semantic. According to Lambert, Euclid overcomes doubt by means of postulates. Euclid's theory thus owes its justification not to the existence of the surfaces that satisfy it, but to the postulates according to which these "models" are constructed. To understand Lambert's view of postulates and the doubt they answer, I examine his criticism of Christian Wolff's views. I argue that Lambert's view reflects insight into traditional mathematical practice and has value as a foil for contemporary, model-theoretic, views of justification. (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)

The ways in which the Aristotelian sciences are related to each other has been discussed in the literature, with some focus on the subalternate sciences. While it is acknowledged that Aristotle, and Plato as well, was concerned as well with how the arts were related to one another, less attention has been paid to Aristotle's views on relationships among the arts. In this paper, I argue that Aristotle's account of the subalternate sciences helps shed light on how Aristotle saw the (...) art of rhetoric relating to dialectic and politics. Initial motivation for comparing rhetoric with the subalternate sciences is Aristotle's use of the language of boundary transgression, germane to the Posterior Analytics, when discussing rhetoric’s boundaries, as well as the language of "over" and "under" found in APo. First, I discuss three passages in Rhetoric Book I and argue that Garver's (1988) account cannot be correct. Second, I look to the subalternate sciences, especially focusing on optics and the distinction between "unqualified" optics and mathematical optics. Third, I discuss rhetoric's dependence on both dialectic and politics. (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)

RésuméLe présent article propose la liste des œuvres médicales composées par Ibn Bājja, donne une présentation synthétique de celles qui nous ont été transmises et étudie le métacommentaire au commentaire de Galien sur lesAphorismesd'Hippocrate (Sharḥ fī al-Fuṣūl). Ce texte montre une influence profonde d'al- Fārābī, en particulier dans sa conception de l'expérience médicale, qui remonte à la façon dont ce dernier construit l'expérience (tajriba) comme le procédé inductif, décrit par Aristote dans lesSeconds Analytiques, produisant les prémisses de la démonstration. Sur (...) cette base, Ibn Bājja défend la pertinence d'une médecine moins scolastique et plus empirique, une position dont Ibn Rushd se fera l'écho. Des similitudes entre le texte d'Ibn Bājja et leK. al-Kulliyyāt fī al-ṭibbd'Ibn Rushd suggèrent que celui-ci avait lu leSharḥ fī al-Fuṣūl. Cette œuvre, en outre, pourrait bien attester que la dissection humaine était pratiquée à l'époque d'Ibn Bājja. (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)

One of the hardest questions to answer for a (Neo)platonist is to what extent and how the changing and unreliable world of sense perception can itself be an object of scientific knowledge. My dissertation is a study of the answer given to that question by the Neoplatonist Proclus (Athens, 411-485) in his Commentary on Plato’s Timaeus. I present a new explanation of Proclus’ concept of nature and show that philosophy of nature consists of several related subdisciplines matching the ontological stratification (...) of nature. Moreover, I demonstrate that for Proclus philosophy of nature is a science, albeit a hypothetical one, which takes geometry as its methodological paradigm. I also offer an explanation of Proclus’ view of what is later called the mathematization of physics, i.e. the role of the substance of mathematics, as opposed to its method, in explaining the natural world. Finally, I discuss Proclus’ views of the discourse of philosophy of nature and its iconic character. (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)

It is sometimes mentioned that Bernard Bolzano’s work on grounding anticipates many insights of the current debate on metaphysical grounding. The present paper discusses a certain part of Bolzano’s theory of grounding that has thus far not been discussed in the literature. This part does not so much anticipate what are nowadays common assumptions about grounding, but rather goes beyond them. Central to the discussion will be a thesis of Bolzano’s by which he tries to establish a connection between grounding (...) and unification. The paper spells out this thesis in detail and discusses the assumptions on which it rests. Next to this mainly historical aim, the paper also presents reasons why philosophers who are not interested in the historical Bolzano should find the thesis interesting by relating it to a certain view on unification and explanation that has been put forward by Kim. A final part of the paper provides a critical evaluation of the thesis against the background of current accounts of grounding. (shrink)

When in classical formal logic the notions of deduction, valid inference and logical consequence are defined, causal language plays no role. The founder of western logic, Aristotle, identified ‘non-cause’, or ‘positing as cause what is not a cause’, as a logical fallacy. I argue that a systematic re-examination of Aristotle's analysis of NCF, and the related language of logical causality, in the Sophistical Refutations, Topics, Analytics and Rhetoric, helps us to understand his conception of. It reveals that Aristotle's syllogismhood is (...) non-monotonic, and thus narrower than classical validity as consisting in, or coextensive with, necessary truth-preservation. It also supports the conclusion that a syllogism is a form of relevant consequence: the premisses must be causes of the conclusion in the sense that they are not only sufficient but also necessary for the conclusion to follow. Close analysis of NCF also suggests that syllogistic relevance is not a semantic matter, but a syntactic.. (shrink)

In his 1910 book On the principle of contradiction in Aristotle, Jan Łukasiewicz claims that syllogistic is independent of the principle of contradiction . He also argues that Aristotle would have defended such a thesis in the Posterior Analytics. In this paper, we first show that Łukasiewicz's arguments for these two claims have to be rejected. Then, we show that the thesis of the independence of assertoric syllogistic vis-à-vis PC is nevertheless true. For that purpose, we first establish that there (...) is no possibility to account for Aristotle's original views on syllogistic without using per impossibile deductions. At last, following an idea due to Smith 1983, we prove that there is a complete reconstruction of assertoric syllogistic using ecthesis instead of reductio ad absurdum. Contrary to what is claimed in Smith 1983, we show that Smith's system SE has to be improved for such a reconstruction. This results in an ecthetic system which is complete with respect to syllogistic arguments, not explosi.. (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)

I argue that Aristotle’s late-antique commentators read into his theory of demonstration the notion of tekmeriodic proofs in attempt to integrate into the theory of demonstration the assumption that the principles of demonstration should be evident. In so doing, I trace the late antique commentators’ view to Alexander of Aphrodisias’ discussion of the principles of demonstration, showing how his assumption that the principles of demonstration should be evident underlies their notions of tekmeriodic proofs.

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 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.

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)

In this article, the author attempts to explicate the notion of the best known Talmudic inference rule called qal wa-omer. He claims that this rule assumes a massive-parallel deduction, and for formalizing it, he builds up a case of massive-parallel proof theory, the proof-theoretic cellular automata, where he draws conclusions without using axioms.

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)

In 1928, Friedrich Solmsen argued that Aristotle'sPosterior Analyticswas largely composed before thePrior Analytics. Ross rejected Solmsen's position in 1939, and a rather lengthy series of rebuttals and counter-attacks between the two scholars followed. Quite recently, Jonathan Barnes has revived this issue with arguments in favour of something very close to Solmsen's thesis: that Aristotle first developed a theory of demonstration (‘apodeictic’) before he had worked out the syllogistic, and that thePosterior Analyticswas originally conceived against this background. Subsequently, when Aristotle formulated (...) a syllogistic, he is supposed by Barnes to have revised or added to the contents of thePosterior Analyticsso as to make syllogistic the logic of Aristotelian science. Thus, Barnes says: ‘the syllogism is in fact an incidental adjunct to the theory of demonstration: the theory can be formulated without reference, explicit or implicit, to Syllogistic, and itcould havebeen discovered by someone who knew nothing whatever about the Syllogism’ (pp. 33–4). (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)

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)

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)

Three distinctly different interpretations of Aristotle’s notion of a sullogismos in Prior Analytics can be traced: (1) a valid or invalid premise-conclusion argument (2) a single, logically true conditional proposition and (3) a cogent argumentation or deduction. Remarkably the three interpretations hold similar notions about the logical relationships among the sullogismoi. This is most apparent in their conflating three processes that Aristotle especially distinguishes: completion (A4-6)reduction(A7) and analysis (A45). Interpretive problems result from not sufficiently recognizing Aristotle’s remarkable degree of metalogical (...) sophistication to distinguish logical syntax from semantics and, thus, also from not grasping him to refine the deduction system of his underlying logic. While it is obvious that Aristotle most often uses ‘sullogimos’ to denote a valid argument of a certain kind, we show that at Prior Analytics A4-6, 7, 45 Aristotle specifically treats a sullogismos as an elemental argument pattern having only valid instances and that such a pattern then serves as a rule of deduction in his syllogistic logic. By extracting Aristotle’s understanding of three proof-theoretic processes, this paper provides new insight into what Aristotle thinks reasoning syllogistically is and, moreover, it resolves three problems in the most recent interpretation that takes a sullogismos to be a deduction. (shrink)

We can now recognize Aristotle's many accomplishments in logical theory, not the least of which is treating the deduction process itself as a subject matter and thus establishing the science of logic. Aristotle took logic to be that part of epistemolo gy used to establish knowledge of logical consequence. Prior Analytics is a metalogical treatise on his syllogistic system in which Aristotle modelled his deduction system to demonstrate certain logical relationships among its rules. Aristotle's n otion of substitution distinguishes logical (...) syntax from semantics and enabled him to distinguish validity from deducibility sufficiently to note the completeness of his logic. (shrink)

In this paper, I submit an overall interpretation of Aristotle’s Analytics which I could express, to put it in a nutshell, by saying that the Analytics are analytic. That is, they do not lay out progressive or constructive processes, in which, given certain fundamental premises, terms or rules, one would go ahead and draw conclusions or even build a systematic body of knowledge on the basis of these principles. Rather they describe a backward movement, starting from a proposed or provisional (...) conclusion and asking which premises could be used in order to deduce, support, prove or explain it. (shrink)