The Dialogical Approach to Paraconsistency

  title={The Dialogical Approach to Paraconsistency},
  author={S. Rahman and Walter Alexandre Carnielli},
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… 

On Dialogues and Natural Deduction

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

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

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

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

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

Dialogues, Reasons and Endorsement

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

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

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

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



Dialogues and Ontology, the Dialogical Approach to Free Logic

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

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

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

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

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

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

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

  • N. Costa
  • Philosophy
    Notre 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

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

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