History and Philosophy of Logic 29 (4):309-325 (2008)
This article studies the mathematical properties of two systems that model Aristotle's original syllogistic and the relationship obtaining between them. These systems are Corcoran's natural deduction syllogistic and ?ukasiewicz's axiomatization of the syllogistic. We show that by translating the former into a first-order theory, which we call T RD, we can establish a precise relationship between the two systems. We prove within the framework of first-order logic a number of logical properties about T RD that bear upon the same properties of the natural deduction counterpart ? that is, Corcoran's system. Moreover, the first-order logic framework that we work with allows us to understand how complicated the semantics of the syllogistic is in providing us with examples of bizarre, unexpected interpretations of the syllogistic rules. Finally, we provide a first attempt at finding the structure of that semantics, reducing the search to the characterization of the class of models of T RD
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Aristotle's Syllogistic From the Standpoint of Modern Formal Logic.Jan Łukasiewicz - 1951 - Garland.
Aristotelian Syllogisms: Valid Arguments or True Universalized Conditionals?John Corcoran - 1974 - Mind 83 (330):278-281.
Citations of this work BETA
No citations found.
Similar books and articles
Aristotle'S Natural Deduction Reconsidered.John M. Martin - 1997 - History and Philosophy of Logic 18 (1):1-15.
Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie.Moritz Cordes & Friedrich Reinmuth - manuscript
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-Theory.Moritz Cordes & Friedrich Reinmuth - manuscript
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
A Double Deduction System for Quantum Logic Based on Natural Deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Proofs of Strong Normalisation for Second Order Classical Natural Deduction.Michel Parigot - 1997 - Journal of Symbolic Logic 62 (4):1461-1479.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Added to index2010-08-10
Total downloads124 ( #38,722 of 2,163,993 )
Recent downloads (6 months)5 ( #62,484 of 2,163,993 )
How can I increase my downloads?