Logica Universalis 12 (1-2):9-35 (2018)

John Corcoran
State University of New York, Buffalo
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 knowledge 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 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11787-018-0189-4
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,480
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Structure of Scientific Revolutions.David Bohm - 1964 - Philosophical Quarterly 14 (57):377-379.
Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.
The Founding of Logic.John Corcoran - 1994 - Ancient Philosophy 14 (S1):9-24.
What is a Syllogism?T. J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.
Aristotle's Demonstrative Logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.

View all 16 references / Add more references

Citations of this work BETA

Universal Logic: Evolution of a Project.Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):1-8.

Add more citations

Similar books and articles

Aristotle's Demonstrative Logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.
A Mathematical Model of Aristotle’s Syllogistic.John Corcoran - 1973 - Archiv für Geschichte der Philosophie 55 (2):191-219.
Aristotle on Modality and Predicative Necessity.Jean-Louis Hudry - 2013 - International Philosophical Quarterly 53 (1):5-21.
The Founding of Logic.John Corcoran - 1994 - Ancient Philosophy 14 (S1):9-24.
ARISTOTELIAN LOGIC AND EUCLIDEAN GEOMETRY.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (1):131-2.
Aristotle on Deduction and Inferential Necessity.Jean-Louis Hudry - 2013 - Review of Metaphysics 67 (1):29-54.
Aristotle’s “Whenever Three Terms”.John Corcoran - 2013 - Bulletin of Symbolic Logic 19 (3):234-235.
Completeness of an Ancient Logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
Aristotle’s Syllogystic, Modern Deductive Logic, and Scientific Demonstration.Edward M. Engelmann - 2007 - American Catholic Philosophical Quarterly 81 (4):535-552.
Aristotle’s Theory of Deduction and Paraconsistency.Evandro Luís Gomes & Itala M. Loffredo D'Ottaviano - 2010 - Principia: An International Journal of Epistemology 14 (1):71-97.


Added to PP index

Total views
16 ( #586,106 of 2,330,623 )

Recent downloads (6 months)
1 ( #585,854 of 2,330,623 )

How can I increase my downloads?


My notes