Logica Universalis

, Volume 12, Issue 1–2, pp 9–35 | Cite as

Aristotle’s Prototype Rule-Based Underlying Logic

  • John CorcoranEmail author


This expository paper on Aristotle’s prototype underlying logic is intended for a broad audience that includes non-specialists. It requires as background a discussion of Aristotle’s demonstrative logic. Demonstrative logic or apodictics is the study of demonstration as opposed to persuasion. It is the subject of Aristotle’s two-volume Analytics, as its first sentence says. Many of Aristotle’s examples are geometrical. A typical geometrical demonstration requires a theorem that is to be demonstrated, known premises from which the theorem is to be deduced, and a deductive logic by which the steps of the deduction proceed. Every demonstration produces (or confirms) knowledge of (the truth of) its conclusion for every person who comprehends the demonstration. Aristotle presented a general truth-and-consequence theory of demonstration meant to apply to all demonstrations: a demonstration is an extended argumentation that begins with premises known to be truths and that involves a chain of reasoning showing by deductively evident steps that its conclusion is a consequence of its premises. In short, 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 theory of deduction was meant to apply to all deductions: any deduction that is not immediately evident is an extended argumentation that involves a chaining of immediately evident steps that shows its final conclusion to follow logically from its premises. His deductions, both direct and indirect, were rule-based and not tautology-based. The idea of tautology-based deduction, which dominated modern logic in the early years of the 1900s, is nowhere to be found in Analytics. Rule-based (or “natural”) deduction was rediscovered by modern logicians. To illustrate his general theory of deduction, Aristotle presented a prototype: an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. With reference only to propositions of the four so-called categorical forms, he painstakingly worked out exactly what those immediately evident deductive steps are and how they are chained to complete deductions. In his specialized prototype theory, Aristotle explained how to deduce from a given categorical premise set, no matter how large, any categorical conclusion implied by the given set. He did not extend this treatment to non-categorical deductions, thus setting a program for future logicians. The prototype, categorical syllogistic, was seen by Boole as a “first approximation” to a comprehensive logic. Today, however it appears more as the first of the dozens of logics already created and as the first exemplification of a family that continues to expand.


Prototype underlying logic demonstration deduction direct indirect syllogistic 

Mathematics Subject Classification

