Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/336755
Type: Artigo
Title: An epistemic approach to paraconsistency : a logic of evidence and truth
Author: Carnielli, Walter
Rodrigues, Abilio
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
Subject: Lógica paraconsistente
Country: Países Baixos
Editor: Springer
Rights: Fechado
Identifier DOI: 10.1007/s11229-017-1621-7
Address: https://link.springer.com/article/10.1007/s11229-017-1621-7
Date Issue: Sep-2019
Appears in Collections:IFCH - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
000490473800018.pdf655.39 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.