PhilSci Archive

An epistemic approach to paraconsistency: a logic of evidence and truth

Carnielli, Walter and Rodrigues, Abilio (2017) An epistemic approach to paraconsistency: a logic of evidence and truth. [Preprint]

[img]
Preview
Text
letj.pdf

Download (446kB) | Preview

Abstract

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 (LETj). 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. LETj 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 LETj, as well as some technical results that fit the intended interpretation.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Carnielli, WalterWalter.Carnielli@cle.unicamp.br
Rodrigues, Abilioabilio.arf@gmail.com
Keywords: paraconsistency; non-classical logics; evidence; philosophy of logic; logics of formal inconsistency
Subjects: Specific Sciences > Mathematics > Logic
Depositing User: Mr. Abilio Rodrigues Filho
Date Deposited: 12 Nov 2017 22:36
Last Modified: 12 Nov 2017 22:36
Item ID: 14115
Subjects: Specific Sciences > Mathematics > Logic
Date: September 2017
URI: https://philsci-archive-dev.library.pitt.edu/id/eprint/14115

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item