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
Revision history
Archival date: 2013-10-29
View upload history
References found in this work BETA

Add more references

Citations of this work BETA

Add more citations

Added to PP index

Total views
562 ( #6,998 of 50,377 )

Recent downloads (6 months)
5 ( #48,195 of 50,377 )

How can I increase my downloads?

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