## References## Aristotelian logic as system of natural deductionCorcoran, John. 1972. "Completeness of an Ancient Logic". Journal of
Symbolic Logic 37: 696-705.Corcoran, J. "A Mathematical Model of Aristotle's Syllogistic." AGP 55 (1973) 191-219. Corcoran, J. "Aristotle's Natural Deduction System." in Corcoran, J., Ancient Logic and its Modern Interpretations (Dordrecht: 1974) 85-131. Corcoran, J. "Aristotelian Syllogisms: Valid Arguments or True Universalized Conditionals?" Mind 83 (1974) 278-281. Corcoran, J. "The Founding of Logic." AP 14 (1994) 9-24. Smiley, T.J. "What is a Syllogism?" J. Phil. Logic 2 (1973) 136-174.Smiley, T.J. "Aristotle's Completeness Proof." AP 14 (1994) 25-38. Martin, John N. "Aristotle's Natural Deduction Reconsidered." History and Philosophy of Logic, 18 (1997), 1-15
Boger, G. "Completion, Reduction and Analysis: Three Proof-theoretic
Processes in Aristotle's Prior Analytics." History and Philosophy of Logic 19, 187-226, (1998)## Classical texts on the formalisation of Aristotelian logicLukasiewicz, Jan "Aristotle's syllogistic." 2nd edn., Oxford: Claendon Press (1957)REMARK: This is the first formal theory which considers Aristotelian Logic as a formal system of its own - not just as a special case of class- or predicate logic. Lukasiewicz uses the axioms of propositional logic in his exposition which has been cut up by later scholars like Smiley and Corcoran. v. Freytag-Löringhoff, Bruno Baron v., "Logik I.
Das System der reinen Logik und ihr Verhältnis zur Logistik."
Kohlhammer, 5. Auflage, Stuttgart 1972REMARK: Freytag-Löringhoff's booklet (First edition 1955) is concerned with term logic and its intensional interpretations. It presents a semi-formal theory of Aristotelian logic in the tradition of Leibniz, Kant, Lotze, Sigwart, and Günther Jacoby. ## Further texts on formal Aristotelian logicPatzig, G. "Aristotle's theory of the Syllogism." Dordrecht: Reidel (1968)Thom, Paul. "The Syllogism", Philosophiy Verlag, Munich (1981)Brillowski, C. "Grundlagen offener Systeme." Frankfurt/M.: Peter Lang (1993)## External LinksStanford Encyclopedia of PhilosophyWikipedia S.M. Cohen's Introduction into Aristotle's logic [PDF] Robin Smith's home page The theoretical background for the computational methods of this site: Klaus Glashoff: Aristotelian Logic from a Computational-Combinatorial Point of view [PDF] |