2007 | OriginalPaper | Buchkapitel
Logics of Formal Inconsistency
verfasst von : Walter Carnielli, Marcelo E. Coniglio, João Marcos
Erschienen in: Handbook of Philosophical Logic
Verlag: Springer Netherlands
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In traditional logic, contradictoriness (the presence of contradictions in a theory or in a body of knowledge) and triviality (the fact that such a theory entails all possible consequences) are assumed inseparable, granted that negation is available. This is an effect of an ordinary logical feature known as ‘explosiveness’: According to it, from a contradiction ‘α and ¬α’ everything is derivable. Indeed, classical logic (and many other logics) equate ‘consistency’ with ‘freedom from contradictions’. Such logics forcibly fail to distinguish, thus, between contradictoriness and other forms of inconsistency. Paraconsistent logics are precisely the logics for which this assumption is challenged, by the rejection of the classical ‘consistency presupposition’.