 |
Portail HAL - Université de Lille |  |
Introducing Consistency in a Dialogical Framework for Paraconsistent Logic
Abstract : Abstract The Logics of Formal Inconsistency are logics tolerant to some
amount of inconsistency but in which some versions of explosion still hold.
The main result of this paper is to provide a reconstruction of two such logics
in the dialogical framework. By doing so, we achieve two things. On the
one hand, we provide a formal approach to argumentative situations in which
some inconsistencies may occur while keeping the idea that there may still
be situations in which some propositions are “safe” in the sense of immune to
the contradictions. On the other hand, we open a new line of study on these
logics, in the context of the game-theoretical approach to semantics born in
the 1960s, with various interesting prospectives some of which are discussed
at the end of this work.
Littérature citée [19 références]
https://halshs.archives-ouvertes.fr/halshs-01609232
Contributeur : Shahid Rahman <>
Soumis le : lundi 9 octobre 2017 - 17:25:58
Dernière modification le : mardi 3 novembre 2020 - 09:54:03
Contributeur : Shahid Rahman <>
Soumis le : lundi 9 octobre 2017 - 17:25:58
Dernière modification le : mardi 3 novembre 2020 - 09:54:03