Aristotle's Syllogistic and Core Logic

History and Philosophy of Logic 35 (2):120-147 (2014)
Download Edit this record How to cite View on PhilPapers
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 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.
No keywords specified (fix it)
PhilPapers/Archive ID
Revision history
Archival date: 2015-11-21
View upload history
References found in this work BETA

View all 20 references / Add more references

Citations of this work BETA
Existential-Import Mathematics.Corcoran, John & Masoud, Hassan

Add more citations

Added to PP index

Total views
312 ( #12,777 of 46,139 )

Recent downloads (6 months)
44 ( #18,801 of 46,139 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.