I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain (...) how the syllogistic is a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)

This book presents a (new) attempt to apply the notion of an underlying logic to Aristotle’s Organon and certain passages of the Metaphysics. The author situates his approach as part of a ‘deductio...

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate (...) imagination and skill. Several attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

Transformed RAVAL NOTATION solves Syllogism problems very quickly and accurately. This method solves any categorical syllogism problem with same ease and is as simple as ABC… In Transformed RAVAL NOTATION, each premise and conclusion is written in abbreviated form, and then conclusion is reached simply by connecting abbreviated premises.NOTATION: Statements (both premises and conclusions) are represented as follows: Statement Notation a) All S are P, SS-P b) Some S are P, S-P c) Some S are not P, S / PP (...) d) No S is P, SS / PP (- implies are and / implies are not) All is represented by double letters; Some is represented by single letter. No S is P implies No P is S so its notation contains double letters on both sides. -/- RULES: (1) Conclusions are reached by connecting Notations. Two notations can be linked only through common linking terms. When the common linking term multiplies (becomes double from single), divides (becomes single from double) or remains double then conclusion is arrived between terminal terms. (Aristotle’s rule: the middle term must be distributed at least once) -/- (2)If both statements linked are having – signs, resulting conclusion carries – sign (Aristotle’s rule: two affirmatives imply an affirmative) -/- (3) Whenever statements having – and / signs are linked, resulting conclusion carries / sign. (Aristotle’s rule: if one premise is negative, then the conclusion must be negative) -/- (4)Statement having / sign cannot be linked with another statement having / sign to derive any conclusion. (Aristotle’s rule: Two negative premises imply no valid conclusion) Syllogism conclusion by Tranformed Raval’s Notation is in accordance with Aristotle’s rules for the same. It is visually very transparent and conclusions can be deduced at a glance, moreover it solves syllogism problems with any number of statements and it is quickest of all available methods. By new Raval method for solving categorical syllogism, solving categorical syllogism is as simple as pronouncing ABC and it is just continuance of Aristotle work on categorical syllogism. It’s believed that Boole's system could handle multi-term propositions and arguments, whereas Aristotle could handle only two-termed subject-predicate propositions and arguments. For example, it’s claimed that Aristotle's system could not deduce: "No quadrangle that is a square is a rectangle that is a rhombus" from "No square that is a quadrangle is a rhombus that is a rectangle" or from "No rhombus that is a rectangle is a square that is a quadrangle". Above conclusion is reached at a glance with Raval's Notations (Symbolic Aristotle’s syllogism rules). Premise: "No (square that is a quadrangle) is a (rhombus that is a rectangle)" Raval's Representations: S – Q, S – Q / Rh – Re, Rh – Re Premise: "No (rhombus that is a rectangle) is a (square that is a quadrangle)". Raval's Representations: Rh – Re, Rh – Re / S – Q, S - Q Conclusion: "No (quadrangle that is a square) is a (rectangle that is a rhombus)" Raval’s Representations: Q – S, Q – S / Re – Rh, Re – Rh As “ Q – S” follows from “S – Q” and “Re – Rh” from “Rh – Re”. Given conclusion follows from the given premises. Author disregards existential fallacy, as subset of a null set has to be a null set. -/- . (shrink)

In the paper we examine the method of axiomatic rejection used to describe the set of nonvalid formulae of Aristotle's syllogistic. First we show that the condition which the system of syllogistic has to fulfil to be ompletely axiomatised, is identical to the condition for any first order theory to be used as a logic program. Than we study the connection between models used or refutation in a first order theory and rejected axioms for that theory. We (...) show that any formula of syllogistic enriched with classical connectives is decidable using models in the domain with three members. (shrink)

The paper shows that for any invalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the (...) premises of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic. (shrink)

Although the theory of the assertoric syllogism was Aristotle's great invention, one which dominated logical theory for the succeeding two millenia, accounts of the syllogism evolved and changed over that time. Indeed, in the twentieth century, doctrines were attributed to Aristotle which lost sight of what Aristotle intended. One of these mistaken doctrines was the very form of the syllogism: that a syllogism consists of three propositions containing three terms arranged in four figures. Yet another was that a syllogism (...) is a conditional proposition deduced from a set of axioms. There is even unclarity about what the basis of syllogistic validity consists in. Returning to Aristotle's text, and reading it in the light of commentary from late antiquity and the middle ages, we find a coherent and precise theory which shows all these claims to be based on a misunderstanding and misreading. (shrink)

In Nicomachean Ethics VII Aristotle describes akrasia as a disposition. Taking into account that it is a disposition, I argue that akrasia cannot be understood on an epistemological basis alone, i.e., it is not merely a problem of knowledge that the akratic person acts the ways he does, but rather one is akratic due to a certain kind of habituation, where the person is not able to activate the potential knowledge s/he possesses. To stress this point, I focus on the (...) gap between potential knowledge and its activation, whereby I argue that the distinction between potential and actual knowledge is at the center of the problem of akrasia. I suggest that to elaborate on this gap, we must go beyond the limits of Nicomachean Ethics to Metaphysics IX, where we find Aristotle’s discussion of the distinction between potentiality and actuality. I further analyze the gap between potential and actual knowledge by means of Aristotle’s discussion of practical syllogism, where I argue that akrasia is a result of a conflict in practical reasoning. I conclude my paper by stressing that for the akratic person the action is determined with respect to the conclusion of the practical syllogism, where the conclusion is produced by means of a ‘conflict’ between the universal opinion which is potential and the particular opinion which is appetitive. (shrink)

How does Aristotle think about sentences like ‘Every x is y’ in the Prior Analytics? A recently popular answer conceives of these sentences as expressing a mereological relationship between x and y: the sentence is true just in case x is, in some sense, a part of y. I argue that the motivations for this interpretation have so far not been compelling. I provide a new justification for the mereological interpretation. First, I prove a very general algebraic soundness and completeness (...) result that unifies the most important soundness and completeness results to date. Then I argue that this result vindicates the mereological interpretation. In contrast to previous interpretations, this argument shows how Aristotle’s conception of predication in mereological terms can do important logical work. (shrink)

