Logic and Logical Philosophy 8 (2):115-152 (2000)
Authors |
|
Abstract |
This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning.
|
Keywords | logic paraconsistency databases |
Categories | (categorize this paper) |
DOI | 10.12775/LLP.2000.008 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Paraconsistent Logic: Essays on the Inconsistent.Graham Priest, Richard Routley & Jean Norman (eds.) - 1989 - Philosophia Verlag.
On Inferences From Inconsistent Premises.Nicholas Rescher & Ruth Manor - 1970 - Theory and Decision 1 (2):179-217, 1970-1971.
Paraconsistent extensional propositional logics.Diderik Batens - 1980 - Logique and Analyse 90 (90):195-234.
Citations of this work BETA
Non-Deterministic Algebraization of Logics by Swap Structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
A Recovery Operator for Nontransitive Approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Review of Symbolic Logic 13 (1):80-104.
A Computational Interpretation of Conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.
Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.
View all 47 citations / Add more citations
Similar books and articles
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.
Applications of Paraconsistency in Data and Knowledge Bases.John Grant & V. S. Subrahmanian - 2000 - Synthese 125 (1-2):121-132.
Inconsistency-Adaptive Modal Logics. On How to Cope with Modal Inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.
Two Semantical Approaches to Paraconsistent Modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (in)Consistency.Arnon Avron - manuscript
Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (In)Consistency.Arnon Avron - unknown
Modal Extensions of Sub-Classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
5-Valued Non-Deterministic Semantics for The Basic Paraconsistent Logic mCi.Arnon Avron - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Paraconsistency and Plausible Argumentation in Generative Grammar: A Case Study. [REVIEW]András Kertész & Csilla Rákosi - 2013 - Journal of Logic, Language and Information 22 (2):195-230.
Contradiction and Contrariety. Priest on Negation.Heinrich Wansing - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.
Analytics
Added to PP index
2014-01-23
Total views
201 ( #57,566 of 2,504,815 )
Recent downloads (6 months)
17 ( #50,004 of 2,504,815 )
2014-01-23
Total views
201 ( #57,566 of 2,504,815 )
Recent downloads (6 months)
17 ( #50,004 of 2,504,815 )
How can I increase my downloads?
Downloads