Introducing consistency in a dialogical framework for paraconsistent logic

Logic Journal of the IGPL 28 (5):953-972 (2020)
  Copy   BIBTEX


The logics of formal inconsistency are logics tolerant to some amount of contradiction, 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 contradictions 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.



    Upload a copy of this work     Papers currently archived: 94,678

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

14 (#1,018,698)

6 months
8 (#529,044)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Eduardo Alejandro Barrio
Universidad de Buenos Aires (UBA)
Shahid Rahman
Université Charles-de-Gaulle - Lille 3

References found in this work

On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.

View all 14 references / Add more references