Indefinite proof and inversions of syllogisms
MetadataShow full item record
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.
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
Bulletin of Symbolic Logic
© 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
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.