On philosophical motivations for paraconsistency: an ontology-free interpretation of the logics of formal inconsistency

Download Edit this record How to cite View on PhilPapers
Abstract
In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ┬ČA does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A.
Categories
(categorize this paper)
PhilPapers/Archive ID
CAROPM-2
Upload history
Archival date: 2014-08-07
View other versions
Added to PP index
2014-08-07

Total views
245 ( #27,591 of 65,629 )

Recent downloads (6 months)
34 ( #24,479 of 65,629 )

How can I increase my downloads?

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