Classifying Material Implications over Minimal Logic

Type of content
Journal Article
Publisher's DOI/URI
Thesis discipline
Degree name
Publisher
Journal Title
Journal ISSN
Volume Title
Language
Date
2018
Authors
Diener H
McKubre-Jordens M
Abstract

The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years [2–5, 11]. 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.

Description
Citation
Keywords
reverse mathematics, minimal logic, ex falso quodlibet, implication, paraconsistent logic, Peirce’s principle
Ngā upoko tukutuku/Māori subject headings
ANZSRC fields of research
Fields of Research::49 - Mathematical sciences::4904 - Pure mathematics::490407 - Mathematical logic, set theory, lattices and universal algebra
Rights