The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated. Contradictions are, instead, epistemically understood as conflicting evidence, where evidence for a proposition A is understood as reasons for believing that A is true. The paper defines a paraconsistent and paracomplete natural deduction system, called the Basic Logic of Evidence (BLE), and extends it to the Logic of Evidence and Truth (LET J ). The latter is a logic of formal inconsistency and undeterminedness that is able to express not only preservation of evidence but also preservation of truth. LET J is anti-dialetheist in the sense that, according to the intuitive interpretation proposed here, its consequence relation is trivial in the presence of any true contradiction. Adequate semantics and a decision method are presented for both BLE and LET J , as well as some technical results that fit the intended interpretation. Keywords Paraconsistent logic · Philosophy of paraconsistency · Intuitionistic logic · Paracompleteness · Logics of formal inconsistency and undeterminedness
A recent work presents a paraconsistent logic able to reason about preservation of evidence and of truth (see REF ).
An epistemic approach to paraconsistency: a logic of evidence and truth
Synthese
Synthese
Computer Science Mathematics