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

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.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

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. Dordrecht, Netherland: Springer. pp. 27--41.
Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.
Paraconsistency and its Philosophical Interpretations.Eduardo Barrio & Bruno Da Re - 2018 - Australasian Journal of Logic 15 (2):151-170.
Paraconsistent Logic: Consistency, Contradiction and Negation.Abilio Rodrigues - 2021 - History and Philosophy of Logic 42 (3):300-306.

Analytics

Added to PP
2014-08-07

Downloads
697 (#26,133)

6 months
194 (#18,801)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Abilio Rodrigues
Federal University of Minas Gerais
Walter Carnielli
University of Campinas

Citations of this work

No citations found.

Add more citations

References found in this work

Dialetheism.Francesco Berto, Graham Priest & Zach Weber - 2008 - Stanford Encyclopedia of Philosophy 2018 (2018).
Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.

Add more references