Logica Universalis 5 (1):165-176 (2011)
Abstract |
Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation ( ${\neg}$ ) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come out. The first one is that the notion of inconsistency of paraconsistent logics turns out to be a formula-dependent notion and the second one is that the characterization (i.e. equivalence) appears to be pertinent to a class of paraconsistent logics which have double negation property
|
Keywords | Paraconsistent logic non-explosiveness inconsistency double-negation |
Categories | (categorize this paper) |
DOI | 10.1007/s11787-011-0029-2 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Paraconsistent Logic: Essays on the Inconsistent.G. Priest, R. Routley & J. Norman (eds.) - 1989 - Philosophia Verlag.
Investigations Into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Natural 3-Valued Logics—Characterization and Proof Theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
Star and Perp: Two Treatments of Negation.J. Michael Dunn - 1993 - Philosophical Perspectives 7:331-357.
Citations of this work BETA
Sound Reasoning : Prospects and Challenges of Current Acoustic Logics.Marc Champagne - 2015 - Logica Universalis 9 (3):331-343.
Similar books and articles
Yes, Virginia, There Really Are Paraconsistent Logics.Bryson Brown - 1999 - Journal of Philosophical Logic 28 (5):489-500.
Contradiction and Contrariety. Priest on Negation.Heinrich Wansing - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.
Some Definitions of Negation Leading to Paraconsistent Logics.M. W. Bunder - 1984 - Studia Logica 43 (1-2):75 - 78.
Nearly Every Normal Modal Logic is Paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
Weakening of Intuitionistic Negation for Many-Valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
On the Philosophical Motivations for the Logics of Formal Consistency and Inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
The Basic Constructive Logic for Negation-Consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
Possible-Translations Semantics for Some Weak Classically-Based Paraconsistent Logics.João Marcos - 2008 - Journal of Applied Non-Classical Logics 18 (1):7-28.
The Basic Constructive Logic for a Weak Sense of Consistency.Gemma Robles & José M. Méndez - 2008 - Journal of Logic, Language and Information 17 (1):89-107.
Analytics
Added to PP index
2013-11-24
Total views
32 ( #319,152 of 2,401,778 )
Recent downloads (6 months)
3 ( #257,343 of 2,401,778 )
2013-11-24
Total views
32 ( #319,152 of 2,401,778 )
Recent downloads (6 months)
3 ( #257,343 of 2,401,778 )
How can I increase my downloads?
Downloads