Formal inconsistency and evolutionary databases

Logic and Logical Philosophy 8 (2):115-152 (2000)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
CARFIA-2
Revision history
Archival date: 2016-02-29
View upload history
References found in this work BETA
Paraconsistent Logic: Essays on the Inconsistent.Priest, G.; Routley, R. & Norman, J. (eds.)
On Inferences From Inconsistent Premises.Rescher, Nicholas & Manor, Ruth

Add more references

Citations of this work BETA
Non-Deterministic Algebraization of Logics by Swap Structures.Coniglio, Marcelo E.; Figallo-Orellano, Aldo & Golzio, Ana Claudia
A Recovery Operator for Nontransitive Approaches.Barrio, Eduardo Alejandro; Pailos, Federico & Szmuc, Damian

View all 34 citations / Add more citations

Added to PP index
2014-01-23

Total views
133 ( #25,422 of 45,594 )

Recent downloads (6 months)
17 ( #36,791 of 45,594 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.