The purpose of this paper is an attempt to delimitate what the dialectical syllogism looks like in Aristotle’s Topics. Aristotle never gave an example of a dialectical syllogism, but we have some clues spread over books I and VIII of the Topics which make it possible to understand at least what within a dialectical debate is a dialectical syllogism. The interpretation advanced here distinguishes the logical order of the dialectical argumentation from the order of the debate. This distinction enables us (...) to have a better understand of what is and how the dialectical syllogism is identified in the debate. In addition, we can solve some interpretative difficulties other interpretations could not solve, and have a more solid grasp of how endoxa are used in a dialectical debate. (shrink)

Malink’s interpretation is designed to validate Aristotle’s claims of validity and invalidity of syllogistic-style arguments, as well as his conversion claims. The remaining sorts of claims in Aristotle's text are allowed to fall out as they may. Thus, not all of Aristotle’s examples turn out correct: on some occasions, Aristotle claims that a given pair of terms yields a true (false) sentence of a given type although, under Malink’s interpretation, the sentence in question is false (true). Similarly, some (...) of Aristotle’s claims of invalidity of nonsyllogistic-style arguments come out false. For example, under Malink’s interpretation, ‘A applies to all B’ and ‘B necessarily applies to all C’ entail ‘A necessarily applies to some B’, contrary to what Aristotle says. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning (...) showing by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result can be proved using my 1972 (...) proof of the completeness of Aristotle’s syllogistic. (shrink)

This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".

Aristotle’s philosophy is considered with respect to one central concept of his philosophy, viz. opposition. Far from being a mere side-effect of syllogistic, it is argued in the present paper that opposition helps to articulate ontology and logic through an account of what can be or cannot be in a systematic and structural way. The paper is divided into three main parts. In Section I, the notion of Being is scrutinized through Aristotle’s theory of categories. In Section II, the (...) notion of Non-Being is connected to Aristotle’s theory of oppositions. In Section III, the notion of essence is revisited in order to bring about a holist theory of meaning by individuating through opposite properties. In conclusion, the legacy of Aristotle is depicted as balanced between a powerful reflection around Being and a restrictive ontology of substance. (shrink)

The premise-fact confusion in Aristotle’s PRIOR ANALYTICS. -/- The premise-fact fallacy is talking about premises when the facts are what matters or talking about facts when the premises are what matters. It is not useful to put too fine a point on this pencil. -/- In one form it is thinking that the truth-values of premises are relevant to what their consequences in fact are, or relevant to determining what their consequences are. Thus, e.g., someone commits the premise-fact fallacy if (...) they think that a proposition has different consequences were it true than it would have if false. C. I. Lewis said that confusing logical consequence with material consequence leads to this fallacy. See Corcoran’s 1973 “Meanings of implication” [available on Academia. edu]. -/- The premise-fact confusion occurs in a written passage that implies the premise-fact fallacy or that suggests that the writer isn’t clear about the issues involved in the premise-fact fallacy. Here are some examples. -/- E1: If Abe is Ben and Ben swims, then it would follow that Abe swims. -/- Comment: The truth is that from “Abe is Ben and Ben swims”, the proposition “Abe swims” follows. Whether in fact Abe is Ben and Ben swims is irrelevant to whether “Abe swims” follows from “Abe is Ben and Ben swims”. -/- E1 suggests that maybe “Abe swims” wouldn’t follow from “Abe is Ben and Ben swims” if the latter were false. -/- E2: The truth of “Abe is Ben and Ben swims” implies that Abe swims. -/- E3: Indirect deduction requires assuming something false. -/- Comment: If the premises of an indirect deduction are true the conclusion is true and thus the “reductio” assumption is false. But deduction, whether direct or indirect, does not require true premises. In fact, indirect deduction is often used to determine that the premises are not all true. -/- Anyway, the one-page paper accompanying this abstract reports one of dozens of premise-fact errors in PRIOR ANALYTICS. In the session, people can add their own examples and comment on them. For example, is the one at 25b32 the first? What is the next premise-fact error after 25b32? Which translators or commentators discuss this? -/- . (shrink)

I argue that these inconsistencies in wording and practice reflect the existence of two distinct Aristotelian views of inquiry, one peculiar to the Posterior Analytics and the other put forward in the Physics and practiced in the Physics and in other treatises. Although the two views overlap to some degree (e.g. both regard a rudimentary understanding of the subject as an essential first stage), the view of the syllogism as the workhorse of scientific investigation and the related view of inquiry (...) as a search for the ‘missing middle terms’ turn out to be ideas peculiar to the Analytics. Conversely, the techniques of analysis and differentiation highlighted in the Physics account receive only cursory attention in the Analytics. However, when we consider the character of Aristotle’s own inquiries, on both scientific and philosophical topics, it becomes clear that it is the Physics rather than the Posterior Analytics that gives us Aristotle’s considered view the path to knowledge. (shrink)

ABSTRACT: Alexander of Aphrodisias’ commentaries on Aristotle’s Organon are valuable sources for both Stoic and early Peripatetic logic, and have often been used as such – in particular for early Peripatetic hypothetical syllogistic and Stoic propositional logic. By contrast, this paper explores the role Alexander himself played in the development and transmission of those theories. There are three areas in particular where he seems to have made a difference: First, he drew a connection between certain passages from Aristotle’s Topics (...) and Prior Analytics and the Stoic indemonstrable arguments, and, based on this connection, appropriated at least four kinds of Stoic indemonstrables as Aristotelian. Second, he developed and made use of a specifically Peripatetic terminology in which to describe and discuss those arguments – which facilitated the integration of the indemonstrables into Peripatetic logic. Third, he made some progress towards a solution to the problem of what place and interpretation the Stoic third indemonstrables should be given in a Peripatetic and Platonist setting. Overall, the picture emerges that Alexander persistently (if not always consistently) presented passages from Aristotle’s logical œuvre in a light that makes it appear as if Aristotle was in the possession of a Peripatetic correlate to the Stoic theory of indemonstrables. (shrink)

This paper intends to explain key differences between Aristotle’s understanding of the relationships between nous, epistêmê, and the art of syllogistic reasoning(both analytic and dialectical) and the corresponding modern conceptions of intuition, knowledge, and reason. By uncovering paradoxa that Aristotle’s understanding of syllogistic reasoning presents in relation to modern philosophical conceptions of logic and science, I highlight problems of a shift in modern philosophy—a shift that occurs most dramatically in the seventeenth century—toward a project of construction, a pervasive (...) desire for rational certainty, and a general insistence on the reducibility of the sciences. The major motivation of this analysis is my intention to show that modern attempts to reduce science/epistêmê to a single science/method of inquiry occlude dialectical and ethico-political dimensions of “reason” and, hence, also impoverish philosophy’s critical capacities. (shrink)

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)

