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

Synthese (2017)
Authors
Abilio Rodrigues
Federal University of Minas Gerais
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, and extends it to the Logic of Evidence and Truth. 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11229-017-1621-7
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 36,555
Through your library

References found in this work BETA

Logical Pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.
On the Theory of Inconsistent Formal Systems.Newton C. A. Da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.

View all 23 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On Discourses Addressed by Infidel Logicians.Walter Carnielli & Marcelo E. Coniglio - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 27--41.
Can Realists Know That They Know?Murat Baç - 2004 - Acta Analytica 19 (32):65-90.
Courage, Evidence, And Epistemic Virtue.Osvil Acosta-Morales - 2006 - Florida Philosophical Review 6 (1):8-16.
Three Schools of Paraconsistency.Koji Tanaka - 2003 - Australasian Journal of Logic 1:28-42.
The Logic of Uncertain Justifications.Robert S. Milnikel - 2014 - Annals of Pure and Applied Logic 165 (1):305-315.
The Logic of Truth in Paraconsistent Internal Realism.Manuel Bremer - 2008 - Studia Philosophica Estonica 1 (1):76-83.
Meeting Hintikka's Challenge to Paraconsistentism.Walter Carnielli - 2009 - Principia: An International Journal of Epistemology 13 (3):283-297.

Analytics

Added to PP index
2017-11-25

Total downloads
25 ( #258,087 of 2,302,554 )

Recent downloads (6 months)
10 ( #53,397 of 2,302,554 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature