History of Logic from Aristotle to Gödel (www.historyoflogic.com)
by Raul Corazzon | e-mail: rc@
ontology.co
This part of the section The Logic of Aristotle includes the following pages:
Aristotle's Logic: General Survey and Introductory Readings
Selected Bibliography on the Logic of Aristotle: General and Introductory Readings
Aristotle's Earlier Dialectic: the Topics and Sophistical Refutations (under construction)
Aristotle's De Interpretatione: Semantics and Philosophy of Language
Annotated bibliography of the studies in English
Bibliography of the studies in French, Italian, German, Spanish, Portuguese
Aristotle's Prior Analytics: the Theory of Categorical Syllogism
Selected Bibliography on Aristotle's Theory of Categorical Syllogism (Current page)
Aristotle's Prior Analytics: the Theory of Modal Syllogism (under construction)
Selected Bibliography on Aristotle's Theory of Modal Syllogism (under construction)
Aristotle's Posterior Analytics: The Theory of Demonstration (under construction)
Selected Bibliography on Aristotle's Posterior Analytics (under construction)
On the website "Theory and History of Ontology"
Aristotle: Bibliographical Resources on His Logical and Metaphysical Works
Aristotle's Categories. Annotated Bibliography of the studies in English:
Bibliographie des études en français sur les Catégories d'Aristote
Bibliographie der deutschen Studien zur Aristoteles Kategorien
Bibliografia degli studi italiani sulle Categorie di Aristotele
Annotated Bibliography of the studies in English: Complete Version (PDF)
Ackrill, John Lloyd. 1962. "Critical Notice on G. Patzig, Die aristotelische Syllogistik, Gottingen 1959." Mind no. 71:107-117.
Andrade-Lotero, Edgar, and Novaes, Catarina Dutilh. 2012. "Validity, the Squeezing Argument and Alternative Semantic Systems: the Case of Aristotelian Syllogistic." Journal of Philosophical Logic no. 41:387-418.
Angelelli, Ignacio. 1978. "Analytica priora, I, 38 and Reduplication." Notre Dame Journal of Formal Logic no. 19:295-296.
"Although many commentators have summarized chapter 38 of Analytica Priora I as if it was perfectly clear to them, I have not found their explanations satisfactory enough. In fact, I think Aristotle's text needs badly some sort of clarification that makes it meaningful to modern logicians. In this note I wish to propose one such reconstruction."
Austin, John L. 1952. "Critical notice on Łukasiewicz, Aristotle's Syllogistic." Mind no. 61:395-404.
Withj a correction: Mind, 61, 1952, p. 136.
Bäck, Allan. 1982. "Syllogisms with reduplication in Aristotle." Notre Dame Journal of Formal Logic no. 23:453-458.
"Prior Analytics 1.38 is a difficult text that offers a way of handling qua propositions in formal syllogistic. By 'qua proposition' I mean a proposition that contains a qualifying term, phrase, or clause. Many such propositions have a qua connector like 'qua', 'insofar as', 'in virtue of the fact that', 'with respect to', although in some cases a construction like an accusative of respect occurs
instead of an explicit connective.(1) Still, all qua propositions may be paraphrased by explicit qua connectives. So the class of qua propositions is a grammatical class of propositions of the form 'S is P qua M' The Prior Analytics chapter deals with a specific logical type of qua propositions, and its syllogistic properties.(2)" (p. 453)
(1) Alexander of Aphrodisias, In Aristotelis Analyticorum Priorum Librum I Commentaria, ed., Wallies, Berlin, 1883.
(2) Alexander of Aphrodisias, Themistius, Quae Fertur In Analyticorum Priorum Librum I Paraphrasis, ed., Wallies, Berlin, 1883.
Barnes, Jonathan. 1997. "Proofs and the syllogistic figures." In Beiträge zur antiken Philosophie: Festschrift für Wolfgang Kullmann, edited by Günther, Hans-Christian, Rengakos, Antonios and Vogt, Ernst, 153-168. Stuttgar: Steiner.
Reprinted in: J. Barnes, Logical Matters: Essays in Ancient Philosophy II, Oxford: Clarendon press 2012, pp. 364-381.
Berka, Karel. 1991. "La syllogistique aristotélicienne, reconstruction historico-logique." In Penser avec Aristote, edited by Sinaceur, Mohammed Allal, 429-432. Paris: Éditions érès.
Clark, Michael. 1980. The Place of Syllogistic in Logical Theory. Nottingham: University of Nottingham Press.
Corcoran, John. 1972. "Completeness of an Ancient Logic." Journal of Symbolic Logic no. 37:696-702.
"In previous articles ([4], [5]) it has been shown that the deductive system developed by Aristotle in his "second logic" (cf. Bochenski [2, p. 43]) is a natural deduction system and not an axiomatic system as previously had been thought [6].
It was also pointed out that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument formable in the language of the system is demonstrable by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system." (p. 696)
[2] I. M. BOCHENSKI, A history of formal logic (translated by Ivo Thomas), Chelsea, New York, 1970.
[4] JOHN CORCORAN, Aristotle's natural deduction system, this JOURNAL, vol. 37 (1972), 437. Abstract.
[5] __, A mathematical model of Aristotle's syllogistic, Archiv für Geschichte der Philosophie vol. 55 (1973), 191-219.
[6] JAN LUKASlEWICZ, Aristotle's syllogistic from the standpoint of modern formal logic, Press, Oxford, 1951.
———. 1973. "A Mathematical Model of Aristotle's Syllogistic." Archiv für Geschichte der Philosophie no. 55:191-219.
"Our purpose in the present article is to present a mathematical model designed to reflect certain structural aspects of Aristotle's logic. Accompanying the presentation of the model is an interpretation of certain scattered parts of the Prior and Posterior Analytics. Although our interpretation does not agree in all respects with those previously put forth, the present work would have been impossible without the enormous ground work of previous scholars - especially Jenkinson, Łukasiewicz and W. D. Ross - to whom we are deeply grateful.
Our interpretation restores Aristotle's reputation as a logician of consumate imagination and skill. Several attributions of shortcomings and logical errors to Aristotle are seen to be without merit. Aristotle's logic is found to be self-sufficient in several senses. In the first place, his theory of deduction is logically sound in every detail. (His indirect deductions' have been criticized, but incorrectly on our account.) In the second place, Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. In the third place, the Aristotelian system is seen to be complete in the sense that every valid argument statable in his system admits of a deduction within his deductive system, I. e. every semantically valid argument is deducible.
In the present paper we consider only Aristotle's theory of non-modal logic which has been called "the theory of the assertoric syllogism" and "Aristotle's syllogistic." Aristotle presents the theory almost completely in Chapters 1, 2, 4, 5 and 6 of the first book of Prior Analytics, although it presupposes certain developments in previous works - especially the following two : first, a theory of form and meaning of propositions having an essential component in Categories (Ch. 5, esp. 2a 34- 2b 7) ; second, a doctrine of opposition (contradiction) more fully explained in De Interpretatione (Ch. 7, and cf. Ross, p. 3)." (p. 191)
———. 1974. "Aristotelian Syllogisms: Valid Arguments or True Universalized Conditionals?" Mind no. 83:278-281.
"For centuries it was thought that Aristotle's 'syllogistic' was a codification of valid arguments. Early in the 1950s, however, Łukasiewicz [8] offered the view that it was certain true universalized conditional sentences that were being codified. (The traditional notion of a valid argument has been explicated (Mates, [8]) essentially as follows. An argument is a couple (P, c) where P is a set of (closed) sentences and c is a sentence: (P, c) is valid if c is a logical consequence of P. This explication obviously covers the technical use of the terms 'valid' and 'argument' in logic (cf. Corcoran, [2]). If p and q are open sentences and Q is a string of universal quantifiers one for each variable free in (p v q) then Q(p =) q) is a universalized conditional.) Łukasiewicz rested his case on the proposition that all syllogisms formulated in the relevant corpus involve an equivalent of the 'if . .. then' connective ([8], p. 2). Austin, in his review of the Łukasiewicz work [I], was able to weaken the Łukasiewicz case by citing a few references to syllogisms as arguments while agreeing that Łukasiewicz was largely correct in his observation that syllogisms were formulated as conditionals. Several scholars (cf. [1] [11]) have further weakened the Łukasiewicz case by pointing out that in many circumstances it would be natural to assert the validity of an argument by saying that if the premises
were true then the conclusion would necessarily also be true. Prior regards Lukasiewicz's evidence as 'flimsy' (cf. [11], p. 25) whereas Patzig ([9], pp. 1-4) finds it convincing. In any event, however, neither case seems sufficiently convincing to make it possible to regard the issue as settled.
Additional information bearing on the issue can be obtained by considering howv the syllogisms are established in the corpus. In normal contexts, arguments are established (as valid) by deducing the conclusion from the assumption of the premises using presupposed rules of inference, whereas sentences are established (as true) by deducing them from other sentences previously accepted as true. Thus one is lead to reconsider the locations in the corpus where syllogisms are established to see which mode of validation seems to be used." (p. 278)
References
[1] Austin, J. L. Review of Łukasiewicz, Aristotle's Syllogistic; Mind, vol. lxi (1952), 395-404.
[2] Corcoran, J. 'Conceptual Structure of Classical Logic', Philosophy and Phenomenological Research, 33 (1972), 25-47.
[8] Łukasiewicz, J. Aristotle's Syllogistic (2nd ed.) (Oxford, I957).
[9] Patzig, G. Aristotle's Theory of the Syllogism, tr. J. Barnes, Dordrecht (I968).
[11] Rose, L. Aristotle's Syllogistic, Springfield, Illinois (I968).
———. 1974. "Aristotle's Natural Deduction System." In Ancient Logic and Its Modern Interpretations. Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972, edited by Corcoran, John, 85-131. Dordrecht: Reidel.
"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 is not an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic and we examine both the mathematical properties of the model and the relation of the model to the system of logic envisaged in certain 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. In the first place, his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) In the second place, Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. In the third place, 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; i.e., every semantically valid argument is deducible.
There are six sections in this article. The first section includes methodological remarks, a preliminary survey of the present interpretation and a discussion of the differences between our interpretation and that of Łukasiewicz. The next three sections develop the three parts of the mathematical model. The fifth section deals with general properties of the model and its relation to the Aristotelian system. The final section contains conclusions." p. 85
"As a kind of summary of our research we present a review of what we take to be the fundamental achievements of Aristotle's logical theory. In the first place, he clearly distinguished the role of deduction from the role of experience (or intuition) in the development of scientific theories. This is revealed by his distinction between the axioms of a science and the logical apparatus used in deducing the theorems. Today this would imply a distinction between logical and nonlogical axioms; but Aristotle had no idea of logical axioms (but cf. 77a22-25). Indeed, he gave no systematic discussion of logical truth (Axx is not even mentioned once). In the second place, Aristotle developed a natural deduction system which he exemplified and discussed at great length. Moreover, he formulated fairly intricate metamathematical results relating his central system to a simpler one. It is also important to notice that Aristotle's system is sound and strongly complete. In the third place, Aristotle was clear enough about logical consequence so that he was able to discover the method of counter instances for establishing invalidity. This method is the cornerstone of all independence (or invalidity) results, though it probably had to be rediscovered in modern times (cf. Cohen and Hersh). In the fourth place, his distinction between perfect and imperfect syllogisms suggests a clear understanding of the difference between deducibility and implication -- a distinction which modern logicians believe to be their own (cf. Church, p. 323, fn. 529). In the fifth place, Aristotle used principles concerning form repeatedly and accurately, although it is not possible to establish that he was able to state them nor is even clear that he was consciously aware of them as logical principles.
The above are all highly theoretical points -- but Aristotle did not merely theorize; he carried out his ideas and programs in amazing detail despite the handicap of inadequate notation. In the course of pursuing details Aristotle originated many important discoveries and devices. He described indirect proof. He used syntactical variables (alpha, beta, etc.) to stand for content words -- a device whose importance in modern logic has not been underestimated. He formulated several rules of inference and discussed their interrelations.
Philosophers sometimes say that Aristotle is the best introduction to philosophy. This is perhaps an exaggeration. One of the Polish logicians once said that the Analytics is the best introduction to logic. My own reaction to this remark was unambiguously negative -- the severe difficulties in reading the Analytics form one obstacle and I felt then that the meager results did not warrant so much study. After carrying out the above research I can compromise to the following extent. I now believe that Aristotle's logic is rich enough, detailed enough, and sufficiently representative of modern logics that a useful set of introductory lectures on mathematical logic could be organized around what I have called the main Aristotelian system.
From a modern point of view, there is only one mistake which can sensibly be charged to Aristotle: his theory of propositional forms is very seriously inadequate. It is remarkable that he did not come to discover this for himself, especially since he mentions specific proofs from arithmetic and geometry. If he had tried to reduce these to his system he may have seen the problem (cf. Mueller, pp. 174-177). But, once the theory of propositional forms is taken for granted, there are no important inadequacies attributable to Aristotle, given the historical context. Indeed, his work is comparable in completeness and accuracy to that of Boole and seems incomparably more comprehensive than the Stoic or medieval efforts. It is tempting to speculate that it was the oversimplified theory of propositional forms that made possible the otherwise comprehensive system. A more adequate theory of propositional forms would have required a much more complicated theory of deduction -- indeed, one which was not developed until the present era." p. 130-131
———. 1989. "Argumentations and Logic." Argumentation no. 3:17-43.
Abstract: "Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented
reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis,
synthesis, evaluation, and function of argumentations are described. Perennial philosophic problems, both epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity."
———. 1994. "The Founding of Logic. Modern Interpretations of Aristotle's Logic." Ancient Philosophy no. 14:9-24.
"Conclusion.
The tendency of interpreters to find an epistemically-oriented theory in Aristotle has been overwhelming. With the exception of James Wilkinson Miller’s 1938 book and the writings of Jan Łukasiewicz and those directly influenced by these two, few interpreters have found a theory of formal ontology in Aristotle’s Prior Analytics. Down through the ages, with these exceptions, interpreters have agreed that Prior Analytics is about methods of determining validity and invalidity of arguments. People studied Prior Analytics in order to learn more about deductive reasoning and in order to improve their own reasoning skills.
Despite the overwhelming tendency to interpret the syllogistic epistemically it wasn’t until the early 1970s that it occurred to anyone to wonder whether Aristotle had a developed theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with the systems then familiar from mathematical logic. Of the logicians that studied Prior Analytics from this point of view, two of them published articles in same twelve-month period with remarkably similar systems affirming in clear and unequivocal terms the epistemic nature of Prior Analytics: Corcoran 1972 and Smiley 1973.
The simpler of the two articles holds that Aristotle’s theory of deductions recognizes two kinds of extended deductions of conclusions from arbitrarily large premise sets: direct deductions and indirect deductions. A direct deduction of a conclusion from given premises begins with the premises and proceeds by chaining together simple one-premise and two-premise inferences until the conclusion is reached. An indirect deduction of a given conclusion from given premises is in effect a direct deduction of a pair of contradictory opposites from the premises augmented by the contradictory opposite of the conclusion. This view is spelled out in more detail in the introduction to Smith’s 1989 translation of Aristotle’s Prior Analytics.
According to the ontic interpretation the syllogistic is a system of true propositions about inclusional relations among classes. It is a system which is organized deductively, axioms followed by deduced theorems, by employment of an underlying logic never explicitly mentioned by Aristotle. It is a system whose place in the Organon, in Greek philosophy, and in the history of philosophy raises many problems. When we turn to the epistemic interpretation the changes are dramatic. From the epistemic perspective the syllogistic is a system of deductions or chains-of-reasoning. It is organized according to an initial-versus-derivative structure with the derivative components as chainings of initial components. It is a system which can be seen to explain epistemic processes of deduction presupposed by the Socratic hypothetical method, by the so-called method of analysis, by the axiomatic method and even by dialectic itself. According to the epistemic interpretation, the focus of the syllogistic is on methods as opposed to results; it concerns the process of deduction rather than conclusions per se. One might say that it concerns how to think rather than what to think. And it is a step toward understanding the nature of proof as opposed to persuasion and toward fulfilling the demand made by Socrates in the Phaedo for a techné logiké. This step made by Aristotle was so firm, so detailed, and so well-developed that it warrants the title of THE FOUNDING OF LOGIC." (pp. 19-20)
———. 2003. "Aristotle's Prior Analytics and Boole's Laws of Thought." History and Philosophy of Logic no. 24:261-288.
"Prior Analytics by the Greek philosopher Aristotle (384 - 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 - 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of 'class logic' serve as a kind of 'truth-functional logic', his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of 'laws of thought' -- tautologies and laws such as excluded middle and non-contradiction -- Boole became the founder of logic as formal ontology."
———. 2009. "Aristotle's Demonstrative Logic." History and Philosophy of Logic no. 30:1-20.
"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."
Crivelli, Paolo. 2001. "Empty Terms in Aristotle's Logic." Boston Area Colloquium in Ancient Philosophy no. 17:237-269.
———. 2011. "Aristotle on Syllogisms from a Hypothesis." In Argument from Hypothesis in Ancient Philosophy, edited by Longo, Angela and Del Forno, Davide. Napoli: Bibliopolis.
Crivelli, Paolo, and Charles, David. 2011. "‘ΠΡΟΤΑΣΙΣ’ in Aristotle’s Prior Analytics." Phronesis no. 56:193-203.
Crubellier, Michel. 2011. "Du sullogismus au syllogisme." Revue philosophique de la France et de l'étranger no. 136:17-36.
Duerlinger, James. 1968. "Drawing conclusions from Aristotelian syllogisms." The Monist no. 52:229-236.
———. 1968. "Aristotle's Conception of the Syllogism." Mind no. 77:480-499.
———. 1969. "Συλλογισμός and συλλογίζεσθαι in Aristotle's Organon." American Journal of Philology no. 1969:320-328.
"In recent years there have been expressed two views about the nature of an Aristotelian syllogism. The first view, which may be called the inference account, is that an Aristotelian syllogism is a valid inference composed of two premisses and a conclusion; and the second, which may be called the statement account, is that an Aristotelian syllogism is a conditional statement whose protasis is a conjunction of propositions and whose apodosis is a proposition made necessary by that conjunction.1 Opposed to these views is what I call the premiss account, according to which an Aristotelian syllogism is a pair of premisses put forward in support of a conclusion which necessarily follows from that pair of premisses. An Aristotelian syllogism, on the premiss account, is an argument or proof, but it is an argument for, or proof of, a proposition. It is not an argument or a proof in the sense of being an inference, which is the process or the result of the process of drawing a conclusion from a pair of premisses. Aristotle's conception of the syllogism is tied to the conception of philosophical investigation he inherits from Plato." (p. 320)
(1) The inference account is expressed most recently by W. D. Ross, Aristotle's Prior and Posterior Analytics (Oxford, Oxford University Press, 1949), and by W. and M. Kneale, The Development of Logic (Oxford, Oxford University Press, 1962). The statement account is
expressed by J. Łukasiewicz, Aristotle's Syllogistic (2nd ed., Oxford, Oxford University Press, 1951), and most recently by G. Patzig, Die Aristotelische Syllogistik (2nd ed., Gottingen, Vandenhoeck & Ruprecht, 1963).
Duncombe, Matthew. 2014. "Irreflexivity and Aristotle’s Syllogismos." The Philosophical Quarterly no. 64:434-452.
Ebbinghaus, Kurt. 1964. Ein formales Modell der Syllogistik des Aristoteles. Göttingen: Vandenhoeck & Ruprecht.
———. 2016. Un Modèle Formel de la Syllogistique d'Aristote. London: College Publications.
Traduction par ar Clément Lion.
Ebert, Theodor. 1977. "Zur Formulierung prädikativer Aussagen in den logischen Schriften des Aristoteles." Phronesis no. 22:123-145.
———. 1980. "Warum fehlt bei Aristoteles die 4. Figur?" Archiv für Geschichte der Philosophie no. 62:13-31.
———. 2015. "What is a perfect syllogism in Aristotelian syllogistic?" Ancient Philosophy no. 35:351-374.
Ebrey, David. 2015. "Why are there no conditionals in Aristotle’s logic?" Journal of the History of Philosophy no. 53:185-205.
Engelmann, Edward M. 2007. "Aristotle's Syllogistic, Modern deductive Logic, and scientific Demonstration." American Catholic Philosophical Quarterly:535-552.
Abstract: "This article investigates the nature of Aristotelian syllogistics and shows that the categorical syllogism is fundamentally about showing the connection, in the premises of the syllogism, between the major and minor terms as stated in the conclusion. It discusses how this is important for the use of the syllogism in scientific demonstration. The article then examines modern deductive logic with an eye to they way in which it contrasts with Aristotelian syllogistics. It shows how modern logic is about making necessary connections between each proposition by means of external or second order rules. In the syllogism, on the other hand, the necessity between the premises as a whole unit and the conclusion is based on the internal middle term. The article concludes with a discussion of Günther Patzig’s claim that Aristotelian syllogisms are best thought of as tautological propositions. If this were the case, then the differences asserted to exist between syllogistic and modern logic would not hold. However, it is shown that Patzig’s assimilation of syllogistics to modern deductive logic is illegitimate."
Englebretsen, George. 1978. "Aristotle on the Subject of Predication." Notre Dame Journal of Formal Logic no. 19:614-616.
Reprinted in: A. Menne and G. Offenberger (eds.), Zur Modernen Deutung der Aristotelischen Logik, vol. II, Hildesheim: Georg Olms, 1985, pp. 128-130.
"Aristotle's thesis that universals must always inhere in a primary substance, a particular, has been used recently as evidence that he, like many contemporary logicians, rejected the predication of terms to universal, i.e., nonsingular, subjects. Yet this would force Aristotle to treat quantifiers as ranging over bare, unsorted, particulars. But Aristotle took the notion of an unsorted particular as nonsense. His thesis about the status of universals can no more serve as evidence that he took all subjects as particulars than can his thesis that every particular satisfies some universal serve as evidence that he took no subjects as particular."
Flannery, Kevin L. 1987. "A Rationale for Aristotle's Notion of Perfect Syllogisms." Notre Dame Journal of Formal Logic no. 28:455-471.
Frede, Michael. 1974. "Stoic vs. Aristotelian Syllogistic." Archiv für Geschichte der Philosophie no. 56:1-32.
Reprinted in: M. Frede, Essays in Ancient Philosophy, Minneapolis: University of Minnesota Press, 1987 pp. 99-124.
Galvan, Sergio. 1995. "A Formalization of Elenctic Argumentation." Erkenntnis no. 43:111-126.
"In the Aristotelean philosophical tradition, elenctic argumentation (Elenchos) is conceived as a form of dialectical foundation of a thesis.
It takes place in the context of discussion for and against a given thesis and consists in showing that, as the denier of this thesis argues against the opponent, he is unable to maintain his position unless he presupposes the thesis itself, which thus prevails and is consequently proven. As is well known, Aristotle used this form of argumentation in many areas of his inquiry, since he regarded it as an extremely effective technique not only in the speculative sciences but in the physical and practical sciences as well. Particularly fortunate - because of its subsequent widespread use and because of the broad reflection that it stimulated - was Aristotle's application of this form of dialectical argumentation in Book Four of the Metaphysics in order to justify the principle of non-contradiction. Apart from its historical influence, this application is of especial importance because it evidences Aristotle's intention to prove, not any thesis whatsoever, but a logical principle, and this expresses his claim for an epistemically absolute proof - in the form of self-proof - of the principle itself.
It does not appear, however, that elenctic proof of the non-contradiction principle can be accomplished successfully. In fact, demonstration that this proof is impossible is the purpose of the present essay, in which I propose a formalization of the argument - i.e. a formal reconstruction of the argument intended to give it a sufficiently precise specification - which highlights the conceptual difficulties that lie at its root." (p. 111)
Gili, Luca. 2010. La sillogistica di Aristotele. La riduzione di tutte le deduzioni valide al sillogismo. Milano: Lampi di stampa.
Glashoff, Klaus. 2005. "Aristotelian syntax from a computational-combinatorial point of view." Journal of Logic and Computation no. 15:949-973.
Glezer, Tal. 2007. "Aristotle on Hypothetical Arguments and the Completeness of Syllogistic." Ancient Philosophy no. 27:323-334.
Goddard, Len. 2000. "The inconsistency of Aristotelian logic?" Australasian Journal of Philosophy no. 78:434-437.
Granger, Gilles Gaston. 1970. "Le syllogisme catégorique d'Aristote." L'Age de la Science no. 3:281-310.
Green, Lawrence D. 1995. "Aristotle’s enthymeme and the imperfect syllogism." In Rhetoric and Pedagogy: Its History, Philosophy, and Practice. Essays in Honor of James J. Murphy, edited by Horner, Winifred Bryan and Leff, Michael C., 19-41. Mahwah (N. .J.): Erlbaum.
Henle, Paul. 1949. "On the fourth Figure of the Syllogism." Philosophy of Science no. 16:94-104.
Hintikka, Jaakko. 1988. "Le logicien incontinent d'Aristote." In Aristote aujourd'hui, edited by Sinaceur, Mohammed Allal, 94-112. Paris: Éditions érès.
Jacobs, William. 1979. "The existential presuppositions of Aristotle's logic." Philosophical Studies no. 37:419-428.
Jehamy, Aïda Chehadé. 1997. Essais de formalisation de la logique d'Aristote. Beyrouth: Département des Publications de l'Université Libanaise.
Johnson, Fred. 1991. "Three-membered Domains for Aristotle's Syllogistic." Studia Logica no. 50:181-187.
———. 1994. "Syllogisms with fractional quantifiers." Journal of Philosophical Logic no. 23:401-422.
"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."
———. 1994. "Apodeictic Syllogisms: Deductions and Decision Procedures." History and Philosophy of Logic no. 16:1-18.
Johnston, David. 1990. "Aristotle's Apodeictic Syllogism." Dialogue. Canadian Philosophical review no. 29:111-121.
Joray, Pierre. 2014. "The Principle of Contradiction and Ecthesis in Aristotle's Syllogistic." History and Philosophy of Logic no. 35:219-236.
———. 2017. "A Completed System for Robin Smith’s Incomplete Ecthetic Syllogistic." Notre Dame Journal of Formal Logic no. 58:329-342.
Kapp, Ernest. 1975. "Syllogistic." In Articles on Aristotle. Vol. 1 Science, edited by Barnes, Jonathan, Schofield, Malcolm and Sorabji, Richard, 35-49. London: Duckworth.
Originally published in German as 'Syllogistik' in: Pauly-Wissowa's Real-Encyclopädie der classischen Altertumwissenschaft, IV A, 1931 cols. 1046-1067. Reprinted in E. Kapp, Ausgewählte Schriften, Hrsg. von Hans und Inez Diller, Berlin: Walter de Gruyter, 1968, pp. 254-277.
Kelly, Charles J. 1991. "The Logic of the Liar from the Standpoint of the Aristotelian Syllogistic." Notre Dame Journal of Formal Logic no. 32:129-146.
Keyt, David. 2009. "Deductive Logic." In A Companion to Aristotle, edited by Anagnostopoulos, Georgios, 31-50. Malden: Wiley-Blackwell.
Kouremenos, Theokritos. 1998. "Aristotle on syllogistic and mathematics." Philologus no. 142:220-240.
Lear, Jonathan. 1980. Aristotle and Logical Theory. Cambridge: Cambridge University Press.
Lejewski, Czeslaw. 1963. "Aristotle's Syllogistic and Its Extensions." Synthese no. 15:125-154.
"The task I have set myself in this paper can be described as bridging the gap between Aristotle’s syllogistic and Lesniewski’s ontology. I propose to suggest a number of successive extensions of syllogistic culminating in a system of what may be regarded as basic ontology. In this way I hope to throw new light on the significance of the Aristotelian logic. At the same time I hope to add a little to the understanding of Lesniewski’s ontology, which interestingly enough was conceived by its originator as a modernised continuation of the ancient and medieval tradition."
Lukasiewicz, Jan. 1951. Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. Oxford: Oxford University Press.
Second edition 1957 with a new chapter on Aristotle's modal logic.
Critical notice by J. L. Austin, Mind, 61, 1952, pp. 395-404.
———. 1967. "On the History of the Logic of Propositions." In Polish Logic 1920-1939, edited by Storrs, McCall, 66-87. Oxford: Oxford University Press.
Originally published in Polish as: Z historii logiki zdan, Przeglad Filozoficzny, 37, 1934; translated by the author in German as: Zur Geschichte der Aussagenlogik, Erkenntnis, 5, 1935, pp. 111-131.
Translated in English in: Storrs McCall (ed.), Polish Logic 1920-1939, Oxford, Clarendon Press, 1967 pp. 66-87 and also in: J. Łukasiewicz, Selected Works - Edited by Ludwik Borowski, Amsterdam, North-Holland, 1970 pp. 197-217.
———. 1967. "Philosophical Remarks on Many-Valued Systems of Propositional Logic." In Polish Logic 1920-1939, edited by Storrs, McCall. Oxford: Oxford University Press.
Originally published in German as: Philosophische Bemerkungen zu mehrwertighen Systemen des Aussagenkalküls, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie 23, 1930.
Translated in English in: Storrs McCall (ed.) Polish Logic 1920-1939, Oxford, Clarendon Press, 1967, pp. 40-65 and also in: J. Łukasiewicz, Selected Works, Edited by Ludwik Borowski, Amsterdam, North-Holland, 1970, pp. 153-178.
———. 1968. La sillogistica di Aristotele.
Traduzione di Camillo Negro.
Contenuto: Presentazione dell’edizione italiana 9; Prefazione di J. Lukasiewicz alla prima edizione 13; Indice e sommario 19; Introduzione storica: Jan Lukasiewicz e la Scuola di Logica di Varsavia, di Czeslaw Lejewski 23; Parte I. Il sillogismo in Aristotele, di Camillo Negro 43; Parte II. La sillogistica di Aristotele dal punto di vista della logica formale moderna, di Jan Lukasiewicz 107; Note del traduttore 245; Conclusione 269; Nota bibliografica 275; Indice delle cose 281; Indice dei luoghi di Aristotele 285; Indice dei nomi 291-292.
Maier, Heinrich. 1896. Die Syllogistik des Aristoteles. Tübingen: H. Laupp.
Vol. 1. Die logische Theorie des Urteils bei Aristoteles. Berichtigte Neuausgabe mit einem Anhang: Die Echtheit der aristotelischen Hermeneutik (1896); Vol. 2. Die logische Theorie des Syllogismus und die Entstehung der aristotelischen Logik: 1. Formenlehre und Technik des Syllogismus (1897); 2. Die Entstehung der aristotelischen Logik (1900).
Reprint: Hildesheim, Georg Olms, 1969-1970.
Malink, Marko. 2009. "Τῶι vs. τῶν in Prior Analytics 1.1-22." Classical Quarterly no. 58:519-536.
———. 2009. "A Non-Extensional Notion of Conversion in the Organon." Oxford Studies in Ancient Philosophy no. 37:105-141.
———. 2012. "Figures of Prosleptic Syllogisms in Prior Analytics 2.7." Classical Quarterly no. 62:163-178.
———. 2015. "The Beginnings of Formal Logic: Deduction in Aristotle’s Topics vs Prior Analytics." Phronesis no. 60:267-309.
Malink, Marko, and Rosen, Jacob. 2013. "Proof by Assumption of the Possible in Prior Analytics 1.15." Mind no. 122:953-986.
Marshall Jr., David. 1977. "Łukasiewicz, Leibniz and the arithmetization of the syllogism." Notre Dame Journal of Formal Logic no. 18:235-242.
"Łukasiewicz' second axiomatization of the assertoric syllogism ("Aristotle's syllogistic", 1957) consists of four axioms of assertion and one of rejection. n arithmetic interpretation is presented proving the independence of the latter. Łukasiewicz himself demonstrated all five consistent by means of an arithmetization due to Leibniz. This arithmetization, we are told by Louis Couturat ("La logique de Leibniz", 1901) was thought by Leibniz himself to have been invalid. Whether and why Leibniz in fact took this (mistaken) view, is discussed briefly."
Martin, John N. 1997. "Aristotle's Natural Deduction Reconsidered." History and Philosophy of Logic no. 18:1-15.
"John Corcoran's natural deduction system for Aristotle's syllogistic is reconsidered. Though Corcoran is no doubt right in interpreting Aristotle as viewing syllogisms as arguments and in rejecting Lukasiecwicz's treatment in terms of conditional sentences, it is argued that Corcoran is wrong in thinking that the only alternative is to construe Barbara and Celarent as deduction rules in a natural deduction system. An alternative is presented that is technically more elegant and equally compatible with the texts. The abstract role assigned by tradition and Łukasiewicz to Barbara and Celarent is retained. The two 'perfect syllogisms' serve as ` basic elements' in the construction of an inductively defined set of valid syllogisms. The proposal departs from Łukasiewicz, and follows Corcoran, however, in construing the construction as one in natural deduction. The result is a sequent system with fewer rules and in which Barbara and Celarent serve as basic deductions. To compare the theory to Corcoran's, his original is reformulated in current terms and generalized. It is shown to be equivalent to the proposed sequent system, and several variations are discussed. For all systems mentioned, a method of Henkin-style completeness proofs is given that is more direct and intuitive than Corcoran's original."
McCaskey, John P. 2007. "Freeing Aristotelian Epagoge from Prior Analytics II 23." Apeiron no. 40:345-374.
Mendell, Henry. 1998. "Making sense of Aristotelian demonstration." Oxford Studies in Ancient Philosophy no. 16:161-225.
Menne, Albert, ed. 1962. Logico-Philosophical Studies. Dordrecht: Reidel.
Mignucci, Mario. 1991. "Expository Proof in Aristotle's Syllogistic." In Aristotle and the Later Tradition, edited by Blumenthal, Henry and Robinson, Howard, 9-28. Oxford: Clarendon Press.
Oxford Studies in Ancient Philosophy. Supplementary volume.
———. 1996. "Aristotle's Theory of Predication." In Studies on the History of Logic. Proceedings of the Third Symposium on the History of Logic, edited by Angelelli, Ignacio and Cerezo, Maria, 1-20. Berlin: Walter de Gruyter.
———. 1996. "Che cos'è un sillogismo aristotelico?" In Momenti di storia della logica e di storia della filosofia, edited by Guetti, Carla and Puja, Roberto, 39-58. Roma: Aracne Editrice.
———. 2000. "Parts, Quantification and Aristotelian Predication." The Monist no. 83:3-21.
———. 2002. "Syllogism and Deduction in Aristotle's Logic." In Le style de la pensée. Recueil de textes en hommage à Jacques Brunschwig, edited by Canto-Sperber, Monique and Pellegrin, Pierre, 244-266. Paris: Les Belles Letttres.
———. 2007. "Aristotle on the Existential Import of Propositions." Phronesis no. 52:121-138.
Miller, James Wilkinson. 1938. The Structure of Aristotelian Logic. London: Kegan Paul, Trench, Trubner and Co.
Morgenstern, Amy S. 2001. "Commentary to Paolo Crivelli: Empty Terms in Aristotle's Logic." Boston Area Colloquium in Ancient Philosophy no. 17:270-281.
Morison, Benjamin. 2015. "What is a Perfect Syllogism?" Oxford Studies in Ancient Philosophy no. 48:107-166.
Morrison, John J. 1955. "The existential import of a proposition in Aristotelian logic." Philosophy and Phenomenological Research no. 15:386-393.
Mulhern, Mary. 1974. "Corcoran on Aristotle's Logical Theory." In Ancient Logic and Its Modern Interpretations. Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972, edited by Corcoran, John, 133-148. Dordrecht: Reidel.
"Corcoran, it seems to me, has made a very important contribution to our understanding of Aristotle's logic, and the suggestions offered in what follows should not be construed as impugning in any substantive way the value of that contribution.
Of the many points Corcoran raises, I intend to take up four: (1) whether syllogistic is a science; (2) whether the theory of propositional forms presupposed by syllogistic is adequate; (3) whether Aristotle had a doctrine of logical truth; and (4) whether Aristotle considered reasoning natural or conventional." (p. 136)
Nasti de Vincentis, Mauro. 1981. "L'affermazione da trasposizione in De Int. 10 e A. Pr. A 46." In Atti del Congresso nazionale di logica. Montecatini Terme, 1-5 ottobre 1979, edited by Bernini, Sergio, 617-645. Napoli: Bibliopolis.
———. 2010. "Forme della contraddizione e sillogistica aristotelica." In La Contradizion che nol Consente, edited by Puppo, Federico, 67-84. Milano: Angeli.
Negro, Camillo. 1967. "La sillogistica di Aristotele come metodo della conoscenza scientifica." In. Bologna: Patron.
Novak, Joseph A. 1980. "Some recent work on the assertoric syllogistic." Notre Dame Journal of Formal Logic no. 21:229-242.
"Over the last few decades there have been many attempts to approach the Aristotelian syllogistic by utilizing the techniques of contemporary formal logic. The aim of this paper is to examine the most significant of these attempts and evaluate their fidelity to and consistency with Aristotle's own basic exposition of the syllogistic as expressed in the Prior Analytics (Book I, 1-2; 4-6).
Two major approaches to the formalization of the assertoric syllogistic can be distinguished in the literature. The first and older approach construes the syllogistic as an axiomatic system, while the second and more recent approach considers the syllogistic as a natural deduction system. Since many of the attempts of the first sort fail to be mentioned in current discussion, this paper will try to summarize them and only make a concluding reference to the second approach which is readily accessible in the more recent publications.
There are two main issues which must be confronted in the case of each attempt to present Aristotle's assertoric syllogistic as an axiomatic system: first, whether the method of representation, i.e., the logical alphabet and the well-formed formulas of the system, conforms to Aristotle's own approach; second, whether the specific formulas chosen as axioms and definitions, the rules of inference, and the manner of proof, etc., are faithful to or at least consistent with Aristotle's writings. Although it might appear that the first issue, a discussion of the logical symbols employed, is
not of any real value, one must remember that Aristotle's logic seems tied to some basic philosophical or, better, metaphysical presuppositions. That there can be a close link between certain symbolical representations and some ontological positions is clear in the case of some other philosophers.
One instance in the twentieth century is Gustav Bergmann whose espousal of a bare particularist theory of individuation is linked to his employment of a type of Russelian formal language (Bergmann, G., Meaning and Existence, University of Wisconsin Press, Madison, 1960).
Attempts at presenting the syllogistic in a formal way have proceeded along four lines: first, the attempt to present the syllogistic by means of the first-order predicate calculus; second, the classic attempt of Łukasiewicz to develop the syllogistic; third, the attempt to present the syllogistic as a theory of classes; fourth, Lejewski's attempt to relate the syllogistic to Lesniewski's ontology. Each of these attempts will be treated below in light of the two issues raised above."
Parry, William T., and Hacker, Edward A. 1991. Aristotelian Logic. Albany: State University of New York Press.
Patterson, Richard. 1989. "The case of the two Barbaras: basic approaches to Aristotle's modal logic." Oxford Studies in Ancient Philosophy no. 7:1-40.
" Aristotle's modal propositions use modal copulae rather than modal predicates or modally qualified dicta; the familiar contrast between predication of dicta and of things is inappropriate to the Aristotelian modalities. Despite what may appear to be vacillation on Aristotle's part between de re and de dicto modality, the copulae interpretation can serve to unify the two types."
———. 1993. "Aristotle's Perfect Syllogisms, Predication, and the "Dictum de Omni"." Synthese no. 96:359-378.
Patzig, Günther. 1959. "Aristotle and Syllogisms from False Premisses." Mind no. 68:186-192.
———. 1959. Die aristotelische Syllogistik. Logisch-philologische Untersuchungen über das Buch A der Ersten Analytiken. Göttingen: Vandenhoeck & Ruprecht.
Critical notice by J. L. Ackrill, Mind, 71, 1962, pp. 107-117.
———. 1968. "Aristotle's Theory of Syllogism. A Logico-Philological Study of Book A of the Prior Analytics." In. Dordrecht: Reidel.
English translation by Jonathan Barnes of Die aristotelische Syllogistik. Logisch-philologische Untersuchungen über das Buch A der Ersten Analytiken, Göttingen: Vandenhoeck & Ruprecht, 1959.
———. 1988. "Problèmes actuels de l'interprétation de la syllogistique d'Aristote." In Aristote aujourd'hui, edited by Sinaceur, Mohammed Allal, 270-275. Paris: Éditions érès.
Rose, Lynn. 1956. "Premise order in Aristotle's syllogistic." Phronesis no. 11:154-158.
———. 1965. "Aristotle's syllogistic and the Fourth Figure." Mind no. 74:382-389.
———. 1968. Aristotle's Syllogistic. Springfield: Charles C. Thomas.
Contents: I. Plato's dialectic and Aristotle's syllogistic 3; II. The varieties of predication 13; III: The three figures 16; IV. The non-use of rules 27; V. Validation by reduction 34; VI. Invalidation by counterexample 37; VII. The syllogistic system 53; VIII. The Fourth Figure and the indirect proof 57; IX. Subalternation 80; X. Premise order 81; Appendix. I. The square of opposition 99; II. The mnemonic lines 102; III: The perfection of Aristotle' First Figure 104; IV. Theophrastus and the indirect moods 109; V. The diagrams of the three figures 133; VI. John Locke's criticisms of Aristotle and the syllogism 137; Bibliography 144; Index 147-149.
"Aristotle's work in formal logic has received a great deal of scholarly attention; nevertheless, it remains largely misunderstood. Aristotle's logic has often been equated with traditional "Aristotelian" logic (a usage as unhistorical as "Platonic" love or "Epicurean" tastes), or, which is even worse, judged and evaluated in accordance with how closely it follows or "fails" to follow that traditional logic. Even when efforts have been made to understand Aristotle's logic in its own right, Aristotle has usually been very shabbily treated. He has commonly been accused of errors that he never made at all, such as neglecting or overlooking the fourth figure. Even his way of conceiving the syllogism as a linear array of three terms has been lost on minds handicapped by later, but not thereby better, ways of thinking.
Although I hope that this book will contribute towards a better understanding of what Aristotle did and did not accomplish in his syllogistic, I have by no means attempted to treat Aristotle's syllogistic in its entirety. (For one thing, I have confined myself to the assertoric syllogistic and not gone into the modal logic at all.) The principal task of this book has been to explore the consequences of accepting the Aristotelian syllogism as a linear array of three terms. This approach to Aristotle sheds light on many hitherto mysterious aspects of Aristotle's logic; it provides new insights into what Aristotle was doing in the Prior Analytics and enables us to correct numerous misconceptions about his logic.
My treatment of the Prior Analytics has been quite sympathetic, and my conclusions are generally favorable; indeed, one of the aims of this book is to exonerate Aristotle's work in formal deductive logic." p. V
Ross, William D. 1939. "The Discovery of Syllogism." Philosophical Review no. 48:251-271.
Shepherdson, John C. 1956. "On the Interpretation of Aristotelian Syllogistic." Journal of Symbolic Logic no. 21:137-147.
Shorey, Paul. 1924. "The origin of the syllogism." Classical Philology no. 19:199-204.
———. 1933. "The origin of the syllogism again." Classical Philology no. 28:199-204.
Simons, Peter. 1989. "Tree proofs for syllogistic." Studia Logica no. 48:540-554.
Abstract: "This paper presents a tree method for testing the validity of inferences, including syllogisms, in a simple term logic. The method is given in the form of an algorithm and is shown to be sound and complete with respect to the obvious denotational semantics. The primitive logical constants of the system, which is indebted to the logical works of Jevons, Brentano and Lewis Carroll, are term negation, polyadic term conjunction, and functors affirming and denying existence, and use is also made of a metalinguistic concept of formal synonymy. It is indicated briefly how the method may be extended to other systems."
Smiley, Timothy. 1962. "Syllogism and Quantification." Journal of Symbolic Logic no. 27:58-72.
———. 1973. "What is a Syllogism?" Journal of Philosophical Logic no. 2:136-154.
———. 1994. "Aristotle's Completeness Proof." Ancient Philosophy no. 14:25-38.
"In Prior Analytics I 23 Aristotle presents a completeness proof for syllogistic logic, or so I maintain. I reconstruct the crucial step, which I take to be his highly condensed argument that every syllogistic-style deduction with more than two premises can be reduced to a series of syllogisms proper. I detect two big holes in the argument, but show that they can be filled without recourse to anachronistically modern methods. I end with a principle about the ordering of terms, and discuss the connections between it, Platonic division and Aristotle's exclusion of the fourth figure." (p. 25)
Smith, Robin. 1978. "The mathematical origins of Aristotle's syllogistic." Archive for History of Exact Sciences no. 19:201-210.
———. 1982. "What is Aristotelian Ecthesis?" History and Philosophy of Logic no. 3:113-127.
"I consider the proper interpretation of the process of ecthesis which Aristotle uses several times in the "Prior analytics" for completing a syllogistic mood, i.e., showing how to produce a deduction of a conclusion of a certain form from premisses of certain forms. I consider two interpretations of the process which have been advocated by recent scholars and show that one seems better suited to most passages while the other best fits a single remaining passage. I also argue that "ecthesis" for Aristotle means 'setting out' the case to be proved using letters. Aristotle's remarks about the use of letters in mathematical proofs suggest that he had some understanding of rules equivalent to universal generalization and existential instantiation; the 'proofs through ecthesis' are so-called because they rest on the latter rule, with which use of letters is involved in a special way." (p. 113)
———. 1982. "The Axiomatic Method and Aristotle's Logical Methodology." Southwest Philosophical Studies no. 8:49-59.
Abstract: "I argue that Aristotle developed the syllogistic in the "Prior Analytics" in order to use it in resolving the question, presented in "Posterior Analytics" A 3, whether proof of every proposition is either necessary or possible. His method, which rests on an analysis of the possible structure of proofs derived from the study of syllogisms in the "Prior Analytics", resemble modern proof theory in both style and purpose."
———. 1982. "The Relationship of Aristotle's two Analytics." Classical Quarterly no. 32:327-335.
———. 1982. "The Syllogism in Posterior Analytics I." Archiv für Geschichte der Philosophie no. 64:113-135.
———. 1983. "Completeness of an Ecthetic Syllogistic." Notre Dame Journal of Formal Logic no. 24:224-232.
Abstract: "In this paper I study a formal model for Aristotelian syllogistic which includes deductive procedures designed to model the "proof by ecthesis" that Aristotle sometimes uses and in which all deductions are direct. The resulting system is shown to be contained within another formal model for the syllogistic known to be both sound and complete, and in addition the system is proved to have a certain limited form of completeness."
———. 1986. "Immediate Propositions and Aristotle's Proof Theory." Ancient Philosophy no. 6:47-68.
———. 1994. "Dialectic and the Syllogism." Ancient Philosophy no. 14:133-151.
Solmsen, Friedrich. 1951. "Aristotle's Syllogism and its Platonic Background." The Philosophical Review no. 60:563-571.
Steinkrüger, philipp. 2015. "Aristotle’s assertoric syllogistic and modern relevance logic." Synthese no. 192:1413-1444.
Abstract: "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."
Striker, Gisela. 1985. "Notwendigkeit mit Lücken." Neue Hefter für Philosophie no. 24/25:146-164.
———. 1994. "Assertoric vs. modal Syllogistic." Ancient Philosophy no. 14:39-51.
———. 1996. "Perfection and Reduction in Aristotle's Prior Analytics." In Rationality in Greek Thought, edited by Frede, Michael and Striker, Gisela, 203-219. New York: Oxford University Press.
———. 1997. "Aristotle and the Uses of Logic." In Method in Ancient Philosophy, edited by Gentzler, Jyl, 209-226. New York: Oxford University Press.
Tennant, Neil. 2014. "Aristotle's Syllogistic and Core Logic." History and Philosophy of Logic no. 35:120-147.
Thom, Paul. 1976. "Ecthesis." Logique et Analyse no. 74-76:299-310.
———. 1979. "Aristotle's Syllogistic." Notre Dame Journal of Formal Logic no. 20:751-759.
———. 1981. The Syllogism. München: Philosophia Verlag.
Contents: Preface 11; Part One. Aristotle's syllogistic. I. Elementary syntax 19; II. Basis of the system 32; III. Theses 45; IV. Non-theses 56; V. Interpretation an application 69; Part Tow. Syllogistic and its extensions. Introduction 89; VI. System A 91; VII: Subsystems 109; VIII. Extensions 119; IX: Rejection 147; X: Echtesis 164; Part Three. The theory of the syllogism. Introduction 179; XI. Syntactic theory 181; XII. Aristotle's syntactic theory 193; XIII. Semantic theory 216; XIV: Epistemological theory 227; Appendix 1. The Gergonne relations 253; Appendix 2. Termini obliqui and the logic of relations 255; Appendix 3. Medieval echtetic systems 257; Notes 261; Bibliography 289; Indices. Index 1. Aristotelian passages 299; Index 2. Definitions 306; Index 3. Names 409-312.
"The three Parts of this book deal respectively with the formal analysis of Aristotle's non-modal syllogistic; with the inter-relations between various syllogistic systems, their subsystems and extensions; and with the most fundamental question about the syllogism, viz. What is it?
Part One aims to effect a synthesis of recent work (both logical and philological) on the non-modal sections of the Prior Analytics, within the framework of a new formal system which combines features of Lukasiewicz's `axiomatic' approach with features of the 'natural deduction' approach of Corcoran and Smiley.
This system is identified, in Part Two, as one of a family which also includes the semantically complete systems of Łukasiewicz and Corcoran. Extended systems are also considered, in which rejected formulae are axiomatised, and negative or singular terms added. In particular, formal analyses are given of Aristotle's own logics of negative and singular terms, and it is shown that the whole system of categorical syllogisms can be based on a system of singular syllogisms with the Aristotelian rules of ecthesis.
The multiplicity of syllogistic systems discussed in Part Two gives rise to the search (carried out in the third Part) for properties essential to the syllogism, which would recur in any genuinely syllogistic system. A complex syntactic property of the categorical syllogism is first described, then a semantic one, and finally one which I will term epistemological (without wanting to sink into psychologism). The principal standpoint in this Part is a purely theoretical one - the semantic discussion being within the context of the contemporary debate on entailment, and the epistemological one belonging to the theory of fallacies. But the historical approach of the first two Parts is not wholly abandoned, and a detailed account is given of those parts of the Prior Analytics (not often read) which include Aristotle's own attempts at metatheory.
With some reluctance, and in the interests of brevity, I have adopted a style of exposition which is generally dogmatic rather than dialectical, in that it seeks merely to state the truth rather than to allow the true view to emerge in stages from partial truths or mistaken opinions. Also, interpretations or theories which seemed to me wholly wrong have in general not been mentioned: there are just too many of them. On the other hand, I have tried to include reference to what seemed to me the most important contributions of the ancient and medieval commentators.
I have proceeded (as Aristotle would have said) from what is best known in itself, to what is best known for us, beginning with the basis of an uninterpreted formal system, and ending with a statement of the function of the syllogism and the use of the system. So, in a sense, the reader will not know why the beginning is as it is, until he has come to the end. For the benefit of readers who can't stand the suspense, I have tried to make the end independently intelligible, so that they can begin there, and then go to the beginning, ending in the middle with a kind of syllogismus interruptus." pp. 11-12
———. 1991. "The Two Barbaras." History and Philosophy of Logic no. 12:135-149.
Abstract: "This paper examines three recent discussions of Aristotle's system of syllogisms with apodeictic and assertoric premisses. Though they contain no cross-references, and though they arrive at disparate interpretations, all three pieces share a common aid. That aim is to construct an intuitively graspable interpretation of Aristotle's modal syllogistic which is based on metaphysical considerations. I argue that none of these authors has succeeded in this; nevertheless, I share their broad aim, and attempt to show that a more satisfactory interpretation can be formulated by combining and developing elements drawn from all three."
———. 1993. "Apodeictic Ecthesis." Notre Dame Journal of Formal Logic no. 34:193-208.
———. 1994. "Interpreting Aristotle's Contingency-Syllogistic." Oxford Studies in Ancient Philosophy no. 12:91-109.
———. 1998. "How to base apodeictic syllogistic on essentialist theory." Philosophiegeschichte und Logische Analyse = Logical Analysis and History of Philosophy no. 1:171-185.
Abstract: "Essentialist theories are based on notions of necessity and essentiality. Kinds and Quasi-Kinds can be defined in terms of these notions. Aristotle's essentialism asserts that (1) Kinds are unions of Quasi-Kinds, (2) Kinds that can overlap are necessarily included in a common Kind, and (3) Kinds partition into sub-Kinds. Truth-conditions for the apodeictic propositions of Aristotle's modal syllogistic are stated in terms of necessity and essentiality, but independent of theses (1)-(3). While the basic insights motivating Patterson's and Nortmann's interpretations of modal syllogistic are sound, nonetheless there are significant mistakes in the detail. Given (1)-(3), truth-conditions for apodeictic propositions can be stated in terms of essentiality, but independently of the notion of necessity, thus confirming Johnson's interpretation."
Thomas, Ivo. 1952. "A new decision procedure for Aristotle's syllogistic." Mind no. 61.
Thompson, Marley. 1959. "On the Elimination of Singular Terms." Mind no. 68:361-376.
Vlasits, Justin. 2019. "Mereology in Aristotle’s Assertoric Syllogistic." History and Philosophy of Logic no. 40:1-11.
Wedin, Michael 1990. "Negation and Quantification in Aristotle." History and Philosophy of Logic no. 11:131-150.
Weidemann, Hermann. 2004. "Aristotle on the reduciblity of all vald syllogistic moods to the two Universal moods of the First Figure (Apr A7, 29b1-25)." History and Philosophy of Logic no. 25:73-78.
Wesoly, Marian. 1996. "Aristotle's Lost Diagrams of the Analytical Figures." Eos. Commentarii Societatis Philologae Polonorum no. 84:53-64.
———. 2012. "ΑΝΑΛΥΣΙΣ ΠΕΡΙ ΤΑ ΣΧΗΜΑΤΑ. Restoring Aristotle’s Lost Diagrams of the Syllogistic Figures." Peitho. Examina Antiqua no. 3:83-114.
Westerstähl, Dag. 1989. "Aristotelian syllogisms and generalized quantifiers." Studia Logica no. 48:577-585.
Williamson, Colwyn. 1972. "Squares of opposition: comparisons between syllogistic and propositional logic." Notre Dame Journal of Formal Logic no. 13:497-500.
"It has been pointed out, for example by Bochenski, (1) that the principles of propositional logic now known as DeMorgan's Laws bear a certain resemblance to the laws depicted in the traditional Square of Opposition.
The analogy, however, is not as perfect as it could be. The aim of this paper is to explore some of the consequences of seeking a more exact comparison between syllogistic and propositional logic."
(1) J. M. Bochenski, A Précis of Mathematical Logic, Holland (1959), p. 14.
———. 1988. "How many syllogisms are there?" History and Philosophy of Logic no. 9:77-85.
"The incompleteness and artificiality of the 'Traditional logic' of the textbooks is reflected in the way that syllogisms are commonly enumerated. The number said to be valid varies, but all the numbers given are of a kind that logicians should find irritating. Even the apparent harmony of what is almost invariably said to be the total number of syllogisms, 256, turns out to be illusory. In the following, it is shown that the concept of a "distribution-value", which is related to the traditional theory of distribution, and the familiar concept of "quantity" together suffice to produce a far better way of enumerating syllogisms and a more complete understanding of the systematic features of syllogistic logic."