# The Dialogical Approach to Paraconsistency

@article{Rahman2004TheDA, title={The Dialogical Approach to Paraconsistency}, author={S. Rahman and Walter Alexandre Carnielli}, journal={Synthese}, year={2004}, volume={125}, pages={201-232} }

Being a pragmatic and not a referential approach tosemantics, the dialogical formulation ofparaconsistency allows the following semantic idea tobe expressed within a semi-formal system: In anargumentation it sometimes makes sense to distinguishbetween the contradiction of one of the argumentationpartners with himself (internal contradiction) and thecontradiction between the partners (externalcontradiction). The idea is that externalcontradiction may involve different semantic contextsin which…

## 35 Citations

### On Dialogues and Natural Deduction

- Philosophy
- 2009

The dialogical approach to logic has well known relations with other proof methods, like sequent calculi and semantic tableaux. In this paper we explore the connection between dialogues and natural…

### Introducing consistency in a dialogical framework for paraconsistent logic

- PhilosophyLog. J. IGPL
- 2020

This paper reconstructs two logics of formal inconsistency tolerant to some amount of contradiction, but in which some versions of explosion still hold, and opens a new line of study on these logics, in the context of the game-theoretical approach to semantics born in the 1960s.

### Dialogical Connexive Logic

- PhilosophySynthese
- 2004

This paper introduces dialogical games with the help of a new connexive If-Then (“→”), the structural rules of which allow the Proponent to develop (formal) winning strategies not only for the above-mentioned Connexive theses but also for (a → b) → ¬(a →¬ b) and (a→ b)→ ¬ (¬ a → b).

### Dialogues as a Dynamic Framework for Logic

- Philosophy
- 2011

Dialogical logic is a game-theoretical approach to logic. Logic is studied with the help of certain games, which can be thought of as idealized argumentations. Two players, the Proponent, who puts…

### Paraconsistency And Dialogue Logic Critical Examination And Further Explorations

- PhilosophySynthese
- 2004

It is claimed that dialogue logic is the best-suited instrument to analyse paradoxes of the Sorites type.

### Dialogues, Reasons and Endorsement

- PhilosophyConstructive Semantics
- 2019

The main aim of the present paper is to show that, if we follow the dialogical insight that reasoning and meaning are constituted during interaction, and we develop this insight in a dialogical…

### On How to Be a Dialogician

- PhilosophyLogic, Thought and Action
- 2005

The aim here will be to present the main technical and philosophical features of what can be seen as the dialogical approach to logic, illustrated through both very well known and new dialogics, and delineate the common pragmatic attitude which constitutes the cohesive force within the dialogicals universe.

### Inconsistency-Adaptive Dialogical Logic

- PhilosophyLogica Universalis
- 2016

The machinery of Batens’ approach is used to extend the paraconsistent approach to dialogical logic as developed by Rahman and Carnielli to obtain a dynamic mechanism for the systematic study of dialogues in which two parties exchange arguments over a central claim, in the possible presence of inconsistencies.

### 3 Bracketing and Paraconsistency

- Philosophy
- 2016

In this paper, we discuss Hintikka’s theory of interrogative approach to inquiry with a focus on bracketing. First, we dispute the use of bracketing in interrogative models of inquiry arguing that…

## References

SHOWING 1-10 OF 57 REFERENCES

### Dialogues and Ontology, the Dialogical Approach to Free Logic

- Philosophy
- 1997

Being a pragmatic and not a referential approach to semantics, dialogi-cal logic does not understand semantics as mapping names, propositions and relationships into the real world to obtain an…

### Paraconsistency And Dialogue Logic Critical Examination And Further Explorations

- Philosophy
- 2001

The first part of this paper presents asympathetic and critical examination of the approachof Shahid Rahman and Walter Carnielli, as presented intheir paper “The Dialogical Approach…

### Contextual Negations and Reasoning with Contradictions

- Computer Science, PhilosophyIJCAI
- 1991

The logical basis for mod elling the phenomenon of reasoning in the pres ence of contradiction is introduced, by identifying this prob lem with the notion of change of context, which offers a new interpreta tion to certain paraconsistent logics which al lows the application of them to automated rea soning and knowledge representation.

### Ways of understanding hugh Maccoll's concept of symbolic existence

- Philosophy
- 1998

Hugh MacColl (1837-1909) proposed, in several papers, a non-standard way of understanding the ontology underlying what we today call quantified propositions. His ideas, mixed with reflections about…

### Maximal weakly-intuitionistic logics

- Computer ScienceStud Logica
- 1995

This article introduces the three-valuedweakly-intuitionistic logicI1 as a counterpart of the paraconsistent calculusP1 studied in [11], and shows that I1 is algebraizable in the sense of Block and Pigozzi (cf. [2]).

### A categorial approach to the combination of logics

- Computer Science, Philosophy
- 1999

This paper shows that the notion of possible-translations semantics, introduced in previous papers by the author, can be described in categorial terms and provides illustrative cases for many-valued and paraconsistent logics.

### Paraconsistent logics

- Philosophy, Computer Science
- 1998

This chapter discusses the need to derive reasonable inferences without deriving the trivial inferences that follow the ex falso quodlibet proof rule that holds in classical logic.

### On the theory of inconsistent formal systems

- PhilosophyNotre Dame J. Formal Log.
- 1974

Introduction This is an expository work,* in which we shall treat some questions related to the theory of inconsistent formal systems. The exposition will be neither rigorous nor complete. For…

### Systematization of finite many-valued logics through the method of tableaux

- MathematicsJournal of Symbolic Logic
- 1987

It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way and abstract versions of the completeness theorem, model existence theorem, compactness theorem and Lowenheim-Skolem theorem are obtained.

### First-Order Logic

- Mathematics
- 1968

I. Propositional Logic from the Viewpoint of Analytic Tableaux.- I. Preliminaries.- 0. Foreword on Trees.- 1. Formulas of Propositional Logic.- 2. Boolean Valuations and Truth Sets.- II. Analytic…