On formal aspects of the epistemic approach to paraconsistency

In Max Freund, Max Fernandez de Castro & Marco Ruffino (eds.), Logic and Philosophy of Logic: Recent Trends in Latin America and Spain. London: College Publications. pp. 48-74 (2018)
Download Edit this record How to cite View on PhilPapers
Abstract
This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed.
PhilPapers/Archive ID
CAROFA-2
Upload history
Archival date: 2019-02-22
View other versions
Added to PP index
2019-02-22

Total views
54 ( #41,932 of 51,415 )

Recent downloads (6 months)
11 ( #38,320 of 51,415 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.