Remarks on Axiomatic Rejection in Aristotle’s Syllogistic

Download Edit this record How to cite View on PhilPapers
In the paper we examine the method of axiomatic rejection used to describe the set of nonvalid formulae of Aristotle's syllogistic. First we show that the condition which the system of syllogistic has to fulfil to be ompletely axiomatised, is identical to the condition for any first order theory to be used as a logic program. Than we study the connection between models used or refutation in a first order theory and rejected axioms for that theory. We show that any formula of syllogistic enriched with classical connectives is decidable using models in the domain with three members.
PhilPapers/Archive ID
Upload history
Archival date: 2013-10-29
View other versions
Added to PP index

Total views
594 ( #7,839 of 55,934 )

Recent downloads (6 months)
30 ( #25,991 of 55,934 )

How can I increase my downloads?

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