Aristotle presents a formal logic in the Prior Analytics in which the premises and conclusions are never conditionals. In this paper I argue that he did not simply overlook conditionals, nor does their absence reflect a metaphysical prejudice on his part. Instead, he thinks that arguments with conditionals cannot be syllogisms because of the way he understands the explanatory requirement in the definition of a syllogism: the requirement that the conclusion follow because of the premises. The key passage is Prior (...) Analytics I.32, 47a22–40, where Aristotle considers an argument with conditionals that we would consider valid, but which he denies is a syllogism. I argue that Aristotle thinks that to meet the explanatory requirement a syllogism must draw its conclusion through the way its terms are predicated of one another. Because arguments with conditionals do not, in general, draw their conclusions through predications, he did not include them in his logic. (shrink)

In his Metaphysics of Morals, Kant famously wrote “The distinction between virtue and vice can never be sought in the degree to which one follows certain maxims…In other words, the well-known principle (Aristotle’s) that locates virtue in the mean between two vices is false.” Kant is not the first (or the last) thinker to take to task Aristotle’s doctrine of the mean, but he is representative of a line of criticism of Aristotle’s doctrine which argues that ethics is the realm (...) of determinate necessary principles and Aristotle’s doctrine of the mean only supplies an indeterminate difference between virtue and vice. In response to such critics (among others), Gottlieb’s Virtue of Aristotle’s Ethics provides a defense of Aristotle’s ethical philosophy which is grounded in a reexamination of Aristotle’s doctrine of the mean and what Gottlieb claims are it concomitant doctrines, viz. that for Aristotle virtues are non-remedial and their unity results in an integration of the parts of the soul. She divides her book into two parts—one on ethical virtue and one on ethical reasoning (a subsection of intellectual virtue)—and touches upon additional topics such as the status of Aristotle’s nameless virtues, the notion of the fine (kalon), the nature of the practical syllogism, and the relationship between virtue and the political community. (shrink)

This paper discusses the following question: why was the term “dunatos” (“possible”) employed by Aristotle as an alternative label for imperfect syllogisms in his discussion of assertoric syllogistic? My answer ascribes to Aristotle a bottom up perspective, in which he stresses what is necessary in the premise-pairs to attain target conclusions of a given form within a given figure. I argue that “dunatos” is employed by Aristotle to stress that an imperfect syllogism is always one of the possible options (...) to attain a conclusion of a given form within a given figure. I also argue that this picture sheds some light on Aristotle’s clarifications of the final clause in his definition of syllogism. (shrink)

This review places this translation and commentary on Book A of Prior Analytics in historical, logical, and philosophical perspective. In particular, it details the author’s positions on current controversies. The author of this translation and commentary is a prolific and respected scholar, a leading figure in a large and still rapidly growing area of scholarship: Prior Analytics studies PAS. PAS treats many aspects of Aristotle’s Prior Analytics: historical context, previous writings that influenced it, preservation and transmission of its manuscripts, editions (...) of its manuscripts, interpretations, commentaries, translations, and its influence on subsequent logic, philosophy, and mathematics. All this attention is warranted because Prior Analytics marks the origin of logic: the field that, among other things, asks of a given proposition whether it follows from a given set of propositions; and, if it follows, how we determine that it follows; and, if it does not follow, how we determine that it does not follow. This translation and commentary is not suitable for use in an undergraduate course. It has too many quirks that the teacher would want to warn against. A copy editor should have dealt with these things and with other matters such as incorrect punctuation and improper end-of-line divisions. The prose is heavily laden with glaring clichés. The one-page preface contains “longer than I care to remember”, “more than I can possibly list here”, “first and foremost”, and “last and by no means least”—a sentence later is devoted to thanking the “incredibly meticulous and helpful copy-editor”. A few pages later the translator reveals the need “to find a path between the Scylla … and the Charybdis …”. Moreover, the index is far from meeting the needs of undergraduate students. The attention to scholarly detail is not what one hoped for from Oxford University Press. At 26b10-15, this translation reads “let swan and white be chosen as white things” for what Smith correctly translates “let swan and snow be selected from among those white things”. At 41b16, “angles AB and CD” should read “angles AC and BD”. Despite this book’s flaws, it will be found useful if not indispensable for those currently engaged in Prior Analytics studies. The alternatives suggested to Robin Smith’s translation choices are often worth consideration. It is to be emphasized, however, that this book is unsuitable for those entering Prior Analytics studies. (shrink)

In the first book of the Prior Analytics, Aristotle sets out, for the first time in Greek philosophy, a logical system. It consists of a deductive system (I.4-22), meta-logical results (I.23-26), and a method for finding and giving deductions (I.27-29) that can apply in “any art or science whatsoever” (I.30). After this, Aristotle compares this method with Plato’s method of division, a procedure designed to find essences of natural kinds through systematic classification. This critical comparison in APr I.31 raises an (...) interpretive puzzle: how can Aristotle reasonably juxtapose two methods that differ so much in their aims and approach? What can be gained by doing so? Previous interpreters have failed to show how this comparison is legitimate or what important point Aristotle is making. The goal of this paper is to resolve the puzzle. In resolving this puzzle we not only learn more about the relationship be- tween division and the syllogistic in Aristotle. We will also learn something about the motivation for the syllogistic itself, by seeing the role that it plays in his philosophy of science. (shrink)

This presentation includes a complete bibliography of John Corcoran’s publications devoted at least in part to Aristotle’s logic. Sections I–IV list 20 articles, 43 abstracts, 3 books, and 10 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article that antedates Corcoran’s Aristotle’s studies and the Journal of Symbolic Logic article first reporting his original results; it ends with works published in 2015. A few of the items are annotated with endnotes connecting them with (...) other work. In addition, Section V “Discussions” is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 22 in the 1980s, 39 in the 1990s, 56 in the 2000s, and 65 in the current decade. The secondary bibliography is annotated with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. As is evident from the Acknowledgements sections, all of Corcoran’s publications benefited from correspondence with other scholars, most notably Timothy Smiley, Michael Scanlan, and Kevin Tracy. All of Corcoran’s Greek translations were done in consultation with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. (shrink)

