Alexandre Costa-Leite
Universidade de Brasília
Diogo Dias
State University of Northern Parana - UENP
This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, we study the case of paraconsistentization of propositional classical logic.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/11663081.2016.1225487
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

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

References found in this work BETA

Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
On Inferences From Inconsistent Premises.Nicholas Rescher & Ruth Manor - 1970 - Theory and Decision 1 (2):179-217, 1970-1971.
Logic, Semantics, Metamathematics.L. Jonathan Cohen - 1958 - Philosophical Quarterly 8 (30):87-88.

View all 10 references / Add more references

Citations of this work BETA

Pluralismo, Monismo e Relativismo Lógico.Diogo Dias - 2018 - Revista de Filosofia Moderna E Contemporânea 6 (2):21-36.

Add more citations

Similar books and articles

The Category of MV-Pairs.Antonio Di Nola, Michal Holčapek & Gejza Jenča - 2009 - Logic Journal of the IGPL 17 (4):395-412.
Instituciones y heterogeindad.Juan B. Climent Vidal - 1992 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):65-85.
More Existence Theorems for Recursion Categories.Florian Lengyel - 2004 - Annals of Pure and Applied Logic 125 (1-3):1-41.
Two Weak Lambek-Style Calculi: DNL and DNL.Wojciech Zielonka - 2012 - Logic and Logical Philosophy 21 (1):53-64.
First-Order da Costa Logic.Graham Priest - 2011 - Studia Logica 97 (1):183 - 198.


Added to PP index

Total views
28 ( #405,898 of 2,499,060 )

Recent downloads (6 months)
3 ( #209,823 of 2,499,060 )

How can I increase my downloads?


My notes