Indefinite proof and inversions of syllogisms

Roy Dyckhoff

doi:10.1017/bsl.2018.59

Indefinite proof and inversions of syllogisms

Roy Dyckhoff

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	196-207
Number of pages	12
Journal	Bulletin of Symbolic Logic
Volume	25
Issue number	2
Early online date	25 Jul 2019
DOIs	https://doi.org/10.1017/bsl.2018.59
Publication status	Published - 2019

Keywords

Deduction
Syllogism
Indirect proof

Access to Document

10.1017/bsl.2018.59

Syllogisms-BSL
© 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
Accepted author manuscript, 293 KBLicence: Unspecified

Cite this

@article{ece1adaf6c7f4f4fb2bcb6e410546473,

title = "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.",

keywords = "Deduction, Syllogism, Indirect proof",

author = "Roy Dyckhoff",

year = "2019",

doi = "10.1017/bsl.2018.59",

language = "English",

volume = "25",

pages = "196--207",

journal = "Bulletin of Symbolic Logic",

issn = "1079-8986",

publisher = "Association for Symbolic Logic",

number = "2",

}

TY - JOUR

T1 - Indefinite proof and inversions of syllogisms

AU - Dyckhoff, Roy

PY - 2019

Y1 - 2019

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

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

KW - Deduction

KW - Syllogism

KW - Indirect proof

U2 - 10.1017/bsl.2018.59

DO - 10.1017/bsl.2018.59

M3 - Article

SN - 1079-8986

VL - 25

SP - 196

EP - 207

JO - Bulletin of Symbolic Logic

JF - Bulletin of Symbolic Logic

IS - 2

ER -

Indefinite proof and inversions of syllogisms

Abstract

Keywords

Access to Document

Fingerprint

Cite this