Accéder directement au contenu Accéder directement à la navigation
Pré-publication, Document de travail

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.
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

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

Identifiants

  • HAL Id : halshs-01609232, version 1

Collections

Citation

Eduardo Barrio, Nicolas Clerbout, Shahid Rahman. Introducing Consistency in a Dialogical Framework for Paraconsistent Logic. 2017. ⟨halshs-01609232⟩

Partager

Métriques

Consultations de la notice

137

Téléchargements de fichiers

255