INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS
Published online by Cambridge University Press: 25 July 2019
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.
- Copyright © The Association for Symbolic Logic 2019
Roy Dyckhoff passed away on August 23, 2018.