Towards a philosophical understanding of the logics of formal inconsistency

Manuscrito 38 (2):155-184 (2015)
  Copy   BIBTEX


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 show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence.

Similar books and articles

Paraconsistent Logic: Consistency, Contradiction and Negation.Abilio Rodrigues - 2021 - History and Philosophy of Logic 42 (3):300-306.
Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.


Added to PP

765 (#22,919)

6 months
166 (#25,363)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

References found in this work

The Frege reader.Gottlob Frege & Michael Beaney (eds.) - 1997 - Cambridge: Blackwell.
Intuitionism: An Introduction.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
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.
Intuitionism. An Introduction.Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.

View all 6 references / Add more references