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

    Identifiers