[892]

Vol 22, No 1 (2018) • Principia: an international journal of epistemology

Autor: Eduardo Alejandro Barrio

Resumo:

In different papers, Carnielli, W. & Rodrigues, A. (2012), Carnielli, W. Coniglio, M. & Rodrigues, A. (2017) and Rodrigues & Carnielli, (2016) present two logics motivated by the idea of capturing contradictions as conflicting evidence. The first logic is called BLE (the Basic Logic of Evidence) and the second—that is a conservative extension of BLE—is named LETJ (the Logic of Evidence and Truth). Roughly, BLE and LETJ are two non-classical (paraconsistent and paracomplete) logics in which the Laws of Explosion (EXP) and Excluded Middle (PEM) are not admissible. LETJ is built on top of BLE. Moreover, LETJ is a Logic of Formal Inconsistency (an LFI). This means that there is an operator that, roughly speaking, identifies a formula as having classical behavior. Both systems are motivated by the idea that there are different conditions for accepting or rejecting a sentence of our natural language. So, there are some special introduction and elimination rules in the theory that are capturing different conditions of use. Rodrigues & Carnielli’s paper has an interesting and challenging idea. According to them, BLE and LETJ are incompatible with dialetheia. It seems to show that these paraconsistent logics cannot be interpreted using truth-conditions that allow true contradictions. In short, BLE and LETJ talk about conflicting evidence avoiding to talk about gluts. I am going to argue against this point of view. Basically, I will firstly offer a new interpretation of BLE and LETJ that is compatible with dialetheia. The background of my position is to reject the one canonical interpretation thesis: the idea according to which a logical system has one standard interpretation. Then, I will secondly show that there is no logical basis to fix that Rodrigues & Carnielli’s interpretation is the canonical way to establish the content of logical notions of BLE and LETJ . Furthermore, the system LETJ captures inside classical logic. Then, I am also going to use this technical result to offer some further doubts about the one canonical interpretation thesis.

 

DOI: https://doi.org/10.5007/1808-1711.2018v22n1p87

Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2018v22n1p87/pdf

Palavras-Chave: Philosophical interpretations, Paraconsistenc

Principia: an international journal of epistemology

"PRINCIPIA
"Principia: an international journal of epistemology" was founded in 1997 and regularly publishes articles, discussions and review. The journal aims to publish original scholarly work especially in epistemology area , with an emphasis on material of general interest to academic philosophers. Originally published only in print version (ISSN: 1414-4247), in 2005 the journal began to be published also in online version (ISSN: 1808-1711). Since 1999 are published three issues per year: in April, August and December. Qualis CAPES: A2