Metodo

International Studies in Phenomenology and Philosophy

Book | Chapter

211921

Formal (in)consistency, abduction and modalities

Juliana Bueno-Soler Walter Carnielli Marcelo Coniglio

pp. 315-335

Abstract

This chapter proposes a study of philosophical and technical aspects of logics of formal inconsistency (LFI s), a family of paraconsistent logics that have resources to express the notion of consistency inside the object language. This proposal starts by presenting an epistemic approach to paraconsistency according to which the acceptance of a pair of contradictory propositions A and ( eg A) does not imply accepting both as true. It is also shown how LFIs may be connected to the problem of abduction by means of tableaux that indicate possible solutions for abductive problems. The connection between the notions of modalities and consistency is also worked out, and some LFIs based on positive modal logics (called anodic modal logics), are surveyed, as well as their extensions supplied with different degrees of negations (called cathodic modal logics). Finally, swap structures are explained as new and interesting semantics for the LFIs, and shown to be as a particular important case of the well-known possible-translations semantics (PTS ).

Publication details

Published in:

Magnani Lorenzo, Bertolotti Tommaso (2017) Springer handbook of model-based science. Dordrecht, Springer.

Pages: 315-335

DOI: 10.1007/978-3-319-30526-4_15

Full citation:

Bueno-Soler Juliana, Carnielli Walter, Coniglio Marcelo (2017) „Formal (in)consistency, abduction and modalities“, In: L. Magnani & T. Bertolotti (eds.), Springer handbook of model-based science, Dordrecht, Springer, 315–335.