Aristotle's syllogistic theory, as developed in his Prior Analytics, is often regarded as the birth of logic in Western philosophy. Over the past century, scholars have tried to identify important precursors to this theory. I argue that Platonic division, a method which aims to give accounts of essences of natural kinds by progressively narrowing down from a genus, influenced Aristotle's logical theory in a number of crucial respects. To see exactly how, I analyze the method of division (...) as it was originally conceived by Plato and received by Aristotle. I argue that, while Plato allowed that some divisions fail to rigorously investigate the essence, he began a program continued by Aristotle (and others in antiquity and the middle ages) of seeking norms for division that would apply in any domain whatsoever. This idea of a rigorous, general method was taken up and developed by Aristotle in his syllogistic. Aristotle also used Plato's conception of predication as parthood in his semantics for syllogistic propositions. As part of my argument, I prove that a semantics based on Platonic divisional structures is sound and complete for the deduction system used in the literature to model Aristotle's syllogistic. (shrink)

Parry discusses an extension of Aristotle's syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic.

In recent decades, it has been argued that the modern concept of forgiveness is absent from Aristotle’s conception of συγγνώμη as it appears in his Rhetoric and Nicomachean Ethics. In this paper, I argue that Aristotle’s view is more modern than it might appear. I defend the idea that Aristotle’s treatment of συγγνώμη, when seen in conjunction with his theory of ethical decision, involuntary action, and character alteration, commits him to a cognitive and emotional theory of forgiveness that is both (...) well-grounded and thoroughly modern. I go on to claim that Aristotle’s view of συγγνώμη helps to solve at least four controversial problems about the nature of forgiveness raised by modern philosophers: how one can forgive a wrong without condoning it, whether forgiveness is a duty, whether moral luck requires us to forgive more widely, and whether forgiveness ought to be unconditional. (shrink)

Aristotle's syllogistic is extended to include denumerably many quantifiers such as 'more than 2/3' and 'exactly 2/3.' Syntactic and semantic decision procedures determine the validity, or invalidity, of syllogisms with any finite number of premises. One of the syntactic procedures uses a natural deduction account of deducibility, which is sound and complete. The semantics for the system is non-classical since sentences may be assigned a value other than true or false. Results about symmetric systems are given. And reasons (...) are given for claiming that syllogistic validity is relevant validity. (shrink)

