INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The bulletin of symbolic logic 2019-06, Vol.25 (2), p.196-207
1. Verfasser: DYCKHOFF, ROY
Format: Artikel
Sprache:eng
Schlagworte:
Basic converters
Communications
Inversions
Logic
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1079-8986
1943-5894
DOI:10.1017/bsl.2018.59