Logica Universalis 15 (3):271-289 (2021)

Authors
Alexandre Costa-Leite
Universidade de Brasília
Diogo Dias
State University of Northern Parana - UENP
Abstract
Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets. Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract logics. To conclude, the conceptual notion paraconsistent orbit of a logic is proposed.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11787-021-00284-3
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 68,916
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.
On the Theory of Inconsistent Formal Systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
On Inferences From Inconsistent Premises.Nicholas Rescher & Ruth Manor - 1970 - Theory and Decision 1 (2):179-217, 1970-1971.

View all 16 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Paraconsistent Logic.David Ripley - 2015 - Journal of Philosophical Logic 44 (6):771-780.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.
Yes, Virginia, There Really Are Paraconsistent Logics.Bryson Brown - 1999 - Journal of Philosophical Logic 28 (5):489-500.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
Nelson's paraconsistent logics.Seiki Akama - 1999 - Logic and Logical Philosophy 7:101.
Meeting Hintikka's Challenge to Paraconsistentism.Walter Carnielli - 2009 - Principia: An International Journal of Epistemology 13 (3):283-297.
Paraconsistency, Self-Extensionality, Modality.Arnon Avron & Anna Zamansky - 2020 - Logic Journal of the IGPL 28 (5):851-880.
Paraconsistent Logics Included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.

Analytics

Added to PP index
2021-07-11

Total views
17 ( #632,639 of 2,497,818 )

Recent downloads (6 months)
7 ( #102,504 of 2,497,818 )

How can I increase my downloads?

Downloads

My notes