Article ID: CBB001201198

Aristotle's Syllogistic and Core Logic (2014)


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 (constructive and relevant) 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.

Citation URI

Similar Citations

Book Harari, Orna; (2004)
Knowledge and Demonstration: Aristotle's Posterior Analytics (/isis/citation/CBB000500290/) unapi

Article Bellissima, Fabio; (2002)
Il sistema assiomatico-deduttivo degli Elementi armonici di Aristosseno (/isis/citation/CBB000411050/) unapi

Article Adams, Marcus P.; (2015)
Demarcating Aristotelian Rhetoric: Rhetoric, the Subalternate Sciences, and Boundary Crossing (/isis/citation/CBB001202194/) unapi

Article Halonen, Ilpo; Hintikka, Jaakko; (2000)
Aristotelian explanations (/isis/citation/CBB000111284/) unapi

Article Keeling, Evan; (2012)
Unity in Aristotle's Metaphysics H6 (/isis/citation/CBB001251233/) unapi

Article Correia, Manuel; (2004)
Philoponus on the Nature of Logic (/isis/citation/CBB000502259/) unapi

Article Schiefsky, Mark; (2009)
Structures of Argument and Concepts of Force in the Aristotelian Mechanical Problems (/isis/citation/CBB000932571/) unapi

Book Rijk, Lambertus Marie de; (2002)
Aristotle: Semantics and Ontology (/isis/citation/CBB000301545/) unapi

Article Raymonda, Dwayne; (2010)
Polarity and Inseparability: The Foundation of the Apodictic Portion of Aristotle's Modal Logic (/isis/citation/CBB001210975/) unapi

Book Pasquale, Gianluigi; (2005)
Aristotle and the Principle of Non-Contradiction (/isis/citation/CBB000741068/) unapi

Article Piero Tarantino; (2011)
L'origine della nozione aristotelica di "scienza dimostrativa" (/isis/citation/CBB689955339/) unapi

Article Theodor Ebert; Ron Polansky; (2015)
What is a Perfect Syllogism in Aristotelian Syllogistic? (/isis/citation/CBB668871792/) unapi

Book Tipton, Jason A.; (2014)
Philosophical Biology in Aristotle's Parts of Animals (/isis/citation/CBB001500574/) unapi

Thesis Hussain, Hammad A.; (2010)
Aristotle's “Genetic Account” and the Problem of Induction (/isis/citation/CBB001562741/) unapi

Chapter Detel, Wolfgang; (2007)
Logic and Experience in Aristotle (/isis/citation/CBB001020201/) unapi

Article Correia, Manuel; (2009)
The Syllogistic Theory of Boethius (/isis/citation/CBB001211442/) unapi

Article Acerbi, Fabio; (2011)
The Language of the “Givens”: Its Forms and Its Use as a Deductive Tool in Greek Mathematics (/isis/citation/CBB001034293/) unapi

Authors & Contributors
Correia, Manuel
Hintikka, Jaakko
Halonen, Ilpo
Rijk, Lambertus Marie de
Bellissima, Fabio
Harari, Orna
Apeiron: Journal for Ancient Philosophy and Science
Ancient Philosophy
Studies in History and Philosophy of Science
Nuncius: Annali di Storia della Scienza
Early Science and Medicine: A Journal for the Study of Science, Technology and Medicine in the Pre-modern Period
Archive for History of Exact Sciences
Kluwer Academic
University of Oklahoma
Boethius, Anicius Manlius Severinus
Philoponos, Joannes Grammaticus
Time Periods
6th century

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment