Indefinite proof and inversions of syllogisms

Roy Dyckhoff

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)
120 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)196-207
Number of pages12
JournalBulletin of Symbolic Logic
Volume25
Issue number2
Early online date25 Jul 2019
DOIs
Publication statusPublished - 2019

Keywords

  • Deduction
  • Syllogism
  • Indirect proof

Fingerprint

Dive into the research topics of 'Indefinite proof and inversions of syllogisms'. Together they form a unique fingerprint.

Cite this