A. Accident 1. We call an accident (συμβεβηκὸς) that which attaches to something and can be truly asserted, but neither of necessity nor usually.’ (Met. , Δ, 1025a14-16) 2. Whenever an accident attaches to a subject, it attaches to it not because it is that subject (μὴ διότι τοδὶ ἧν). (Met., Δ, 1025a21-24) 3. ‘There is no definite cause for an accident, but a chance cause, i.e. an indefinite one.’ (Met., Δ, 1025a24-25) 4. ‘The accident has happened or exists, -not (...) in virtue of itself, however, but of something else. (Met., Δ, 1025a28-29) 5. ‘What attaches to each thing in virtue of itself but is not in its substance is an accident.’ (Met., Δ, 1025a30-32) 6. ‘An accident is something which, though it is … neither a definition nor a property nor a genus, yet belongs to the thing.’ (To., I, 5, 102b4-) 7. An accident is ‘something which may either belong or not belong to any one and the self-same thing, as (e.g.) being seated may belong or not belong to some self-same thing.’ (To., I, 5, 102b4-) 8. ‘There is nothing to prevent an accident from becoming a temporary or relative property … [and] there is nothing to prevent an accident from becoming both a relative and a temporary property; but a property absolutely it will never be.’ Aristotle’s example is ‘being seated.’ That it is a temporary property is evident. It is also a relative property to those who are not seating when he is the only person sitting. Therefore, it is a temporary and also a relative property. 9. ‘In the case of accidents and in no other it is possible for something to be true in a certain respect and not universally’ and ‘there is nothing to prevent an attribute belonging in part’ so that it is open to dispute accidents e.g. being white or just about a man because he might be white or just in part only. Thus, ‘conversion is not a necessary process in the case of accidents.’ (To., B, 1, 109a9-) B. Essential versus accidental Aristotle distinguishes between two senses of being (τὸ ὄν): accidental sense (κατὰ συμβεβηκός) and essential sense (καθ᾿ αὑτό). The accidental sense happens when something is said to be another thing while there is in fact a third thing which is both of them. Thus, being the first thing is not by itself the second thing. a) Aristotle speaks of three ways in which one thing is said in an accidental sense to be another. (Met., Δ, 1017a8-22) i) When both the subject and the predicate are accidents of a third thing and it is in fact the third thing which ‘is’ by its own. Thus, when it is said e.g. that ‘The just is musical’ it is said accidentally because it is in fact a third thing, Socrates for example, which is just and musical. (Met., Δ, 1017a13-19) ii) When that to which the attribute belongs is. The example of this must be ‘the man is musical’ because it is in fact the man which is. iii) When the subject which has as an attribute that of which it is itself predicated, itself is. The example of this must be Aristotle’s third example: ‘The musical is man.’ b) Aristotle rejects the essential sense to categories: ‘Those things are said in their own right to be that are indicated by the figures of predication; for the senses of ‘being’ are just as many as these figures.’ (Met., Δ, 1017a22-24) Aristotle does not give us any example of the essential sense. Daniel W. Graham suggests that while essential predication is of the logical form of ‘S is P,’ the logical form of the accidental predication is ‘S has P.’ Although he concedes that the is/has contrast is not Aristotle’s, for which he thinks Aristotle prefers ‘said of’/’in’ terminology, he points to the discussion of ‘have’ in Cat. 15 as an evidence of its potential value for an analysis of predication. Kirwan analyses the distinction of essential and accidental predicate as such: while essential predicates ‘are identical with the subjects of which they are predicated; other predications are true in virtue of the fact that two distinct items, e.g. a substance and a quality, ‘coincide.’ Herman Weidemann believes ‘what divides a predicative statement which predicates essentially from a predicative statement which predicates accidentally is the fact that the former does- whereas the latter does not- answer the question what its subject cannot fail to be without ceasing to exist, as the somewhat its subject goes on existing, no matter what happens to be true of it during its existence, or, what kind of things its subject must be in order to be identifiable as one and the same object as long as it exists.’ C. Essential 1. Either the formula or the name of the subject of an essential attribute is involved in it. For example, animal is involved in female but not in white. (Met., Z, 1030b23-26) 2. Essential attributes, combined together, form a unity. Thus, e.g. animal and biped form a unity because they are both essential of man. (OI., II, 11, 21a14-16) 3. Aristotle distinguishes between two kinds of essential attributes (PsA., A, 4, 73a34-b3; 22, 84a12-17): a) Those attributes that belong to their subject as elements in its essential nature as e.g. line belongs to triangle or point to line. Here the very being of triangle is composed of line or that of line is composed of points: line is contained in the formula of triangle and point in that of line. b) Those attributes whose subjects are contained in their own defining formula as e.g. straight is an essential attribute of line because line is part of the defining formula of straight or odd belongs to number because number is part of the defining formula of odd. Every attribute that is related in neither of these two ways to its subject, it is not an essential but an accidental attribute. (PsA., A, 4, 73b3-5) 4. That attribute which is not predicated of a subject other than itself is an essential attribute. A substance cannot be predicated of anything but itself and is, thus, essential. (PsA., A, 4, 73b5-10) 5. A thing consequently co-stated with anything is essential. For example, if a beast dies when its throat is being cut, its death is also essentially connected with the cutting because the cutting was the cause of death, not death a coincidence of cutting. (PsA., A, 4, 73b10-15) 6. Essential attributes in both of this sense, either in the sense that their subjects are contained in them or in the sense that they are contained in their subjects, are necessary as well as consequently co-stated with their subjects. The reason is that it is impossible for them to inhere in their subjects either simply or in the qualified sense (that one or other of a pair of opposites must inhere in the subject as e.g. one of straight or curve must be necessarily predicable of a line or one of odd or even of number). (PsA., A, 4, 73b16-21; 6, 74b5-12; B, 96b1-5) 7. Only those attributes that are within a genus are essential and possessed by their respective subjects as such and, thus, are necessary. Thereupon, both the conclusion and the premises of demonstrations which produce scientific knowledge are essential. (PsA., A, 6, 75a28-31) Therefore, ‘the extreme and the middle terms must be drawn from the same genus; otherwise, as predicated, they will not be essential and will thus be accidents.’ (PsA., A, 6, 75b10-12) Also, the theorems of a science can be demonstrated by means of another science only when they are related as subordinate to superior. (PsA., A, 6, 75b13-) 8. Our knowledge of the connexion of an attribute with a subject is essential only when ‘we know that connexion through the middle term in virtue of which it inheres (καθ᾿ὃ ὑπἀρχει), and as an inference from basic premises essential and ‘appropriate’ to the subject.’ The essential belonging of the middle to the minor has a necessary connexion with its belonging to the same genus of the major and minor: ‘If that middle term also belongs essentially to the minor, the middle must belong to the same genus as the major and minor terms (ἀνάγκη τὸ μέσον ἐν τῇ αὐτῇ συγγενείᾳ εἶναι). (PsA., A, 9, 76a4-9) 9. In an essential predication, the predicate is signified of a subject identical with itself or with a species of itself. Since only predicates which signify substance signify that the subject is identical with the predicate or with a species of the predicate, predicates signifying substance are essentially predicated and any other predicate is accidental or coincidental. Thus, while animal is essentially predicated of man because man is identical with a species of animal, white is accidentally predicated of man because man is neither identical with white nor a species of it. (PsA., A, 22, 83a24-32) Weidemann discusses the confusion between essential predications and statements of identity. He warns that the expression ‘(to be) just what a man is’ (analogous to the Greek phrase ‘(εἶναι) ὃπερ ἀνθρώπον) ought not to be confused with the expression ‘just what it is for a man to be,’ which renders the phrase τὸ ὃπερ ἀνθρώπῳ εἶναι’ (1007a22, 23, 27-28); a confusion Kirwan discusses. 10. ‘Demonstration proves the inherence of essential attributes in things.’ (PsA., A, 22, 84a11-12) 11. ‘Nothing which does not happen to belong to the genus is essentially the genus; e.g. a white man is not essentially a color.’ Thus, while justice falls within the genus, a just man does not. (To., Γ, 1, ^116a24-) 12. There is no syllogism of essence (ti esti). Nevertheless, we come to know ti esti through a demonstration. (93b15-20; cf. 93b25-28) D. Accidental 1. An accidental attribute cannot be predicated of a subject universally. Thus, we cannot say ‘Every man is musical.’ The reason is that ‘universal attributes belong to things in virtue of their nature.’ Therefore, accidental predicates are predicated only of the individuals. (Met., Δ, 1017b33-1018a2) 2. An accidental is a mere name. (Met., E, 1026b13-) 3. An accidental is obviously akin to non-being. (Met., E, 1026b21) 4. ‘That which is neither always nor for the most part we call accidental.’ (Met., E, 1026b27-33) 5. The matter (ὕλη) is the cause of the accidental because it is matter which is capable of being otherwise than as it for the most part is. (Met., E, 1027a13-16) In fact, there is cause or principle of the incidental of the same kind as there are of the essential because if there were, everything would be of necessity. (Met., K, 1065a6-8) The causes of accidental are unordered and indefinite. (Met., K, 1065a25-26) 6. Since all science is either of that which is always or of that which is for the most part, there is no science of the accidental. (Met., E, 1027a19-24; K, 1064b30-1065a6) Therefore, since an accident may also not inhere and, thus, it is impossible to prove its inherence as a necessary conclusion, there is no demonstrative knowledge of accidents. (PsA., A, 6, 75a18-23) 7. The accidental is not necessary but indeterminate. (Met., K, 1065a24-26) 8. The co-positing of a subject and a predicate which are accidental either to the same subject or to one another, whiteness and being musical for instance, does not form a unity. (OI, II, 11, 21a7-14) 9. Negative predicates, i.e. predicates including a ‘not,’ are accidental predicates. Thus, if good be an essential predicate of a subject, ‘not bad’ cannot be essential but is accidental. (OI., II, 14, 23b15-20) 10. Every attribute which does not belong to its subject in either of two senses of essential attribute (cf. PsA., A, 4, 73a34-b3), namely, belonging to their subjects as an element of its formula or their subjects belonging to them as an element of them, is an accidental attribute. (PsA., A, 4, 73b3-5) 11. Those attributes that are predicated of a subject other than themselves are accidental attributes. Thus, everything except substance is an accidental in this sense. (PsA., A, 4, 73b5-10) 12. A thing not consequentially connected with anything is accidental. For example, in ‘while he was walking it lightened,’ the lightening was not due to his walking but was a coincidence. (PsA., A, 4, 73b10-15) 13. Those attributes that are not within a genus are accidental attributes. (PsA., A, 6, 75a28-31) Therefore, the extreme and middle terms that are not drawn from the same genus are accidents. (PsA., A, 6, 75b10-12) Moreover, to apply an attribute to subjects in different genera afford knowledge of the attribute, only as inhering accidentally, not as belonging to its subject as such.’ (PsA., A, 9, 75b38-76a3) . (shrink)

