Classifying material implications over minimal logic

The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years, such as relevance logics, paraconsistent logics, fuzzy logics and so on. In this note, we investigate some of these paradoxes and classify them, over minimal logic. We provide...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Archive for mathematical logic 2020-11, Vol.59 (7-8), p.905-924
Hauptverfasser: Diener, Hannes, McKubre-Jordens, Maarten
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years, such as relevance logics, paraconsistent logics, fuzzy logics and so on. In this note, we investigate some of these paradoxes and classify them, over minimal logic. We provide proofs of equivalence and semantic models separating the paradoxes where appropriate. A number of equivalent groups arise, all of which collapse with unrestricted use of double negation elimination. Interestingly, the principle ex falso quodlibet , and several weaker principles, turn out to be distinguishable, giving perhaps supporting motivation for adopting minimal logic as the ambient logic for reasoning in the possible presence of inconsistency.
ISSN:0933-5846
1432-0665
DOI:10.1007/s00153-020-00722-x