Primary 01A20 Secondary 00A25 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aristotle: Prior analytics. In: Smith, T.R. (eds) Aristotle’s Prior Analytics. Hackett, Indianapolis (1989)Google Scholar
  2. 2.
    Aristotle: Posterior analytics. In: Mure, T.G.R.G (eds) McKeon (1947)Google Scholar
  3. 3.
    Beth, E.: Foundations of Mathematics. North-Holland, Amsterdam (1959)zbMATHGoogle Scholar
  4. 4.
    Boger, G.: Aristotle’s underlying logic. In: Gabbay, D., Woods, J. (eds.) Handbook of the History of Logic. Elsevier, Amsterdam (2004)Google Scholar
  5. 5.
    Boole, G.: Laws of Thought. Macmillan, Cambridge (1854/2003) (Reprinted with introduction by J. Corcoran. Buffalo: Prometheus Books)Google Scholar
  6. 6.
    Robert, Audi. (ed.): The Cambridge Dictionary of Philosophy. Cambridge University Press, Cambridge (1999)Google Scholar
  7. 7.
    Corcoran, J.: Completeness of an ancient logic. J. Symb. Log. 37, 696–702 (1972)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Corcoran, J. (ed.): Ancient Logic and Its Modern Interpretations. Kluwer, Dordrecht (1974)Google Scholar
  9. 9.
    Corcoran, J.: Aristotle’s natural deduction system. Corcoran 1974, 85–131 (1974)MathSciNetzbMATHGoogle Scholar
  10. 10.
    Corcoran, J.: Ockham’s syllogistic semantics. J. Symb. Log. 57, 197–8 (1981)Google Scholar
  11. 11.
    Corcoran, J.: Review of “Aristotelian Induction”, Hintikka 1980. Math. Rev. 82m, 00016 (1982)Google Scholar
  12. 12.
    Corcoran, J.: Deduction and reduction: two proof-theoretic processes in prior analytics I. J. Symb. Log. 48(1983), 906 (1983)Google Scholar
  13. 13.
    Corcoran, J.: Review of G. Saccheri. Euclides Vindicatus (1733), edited and translated by G. B. Halsted, 2nd ed. (1986), In: Mathematical Reviews 88j:01013 (1988)Google Scholar
  14. 14.
    Corcoran, J.: Argumentations and logic. Argumentation 3, 17–43 (1989). (Spanish translation by R. Fernández and J. M. Sagüillo: Corcoran 1994a)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Corcoran, J.: Logical methodology: Aristotle and Tarski. J. Symb. Log. 57, 374 (1992)Google Scholar
  16. 16.
    Corcoran, J.: Argumentaciones y lógica. Ágora 13/1, 27–55 (1994a). (Spanish translation by R. Fernández and J. M. Sagüillo of a revised and expanded version)Google Scholar
  17. 17.
    Corcoran, J.: The founding of logic. Anc. Philos. 14, 9–24 (1994f)CrossRefGoogle Scholar
  18. 18.
    Corcoran, J.: Logical form. In: Audi, R. (ed.) Cambridge Dictionary of Philosophy, 2nd edn. Cambridge University Press, Cambridge (1999)Google Scholar
  19. 19.
    Corcoran, J.: Aristotle’s prior analytics and Boole’s laws of thought. Hist. Philos. Log. 24, 261–288 (2003a)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Corcoran, J.: Introduction. In: Prometheus Books, George Boole’s Laws of Thought. Reprint Buffalo (2003b)Google Scholar
  21. 21.
    Corcoran, J.: Schemata: the concept of schema in the history of logic. Bull. Symb. Log. 12, 219–40 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Corcoran, J.: Existential import. Bull. Symb. Log. 13, 143–144 (2007i)Google Scholar
  23. 23.
    Corcoran, J.: Scientific revolutions. In: Lachs, J., Talisse, R. (eds.) Encyclopedia of American Philosophy. Routledge, New York (2008s)Google Scholar
  24. 24.
    Corcoran, J.: Aristotle’s demonstrative logic. Hist. Philos. Log. 30, 1–20 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    Corcoran, J.: Hidden consequence and hidden independence. Bull. Symb. Log. 16(2010), 443 (2010)Google Scholar
  26. 26.
    Corcoran, J.: The Aristotle Łukasiewicz omitted. Bull. Symb. Log. 21, 237–238 (2015)CrossRefGoogle Scholar
  27. 27.
    Corcoran, J., Hamid, I.S.: Investigating knowledge and opinion. In: Buchsbaum, A., Koslow, A. (eds.) The Road to Universal Logic, vol. I, pp. 95–126. Springer, Berlin (2015)Google Scholar
  28. 28.
    Corcoran, J., Tracy, K.: Review of Joray 2017. Math. Rev. MR3681098 (2018)Google Scholar
  29. 29.
    Davenport, H.: Higher Arithmetic. Harper, New York (1952/1960)Google Scholar
  30. 30.
    Encyclopedia Britannica: Encyclopedia Britannica, Inc.: Chicago (1980)Google Scholar
  31. 31.
    Euclid: Elements. 3 vols. Heath, T (tr). New York: Dover (1956)Google Scholar
  32. 32.
    Feferman, A., Feferman, S.: Alfred Tarski: Life and Logic. Cambridge University Press, Cambridge (2004)zbMATHGoogle Scholar
  33. 33.
    Flannery, K.: Ways into the Logic of Alexander of Aphrodisias. Brill, Leiden (1995)CrossRefGoogle Scholar
  34. 34.
    Galen: Institutio Logica. Kieffer, J. (ed) Johns Hopkins UP: Baltimore (1964)Google Scholar
  35. 35.
    Gasser, J.: Essai sur la nature et les critères de la preuve. Editions DelVal, Cousset (Switzerland) (1989)Google Scholar
  36. 36.
    Gasser, J.: Aristotle’s logic for the modern reader. HPL 12, 235–240 (1991)MathSciNetGoogle Scholar
  37. 37.
    Heath, T.: Tr. Euclid’s Elements, vol. 3. Dover, New York (1908/1925/1956)Google Scholar
  38. 38.
    Hintikka, J.: Aristotelian induction. Rev. Int. Philos. 34(1980), 422–439 (1980)MathSciNetGoogle Scholar
  39. 39.
    Hughes, R.: Philosophical Companion to First-Order Logic. Hackett, Indianapolis (1993)zbMATHGoogle Scholar
  40. 40.
    Jeffrey, R.: Formal Logic. McGraw-Hill, New York (1967/1991)Google Scholar
  41. 41.
    Joray, Pierre: A completed system for Robin Smith’s incomplete ecthetic syllogistic. Notre Dame J. Form. Log. 58(3), 329–342 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  42. 42.
    Kieffer, J.: Tr. Galen’s Institutio Logica. Johns Hopkins University Press, BaltimoreGoogle Scholar
  43. 43.
    Kuhn, T.: The Copernican Revolution. Harvard University Press, Cambridge (1957)Google Scholar
  44. 44.
    Kuhn, T.: The Structure of Scientific Revolutions. University of Chicago Press, Chicago (1962)Google Scholar
  45. 45.
    Lejewski, C.: History of logic. In: Encyclopedia Britannica, vol. 11. Encyclopedia Britannica Inc., Chicago (1980)Google Scholar
  46. 46.
    Łukasiewicz, J.: Aristotle’s Syllogistic. Oxford University Press, Oxford (1951/1957)Google Scholar
  47. 47.
    McKeon, R.: Introduction to Aristotle. Modern Library, New York (1947)Google Scholar
  48. 48.
    Mueller, I.: An introduction to Stoic logic. In: Rist, J.M. (ed.) The Stoics, pp. 1–26. University of California Press, Berkeley (1978)Google Scholar
  49. 49.
    Newman, J. (ed.): The World of Mathematics, vol. 4. Simon and Schuster, New York (1956)Google Scholar
  50. 50.
    Peirce, C.S.: Boole’s calculus of logic. Peirce 1982 (1865/1982)Google Scholar
  51. 51.
    Peirce, C.S.: Writings of Charles S. Peirce: A Chronological Edition, Vol. I. Indiana University Press, Bloomington (1982)Google Scholar
  52. 52.
    Peirce, C.S.: In: Houser N., Kloesel C. (eds) The Essential Peirce: Selected Philosophical Writings (1867–1893), Vol. I. Indiana University Press, Bloomington (1992)Google Scholar
  53. 53.
    Peirce, C.S.: In: Houser N. et al. (eds) The Essential Peirce: Selected Philosophical Writings (1893–1913). Vol. II. Indiana University Press, Bloomington (1998)Google Scholar
  54. 54.
    Ross, W.D.: Aristotle. Meridian Books, New York (1923/1959)Google Scholar
  55. 55.
    Ross, W.D.: Aristotle’s Prior and Posterior Analytics. Oxford University Press, Oxford (1949)Google Scholar
  56. 56.
    Sgarbi, M., Cosci, M.: The aftermath of syllogism. In: Aristotelian Argument from Avicenna to Hegel. Bloomsbury, London (2018)Google Scholar
  57. 57.
    Smiley, T.: What is a syllogism? JPL 2, 136–154 (1973)CrossRefzbMATHGoogle Scholar
  58. 58.
    Smiley, T.: Aristotle’s completeness proof. Anc. Philos. 14, 24–38 (1994)Google Scholar
  59. 59.
    Smith, R.: Introduction. In: Aristotle’s Prior Analytics. Hackett, Indianapolis (1989)Google Scholar
  60. 60.
    Tarski, A.: Introduction to Logic and to the Methodology of Deductive Sciences. Trans. O. Helmer. Dover, New York (1941/1946/1995)Google Scholar
  61. 61.
    Tarski, A.: Truth and proof. Sci. Am. June 1969. Reprinted in Hughes 1993 (1969/1993)Google Scholar
  62. 62.
    von Plato, J.: The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age. Princeton University Press, Princeton (2017)CrossRefzbMATHGoogle Scholar
  63. 63.
    Whately, R.: Elements of Logic. James Monroe and Co, Boston and Cambridge (1855)Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Department of PhilosophyUniversity at BuffaloBuffaloUSA

Personalised recommendations