Models for Aristotle’s Syllogistic in the Domain with Two Members

Abstract

The paper shows that it is enough to consider models in a domain with two members to invalidate any positive syllogism that is not a theorem of Aristotle’s syllogistic. The respective matrices that can be used for resulting decision procedure are shown. The presented result is extended to a decision procedure for any formula of Aristotle’s syllogistic enriched with classical connectives.