There are at least two discussions about Pythagoreans in Aristotle’s works that can be related to paradigm, both in Book A of Metaphysics. In the first, Aristotle says that for Pythagoreans all the things are modeled after numbers (τὰ μὲν ἄλλα τοῖς ἀριθμοῖς ἐφαίνετο τὴν φύσιν ἀφωμοιῶσθαι πᾶσιν). (Met., A, 985b32-33) In the second, Aristotle tells us that Pythagoreans take ‘the first subject of which a given term would be predicable (ᾧ πρώτῳ ὑπάρξειεν ὁ λεχθεὶς ὃρος)’ as the substance of (...) the thing. His example is double and two: since two is the first thing of which double is predicated, double will be the substance of two. (Met., A, 987a22-25) 1) Forms as paradigms Some of the critiques of platonic Forms in Aristotle’s works are paradigm-oriented: they attack Plato’s theory on the basis that Platonians considered Forms as paradigms. The core of all Aristotle’s objections is that calling Forms paradigms is a mere poetical strategy and does not have any real effect. (Met., 991a20-22; M, 1079b24-26) We can recognize four reasons for Aristotle’s objections of forms as paradigms: a) To consider something as the paradigm of another thing to which it is like does not have any ontological effect: ‘For what it is that works, looking to the ideas? Anything can either be, or become, like another without being copied from it, so that whether Socrates exists or not a man might come to be like Socrates.’ (Met., A, 991a22-26; M, 1079b26-29) Therefore, paradigms are ontologically unnecessary: ‘It is quite unnecessary to set up a form as a paradigm … the begetter is adequate to the making of the product and the causing of the form in the matter.’ (Met., Z, 1034a2-5) Don’t these cases imply that Aristotle did have more the ontological necessity of paradigm in thought instead of its epistemological necessity? b) To consider Forms as paradigms means that a thing must have several paradigms; e.g. animal and too-footed and man will be paradigms of the same thing. (Met., A, 991a27-29; M, 1079b31-33) c) The theory that Forms are paradigms not only of sensible things but also of themselves makes the same thing both a paradigm and a copy (ἐικών). (Met., A, 991a29-b1; M, 1079b33-35) 2) Reasoning by paradigm Aristotle compares the arguments using paradigms to his own theory of syllogism: ‘We have an ‘example’ (παράδειγμα) when the major term is proved to belong to the middle by means of a term which resembles the third. It ought to be known that the middle belongs to the third term, and that the first belongs to that which resembles the third. For example, let A be evil, B making war against neighbors, C Athenians against Thebians, D Thebians against Phocians. If then we wish to prove that to fight against Thebians is an evil, we must assume that to fight against neighbors is an evil. Evidence of this is obtained from similar cases, e.g. that the war against the Phocians was an evil to Thebians. …Now it is clear that B belongs to C and to D (for both are cases of making war upon one’s neighbors) and that A belongs to D (for the war against the Phocians did not turn out well for the Thebians); but that A belongs to B will be proved through D.’ (PsA., B, 24, 66b38-69a11) An ‘example’ can also be made by several similar cases. (PrA., B, 24, 69a11-13) Aristotle notes (PrA., B, 24, 69a13-24) that reasoning by paradigm is ‘neither like reasoning from part to whole nor like reasoning from whole to part but is rather a reasoning from part to part, when both particulars are subordinate to the same term, and one of them is known.’ And it differs from induction in two ways: a) While induction uses all the particular cases to prove that the major term belongs to the middle, reasoning by paradigm does not draw its proof from all the particular cases. b) While induction does not apply the syllogistic conclusion to the minor term, reasoning by paradigm does make this application. (PrA., B, 24, 69a13-24) . (shrink)

