Introducing Consistency in a Dialogical Framework for Paraconsistent Logic

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 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 where some inconsistencies may occur while keeping the idea that there may still be situations in which some propositions are " safe " in the sense of immunity 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 perspectives, some of which are discussed at the end of this article.
Liste complète des métadonnées

Cited literature [19 references]  Display  Hide  Download

https://halshs.archives-ouvertes.fr/halshs-01689148
Contributor : Shahid Rahman <>
Submitted on : Sunday, January 21, 2018 - 12:41:19 AM
Last modification on : Wednesday, April 17, 2019 - 4:06:02 PM
Document(s) archivé(s) le : Sunday, April 22, 2018 - 12:11:28 PM

File

[final]Barrio-Clerbout-Rahman_...
Files produced by the author(s)

Identifiers

  • HAL Id : halshs-01689148, version 1

Collections

Citation

Eduardo Barrio, Nicolas Clerbout, Shahid Rahman. Introducing Consistency in a Dialogical Framework for Paraconsistent Logic. Logic Journal of the Interest Group in Pure and Applied Logic (IGPL), In press. ⟨halshs-01689148⟩

Share

Metrics

Record views

153

Files downloads

122