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.
Type de document :
Article dans une revue
Logic Journal of the Interest Group in Pure and Applied Logic (IGPL), In press
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-01689148
Contributeur : Shahid Rahman <>
Soumis le : dimanche 21 janvier 2018 - 00:41:19
Dernière modification le : lundi 23 juillet 2018 - 12:31:45
Document(s) archivé(s) le : dimanche 22 avril 2018 - 12:11:28

Fichier

[final]Barrio-Clerbout-Rahman_...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

124

Téléchargements de fichiers

53