Definition has the following features in Aristotle’s philosophy: 1. Each thing has only one definition and ‘it is impossible that there should be more than one definition for the same thing.’ (To., Z, 5, 142b^25; cf. To., Z, 4, 141a26) 2. Definition is ‘a formula of the essence’ (Met., H, 1042a17-18) and, thus, signifies the essence of the thing. (To., I, 5, ^101b30-) About the relation between definition and essence Aristotle regards three possibilities (PsA., B, 94a11-14): a) A definition as (...) an indemonstrable statement of essential nature. b) A definition as a syllogism of essential nature differing from demonstration in grammatical form. c) A definition as the conclusion of a demonstration giving essential nature. 3. ‘The definition is a formula and a formula has parts.’ (Met., H, 1042a18-20) Therefore, only the composite substances are definable and the primary parts of a composite substance are not definable. The reason is that ‘a definitory formula predicates something of something and one part of the definition must play the part of matter and the other that of form.’ (Met., H, 1043b28-32) Thus, definition is a sort of number: a divisible including indivisible parts. (Met., H, 1043b32-36) 4. To define a thing, one should give the species or the genera of the thing which are the only other things that can be substances of it and not its accidents. (Cat., 5, 2b31-36) Aristotle also brings differentiae into the definition: ‘There is nothing in the definition except the first-named genus and the differentiae. The other genera are the first genus and along with this the differentiae that are taken with, e.g. the first may be animal, the next animal which is footed, and again animal which is two-footed and featherless and …’ (Met., Z, 1037b28-33) Among genera the nearer genera are more informative because they are more distinctive and less general. (Cat., 5, 2b10-13 and b32-34) However, to give the species is always more informative and apt than giving the genus. (Cat., 5, 2b8-10) 5. Primary substances admit the definition of the species they are their individuals and of their genera. In the same way, species admit the definition of the genus. The reason is that everything said of the predicate can be said of the subject. (Cat., 5, 3b2-6) Therefore, everything admits the definition of its higher classes. 6. ‘Both the species and the individuals admit the definition of the differentia.’ (Cat., 5, 3b6-7) 7. A formula exhibiting the cause of a thing’s existence is a definition. (PsA., B, 10, 93b38-94a1) 8. It is possible to achieve the definition by division only if we keep three conditions in view (PsA., B, 97a23-26): a) The admission only of elements in the definable form. b) The arrangement of these elements in the right order c) The omission of no element in the definable form The process of division (PsA., B, 97a37-b6) is the process of dividing the genus by its differentia to the right species, the one that the subject accepts as its predicate, and again dividing the whole such searched by its right differentia to a predicable species. This process will be continued until we reach to that which is not further divisible, ‘i.e. that as soon as we have taken the last differentia to form the concrete totality, this totality admits of no division into species.’ In this way we achieve to a series of elements all in the definable forms without superfluous addition and without omission of any necessary element. This series includes the primary genus with all the differentia until it achieves to that which would admit of no division. The second condition, the right order, is the order in which that which is posited as primary be the one that is predicable of all of the other and not vice versa. The order must, then, be from more predicables to less predicables: ‘The right order will be achieved if the right term is assumed as primary, and this will be ensured if the term selected is predicable of all the other but not all they of it; since there must be one such term. Having assumed this, we at once proceed in the same way with the lower terms; for our second term will be the first of the remainder, our third the first of those which follow the second in a ‘contiguous’ series, since when the higher term is excluded, the term of the remainder which is ‘contiguous’ to it will be primary, and so on.’ (PsA., B, 97a26-34) 9. Things that are not the same must have different definitions. However, this does not mean that things that are the same must necessarily have the same definition. (To., I, 5, ^102a17-) 10. ‘Everything applicable to property and genus and accident will be applicable to definition as well.’ (To., I, 6, 102b27-) 11. ‘A name, e.g. ‘round’, means vaguely a sort of whole: its definition analyses this into its particular senses.’ Definition must be done through terms that are prior and more familiar and ‘anyone who has not defined a thing through terms that are prior and more familiar has not defined it at all.’ (To., Z, 4, 141a26-) It is indeed this very point that is the basis of definition by genus and differentiae: ‘A correct definition must define a thing through its genus and its differentiae, and these belong to the order of things which are without qualification more familiar than, and prior to, the species.’ (To., Z, 4, 141b^15-) This more familiarity, however, must be without qualification, i.e. not more familiar to certain people or in certain times. Otherwise, definition could not come always to be one and the same. (To., Z, 4, ^142a1-) . (shrink)

JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic article from his (...) Buffalo period first reporting his original results; it ends with works published in 2015. A few of the items are annotated as listed or with endnotes connecting them with other work and pointing out passages that in-retrospect are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 23 in the 1980s, 42 in the 1990s, 56 in the 2000s, and 69 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally, of the Lukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. -/- REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. Also, let me know of passages I should comment on. (shrink)

We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It is (...) shown that the conclusion of a syllogism is justified by the accumulation of logical causes applied during the reasoning process. It is also indicated that logical principles as well as the logical concept of causality have a fundamental ontological role in Aristotle’s “first philosophy”. (shrink)

Aristotle says that ὑπαρχειν has as many senses as ‘to be true’ (PrA. , A, 36, 48b2-9) and as many ways as there are different categories. (PrA., A, 37, 49a6-9) This may mean that for every ‘is’ there is a ὑπαρχειν. Τhe reason is that Aristotle uses ὑπαρχειν in converse direction of ‘is’. The equal statement of ‘A is B’ with ὑπαρχειν is ‘B ὑπαρχει to A.’ Allen Bāck points to the difference between the use of the verb with dative (...) case and its use with a subject alone in Greek language. When it is used with the dative, it retains its basic meaning, that is, ‘be already present’ or ‘exist really.’ ‘So to say that P belongs to S is to say that P exists in S, or, if you like, that P has its being in S.’ He believes that Aristotle uses this construction to insist that primary substances alone are the fundamental being and all other things only are ‘in’ substances. Thus, when the verb is used with the dative, it expresses dependent substance relation. But when it is used with a subject alone, e.g. in ‘S ὑπάρχει,’ it expresses that the subject really exists. (OI., 17a24 and 17b2) Thus, while it is the subject which is said to be the predicate, it is the predicate which ὑπάρχει to the subject. The formula of ‘τὸ Α ὑπάρχει τῷ Β’ is equivalent to ‘τὸ Β ἐστι Α.’ He uses the word for the predication of a category on substance (e.g. Met., α, 993b24-25; Met., Z, 1029a15-16; Cat., 5, 3b24-25), the predication of secondary substance on primary substance (e.g. Met., Z, 1038b21-23; Cat., 5, 2a14-19), the predication of primary substance on nothing else but itself (e.g. Met., Z, 1040b23-24), the belonging of a verb to the subject, the belonging of axioms to a single science (Met., 1005a22-23) , the belonging of PNC to all things that are (Met., IV, 3) , in the sense of really existing (Cael. 297b22, Met., 1041b4. Cf. B503, 125-126) or merely in the sense of the predication of a predicate on a subject (e.g. OI., I, 5, 17a22-24) and especially and much more repeatedly than anywhere else in his discussion of syllogism. (e.g. PrA., A, 36, 48a40-b2; PrA., B, 22, 67b28-30; PrA., A, 24a26-28) It is also used in some related senses like mere belonging (e.g. Met., A, 989a10-14; K, 1060a9-10) or to be there. (So., B, 5, 417b23-26) Some of its derived forms are also used by Aristotle. For example, ἐνυπαρχον in the sense of the thing that is ‘in’ something; (e.g. Met., A, 991a13-16; Met., Z, 1038b29-33 and 1039a3-5) ὑπερέχον in the sense of that which contains and ὑπερεχόμενον in the sense of that which is contained in something else. (e.g. Met., Δ, 1020b26-28) In a sense, the extent of the application of ὑπαρχειν is wider than ‘is’ since it is not restricted to the nominative form in which ‘is’ is used but is applicable to other cases as well: ‘For ‘That does not belong to this’ does not always mean that ‘This is not that’ but sometimes that ‘this is not of that’ or ‘for that.’ (PsA., A, 36, 48b28-33) Allen Bāck (B503, 124) points that in the Prior Analytics Aristotle uses ‘ὑπάρχει τῷ’ and ‘κατηγορεῖσθαι κατά’ interchangeably. (e.g. at 25b37-26a4) Referring to its converse construction in respect of μετέχει (if A belongs to B, then B participates in A) as a probable reason that it may have Platonist foundations. But the question is: why does Aristotle uses this construction (B belongs to A) instead of simply saying A is B? Alexander of Aphrodisias (Apr 54.21-29) wonders why Aristotle had to adhere to such artificial language, entirely unnatural for ordinary speakers of Greek. As Jonathan Barnes points out, all the three formulas of ‘τὸ Α ὑπάρχει τῷ Β,’ ‘τὸ Α κατηγορεῖται κατὰ τοῦ Β’ and ‘τὸ Α λέγεται κατὰ τοῦ Β’ are artificial in the sense that no Greek who wanted to say that pleasure was good would normally have expressed himself by way of any of them.’ Bāck thinks Aristotle may have used it ‘to stress the primacy of primary substances as the ultimate subjects.’ He also mentions the probability that it may be to emphasize that the terms are being coupled in predication without any existence condition, a suggestion he is not himself inclined with. Robin Smith notes for Aristotle that ‘belonging to’ construction is wider than ‘predicated of’ construction because it can be used for cases that cannot easily be treated as categorical sentences. While predication is restricted to cases in which the subject term is in the nominative case, belonging can indicate, as he quotes Mignucci (480-481), ‘any possible grammatical construction for a predicative relation’ . (shrink)

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and (...) his understanding of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)

