Aristotle's thesis in consistent and inconsistent logics (Q1079561)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Aristotle's thesis in consistent and inconsistent logics |
scientific article |
Statements
Aristotle's thesis in consistent and inconsistent logics (English)
0 references
1984
0 references
A typical theorem of connexive logics is Aristotle's thesis \({\mathcal A}:\) \(\sim (A\to \sim A)\). \({\mathcal A}\) cannot be added to classical logic without producing a trivial post-inconsistent logic. This paper gives sufficient conditions for a logic containing \({\mathcal A}\) to be inconsistent and then shows that there is a class of inconsistent nontrivial logics all containing \({\mathcal A}\); a semantical modelling for \({\mathcal A}\) in such logics is given.
0 references
connexive logics
0 references