Repository | Book | Chapter
![201906](https://sdvigpress.org/images/publi/_default.jpg)
(1999) In search of a new humanism, Dordrecht, Springer.
Aristotle is often blamed for developing the theory of syllogism instead of writing a Greek version of Frege's Begriffsschrift. With hindsight, however, one must admit that he had a good reason for doing so: syllogism, and more generally monadic logic, is decidable whereas polyadic and even dyadic logic is undecidable. As van Heijenoort [10] points out, in that respect Aristotle's theory of syllogism was a lucky strike because Aristotle hit into a part of logic where quantifiers are inessential: monadic logic can be translated into a quantifier-free calculus. In another respect, however, Aristotle's restriction to the theory of syllogism was unjustified: monadic logic is decidable only in principle, not in practice. All known decision procedures for it are too complex to be feasible.
Publication details
DOI: 10.1007/978-94-017-1852-3_19
Full citation:
Cellucci, C. (1999)., The decidability of syllogism, in R. Egidi (ed.), In search of a new humanism, Dordrecht, Springer, pp. 171-174.
This document is unfortunately not available for download at the moment.