Formal inconsistency and evolutionary databases

Logic and Logical Philosophy 8 (2):115-152 (2000)
  Copy   BIBTEX

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.

Author Profiles

Joao Marcos
Universidade Federal do Rio Grande do Norte
Walter Carnielli
University of Campinas

Analytics

Added to PP
2014-01-23

Downloads
463 (#32,391)

6 months
129 (#22,623)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?