Indefinite proof and inversions of syllogisms
Abstract
By considering the new notion of the inverses of syllogisms such as Barbara and Celarent, we show how the rule of Indirect Proof, in the form (no multiple or vacuous discharges) used by Aristotle, may be dispensed with, in a system comprising four basic rules of subalternation or conversion and six basic syllogisms.
Citation
Dyckhoff , R 2019 , ' Indefinite proof and inversions of syllogisms ' , Bulletin of Symbolic Logic , vol. 25 , no. 2 , pp. 196-207 . https://doi.org/10.1017/bsl.2018.59
Publication
Bulletin of Symbolic Logic
Status
Peer reviewed
ISSN
1079-8986Type
Journal article
Rights
© 2019, Association for Symbolic Logic. This work has been made available online in accordance with the publisher's policies. This is the author created accepted version manuscript following peer review and as such may differ slightly from the final published version. The final published version of this work is available at https://doi.org/10.1017/bsl.2018.59
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.