This presentation includes a complete bibliography of John Corcoran’s publications relevant on Aristotle’s logic. The Sections I, II, III, and IV list respectively 23 articles, 44 abstracts, 3 books, and 11 reviews. Section I starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article—from Corcoran’s Philadelphia period that antedates his discovery of Aristotle’s natural deduction system—and the Journal of Symbolic Logic article—from his Buffalo period first reporting his original results. It ends with works published in 2015. (...) Some items are annotated as listed or with endnotes connecting them with other work and pointing out passages that, in retrospect, are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 10 items published in the 1970s, 24 in the 1980s, 42 in the 1990s, 60 in the 2000s, and 70 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally in some cases, even of the Łukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably George Boger, Charles Kahn, John Mulhern, Mary Mulhern, Anthony Preus, Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. (shrink)

The purpose of this paper is to give an account and a rational reconstruction of the heuristic advice provided by Aristotle in the Topics and Prior Analytics in regard to the difficulty or ease of strategic planning in the context of a dialectical dialogue. The general idea is that a Questioner can foresee what his refutational syllogism would have to look like given the character of the thesis defended by the Answerer, and therefore plan accordingly. A rational reconstruction of this (...) advice will be attempted from three perspectives: strategic planning based on the acceptability of Answerer’s thesis, strategic planning based on the predicational form of the thesis, strategic planning based on the logical form of the thesis. In addition, we will provide an illustration of the potential of this heuristic advice as we apply it to the interpretation of a fragment from Plato, presuming that, in a similar way, a reading of this kind might be more generally applicable in the interpretation of the Platonic dialogues. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

Already in ancient philosophy, there was a transition from the implicit and hidden action of the Logical ( lógos) in nature ( phýsis) to the scientific and explicit expression of the logical structures of thought, action, the world and language. Heraclitus' heno-logic with Logos as hidden implicit principle of homologization of opposites ( tà enantía) in nature differs from Parmenides' paraconsistent logic developed in a hypothetical hemidyalectics given in the formula ''All is One'' ( hén pánta eînai). Plato's concept of (...) dia-logic (dialektikè téchne ) with a new concept of Logos as the one genus of beings ( hén tí génon toôn ontoôn) in which the word not-Being (negation) got its place enabled production of dyadic logical structure by the granulation of genera into opposite species and sub-species that it contains. Aristotle's concept of triadic-logic as syl-logistics ( syllogismós) and demonstrative science (epistéme apodeiktikê ) give a new approach by new granulation of the concept of Logos into triadic logical structure: (1) the structure of being (substratum-attributes relation), (2) the structure of thought (substance-second substances relation), and (3) the structure of propositions (subject-predicate relation). Plato's dialectic and Aristotle's syllogistic both deconstructed the implicit ontological unity of the world (pan, kosmos, sphairos ) given through the concept of Logos in Pre-Socratic philosophy in order to make that unity in explicit form given by the logical and semantical structures of the propositions about the world, about the thought and about the language. The hidden implicit of the nature, which had to be known intuitively, was transformed into unhidden explicit inferential logical structures given in the semantics and pragmatics of scientific demonstration. (shrink)

ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he call any (...) arguments ‘hypothetical syllogisms’. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them ‘hypothetical syllogisms’; nor did they describe them as ponendo ponens, etc. The tradition of the four argument forms and the classification of the arguments as hypothetical syllogisms hence need some explaining. In this paper, I offer some explanations by tracing the development of certain elements of Aristotle’s logic via the early Peripatetics to the logic of later antiquity. I consider the questions: How did the four argument forms arise? Why were there four of them? Why were arguments of these forms called ‘hypothetical syllogisms’? On what grounds were they considered valid? I argue that such arguments were neither part of Aristotle’s dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle’s logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some 20th century theories. (shrink)

By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an (...) empty name in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued. (shrink)

Aristotle's General Definition of the Syllogism may be taken as consisting of two parts: the Inferential Conditions and the Final Clause. Although this distinction is well known, traditional interpretations neglect the Final Clause and its influence on syllogistic. Instead, the aforementioned tradition focuses on the Inferential Conditions only. We intend to show that this neglect has severe consequences not just on syllogistic but on the whole exegesis of Aristotle's Prior Analytics I. Due to these consequences, our (...) objective is to analyse the General Definition's Final Clause and its consequences on syllogistic. We propose a reading of the Final Clause as an additional criterion for distinguishing some arguments as properly syllogistic ones and as a main theme which connects all parts of the Prior Analytics I into one coherent piece of work. (shrink)