A Mathematical Model of Aristotle’s Syllogistic

Download Edit this record How to cite View on PhilPapers
In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible.
PhilPapers/Archive ID
Revision history
Archival date: 2014-11-07
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
A Brief History of Natural Deduction.Pelletier, Francis Jeffry

View all 12 citations / Add more citations

Added to PP index

Total views
422 ( #7,263 of 42,169 )

Recent downloads (6 months)
58 ( #10,691 of 42,169 )

How can I increase my downloads?

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