Dialogical logic explained

Dialogical logic (also known as the logic of dialogues) was conceived as a pragmatic approach to the semantics of logic that resorts to concepts of game theory such as "winning a play" and that of "winning strategy".

Since dialogical logic was the first approach to the semantics of logic using notions stemming from game theory, game-theoretical semantics (GTS) and dialogical logic are often conflated under the term game semantics. However, as discussed below, though GTS and dialogical logic are both rooted in a game-theoretical perspective, in fact, they have quite different philosophical and logical background.

Nowadays it has been extended to a general framework for the study of meaning, knowledge, and inference constituted during interaction. The new developments include cooperative dialogues and dialogues deploying a fully interpreted language (dialogues with content).

Origins and further developments

The philosopher and mathematician Paul Lorenzen (Erlangen-Nürnberg-Universität) was the first to introduce a semantics of games for logic in the late 1950s. Lorenzen called this semantics 'dialogische Logik', or dialogic logic. Later, it was developed extensively by his pupil Kuno Lorenz (Erlangen-Nürnberg Universität, then Saarland). Jaakko Hintikka (Helsinki, Boston) developed a little later to Lorenzen a model-theoretical approach known as GTS.

Since then, a significant number of different game semantics have been studied in logic. Since 1993, and his collaborators have developed dialogical logic within a general framework aimed at the study of the logical and philosophical issues related to logical pluralism. More precisely, by 1995 a kind of revival of dialogical logic was generated that opened new and unexpected possibilities for logical and philosophical research. The philosophical development of dialogical logic continued especially in the fields of argumentation theory, legal reasoning, computer science, applied linguistics, and artificial intelligence.

The new results in dialogical logic began on one side, with the works of Jean-Yves Girard in linear logic and interaction; on the other, with the study of the interface of logic, mathematical game theory and argumentation, argumentation frameworks and defeasible reasoning, by researchers such as Samson Abramsky, Johan van Benthem, Andreas Blass, Nicolas Clerbout, Frans H. van Eemeren, Mathieu Fontaine, Dov Gabbay, Rob Grootendorst, Giorgi Japaridze, Laurent Keiff, Erik Krabbe, Alain Leconte, Rodrigo Lopez-Orellana, Sébasten Magnier, Mathieu Marion, Zoe McConaughey, Henry Prakken, Juan Redmond, Helge Rückert, Gabriel Sandu, Giovanni Sartor, Douglas N. Walton, and John Woods among others, who have contributed to place dialogical interaction and games at the center of a new perspective of logic, where logic is defined as an instrument of dynamic inference.

Five research programs address the interface of meaning, knowledge, and logic in the context of dialogues, games, or more generally interaction:

  1. The constructivist approach of Paul Lorenzen and Kuno Lorenz, who sought to overcome the limitations of operative logic by providing dialogical foundations to it. The method of semantic tableaux for classical and intuitionistic logic as introduced by Evert W. Beth (1955) could thus be identified as a method for the notation of winning strategies of particular dialogue games (Lorenzen/Lorenz 1978, Lorenz 1981, Felscher 1986). This, as mentioned above has been extended by Shahid Rahman and collaborators to a general framework for the study of classical and non-classical logics. Rahman and his team of Lille, in order to develop dialogues with content, enriched the dialogical framework with fully interpreted languages (as implemented within Per Martin-Löf's constructive type theory).
  2. The game-theoretical approach of Jaakko Hintikka, called GTS. This approach shares the game-theoretical tenets of dialogical logic for logical constants; but turns to standard model theory when the analysis process reaches the level of elementary statements. At this level standard truth-functional formal semantics comes into play. Whereas in the formal plays of dialogical logic P will loose both plays on an elementary proposition, namely the play where the thesis states this proposition and the play where he states its negation; in GTS one of both will be won by the defender. A subsequent development was launched by Johan van Benthem (and his group in Amsterdam) in his book Logic in Games, which combines the game-theoretical approaches with epistemic logic.
  3. The argumentation theory approach of Else M. Barth and Erik Krabbe (1982), who sought to link dialogical logic with the informal logic or critical reasoning originated by the seminal work of Chaïm Perelman (Perelman/Olbrechts-Tyteca 1958), Stephen Toulmin (1958), Arne Næss (1966) and Charles Leonard Hamblin (1970) and developed further by Ralph Johnson (1999), Douglas N. Walton (1984), John Woods (1988) and associates. Further developments include the argumentation framework of P.D. Dung and others, the defeasible reasoning approach of Henry Prakken and Giovanni Sartor, and pragma-dialectics by Frans H. van Eemeren and Rob Grootendorst.
  4. The ludics approach, initiated by Jean-Yves Girard, which provides an overall theory of proof-theoretical meaning based on interactive computation.
  5. The alternative perspective on proof theory and meaning theory, advocating that Wittgenstein's "meaning as use" paradigm as understood in the context of proof theory, where the so-called reduction rules (showing the effect of elimination rules on the result of introduction rules) should be seen as appropriate to formalise the explanation of the (immediate) consequences one can draw from a proposition, thus showing the function/purpose/usefulness of its main connective in the calculus of language .

According to the dialogical perspective, knowledge, meaning, and truth are conceived as a result of social interaction, where normativity is not understood as a type of pragmatic operator acting on a propositional nucleus destined to express knowledge and meaning, but on the contrary: the type of normativity that emerges from the social interaction associated with knowledge and meaning is constitutive of these notions. In other words, according to the conception of the dialogical framework, the intertwining of the right to ask for reasons, on the one hand, and the obligation to give them, on the other, provides the roots of knowledge, meaning and truth.[1]

Local and global meaning

As hinted by its name, this framework studies dialogues, but it also takes the form of dialogues. In a dialogue, two parties (players) argue on a thesis (a certain statement that is the subject of the whole argument) and follow certain fixed rules in their argument. The player who states the thesis is the Proponent, called P, and his rival, the player who challenges the thesis, is the Opponent, called O. In challenging the Proponent's thesis, the Opponent is requiring of the Proponent that he defends his statement.

The interaction between the two players P and O is spelled out by challenges and defences, implementing Robert Brandom's take on meaning as a game of giving and asking for reasons. Actions in a dialogue are called moves; they are often understood as speech-acts involving declarative utterances (assertions) and interrogative utterances (requests). The rules for dialogues thus never deal with expressions isolated from the act of uttering them.

The rules in the dialogical framework are divided into two kinds of rules: particle rules and structural rules. Whereas the first determine local meaning, the second determine global meaning.

Local meaning explains the meaning of an expression, independently of the rules setting the development of a dialogue. Global meaning sets the meaning of an expression in the context of some specific form of developing a dialogue.

More precisely:

In the most basic case, the particle rules set the local meaning of the logical constants of first-order classical and intuitionistic logic. More precisely the local meaning is set by the following distribution of choices:

The next section furnishes a brief overview of the rules for intuitionist logic and classical logic. For a complete formal formulation see,, .

The rules of the dialogical framework

The local meaning of the logical constants

Challenge: Y ?

Defense: X A/X B

(Defender has the choice to defend A or to defend B)

Challenge: Y ?L (for left)

Defense X A

Ataque: Y ?R (for right)

Defense X B

(Challenger has the choice to ask for A or to ask for B)

Challenge: Y A

Defense: X B

(Challenger has the right to ask for A by conceding herself A)

Challenge: Y A

Defense: (No defense is possible)

Challenge: Y ?t

Defense: X A[x/t]

(The challenger chooses)

Challenge: Y ?

Defense: X A[x/t]

(The defender chooses)

Structural rules: global meaning

RS 1 (Launching a dialogue or play)

Any play (dialogue) starts with the Proponent P stating a thesis (labelled move 0) and the Opponent O bringing forward some initial statement (if any).[2] The first move of O, labelled with 1, is an attack to the thesis of the dialogue.

Each subsequent move consists of one of the two interlocutors, bringing forward in turn either an attack against a previous statement of the opponent, or a defense of a previous attack of the antagonist.

RS 2i (Intuitionist rule)

X can attack any statement brought forward by Y, so far as the particle rules and the remaining structural rules allow it, or respond only to the last non-answered challenge of the other player.

Note: This last clause is known as the Last Duty First condition, and makes dialogical games suitable for intuitionistic logic (hence this rule's name).[3]

RS 2c (Classical rule)

X can attack any statement brought forward by Y, so far as the particle rules and the remaining structural rules allow it, or defend himself against any attack of Y (so far as the particle rules and the remaining structural rules allow it,)

RS 3 (Finiteness of plays)

Intuitionist rule

O can attack the same statement at most once.

P can attack the same statement some finite number of times.

Classic rule

O can attack the same statement or defend himself against an attack at most once.

P can an attack the same statement some finite number of times. The same restriction also holds for P's defences.[4]

RS 4 (Formal rule)

P can state an elementary proposition only if O has stated it before.

O always has the right to state elementary propositions (so far the rules of logical constants and other structural rules allow it).

Elementary propositions (in a formal dialogue) cannot be attacked.[5]

RS5 (Winning and end of a play)

The play ends when it is a player's turn to make a move but that player has no available move left. That player loses, the other player wins.

Validity and valid inferences

The notion of a winning a play is not enough to render the notion of inference or of logical validity.

In the following example, the thesis is of course not valid. However, P wins because O made the wrong choice. In fact, O loses the play since the structural rules do not allow her to challenge twice the same move.

OP
A ∧ (A⊃A)0.
1.?D [0]A⊃A2.
3.A [2]A4.
In move 0 P states the thesis. In move 2, O challenges the thesis by asking P to state the right component of the conjunction – the notation "[n]" indicates the number of the challenged move. In move 3 O challenges the 'implication by granting the antecedent. P responds to this challenge by stating the consequentn the just granted proposition A, and, since there are no other possible moves for O, P wins.

There is obviously another play, where O wins, namely, asking for the left side of the conjunction.

Dually a valid thesis can be lost because P this time, makes the wrong choice. In the following example P loses the play (played according to the intuitionistic rules) by choosing the left side of the disjunction A ∨(A⊃A), since the intuitionistic rule SR 2i prevents him to come back and revise his choice:

OP
(A ∧ B) ∨ (A⊃A)0.
1.?∨ [0]A ∧ B2.
3.?G [2]...
Hence, winning a play does not ensure validity. In order to cast the notion of validity within the dialogical framework we need to define what a winning strategy is. In fact, there are several ways to do it. For the sake of a simple presentation we will yield a variation of, however; different to his approach, we will not transform dialogues into tableaux but keep the distinction between play (a dialogue) and the tree of plays constituting a winning strategy.

Winning strategy

In dialogical logic validity is defined in relation to winning strategies for the proponent P.

  1. S has the move P A as root node (with depth 0),
  2. if the node is an O-move (i.e. if the depth of a node is odd), then it has exactly one successor node (which is a P-move),
  3. if the node is a P-move (i.e. if the depth of a node is even), then it has as many successor nodes as there are possible moves for O at this position.

Branches are introduced by O's choices such as when she challenges a conjunction or when she defends a disjunction.

Finite winning strategies

Winning strategies for quantifier-free formulas are always finite trees, whereas winning strategies for first-order formulas can, in general, be trees of countably infinitely many finite branches (each branch is a play).

For example, if one player states some universal quantifier, then each choice of the adversary triggers a different play. In the following example the thesis is an existential that triggers infinite branches, each of them constituted by a choice of P:

0.P∃x(A(x)⊃∀y A(y))
1.O ?∃
2.PA(t1)⊃∀y A(y)P A(t2)⊃∀y A(y)PA(t3)⊃∀y A(y)PA(t4)⊃∀y A(y)...
Infinite winning strategies for P can be avoided by introducing some restriction grounded on the following rationale

These lead to the following restrictions:

  1. If the depth of a node n is even such that P stated a universal at n, and if among the possible choice for O she can choose a new term, then this move counts as the only immediate successor node of n.
  2. If the depth of a node nis odd such that O stated an existential at n, and if among the possible choices for O she can choose a new term, then this move counts as the only immediate successor node of m, i.e. the node where P launched the attack on n.[6]
  3. If it is P who has the choice, then only one of the plays triggered by the choice will be kept.

The rules for local and global meaning plus the notion of winning strategy mentioned above set the dialogical conception of classical and intuitionistic logic.

Herewith an example of a winning strategy for a thesis valid in classical logic and non-valid in intuitionistic logic

0.P∃x(A(x)⊃∀y A(y)) (P sets the thesis)
1.O ?∃ (O challenges the thesis)
2.P A(t1)⊃∀y A(y) (P chooses "t1")
3.O A(t1) (O challenges the implication by granting the antecedent)
4.P ∀y A(x) (P answers by stating the consequent)
5.O ?t2 (O challenges the universal by choosing the new singular term "t2")
6.P A(t2)⊃∀y A(y) (P cames back to his response to the challenge launched in move 1 chooses to defend the existential this time with the term "t2")
7O A(t2) (O challenges the implication by granting the antecedent)
8P A(t2) (P ''uses''the last move of the Opponent to respond to the challenge upon the universal in move 5)
P has a winning strategy since the SR 2c allows him to defend twice the challenge on the existential. This further allows him to defend himself in move 8 against the challenge launched by the Opponent in move 5.

Defending twice is not allowed by the intuitionistic rule SR 2i and accordingly, there is no winning strategy for P:

0.P∃x(A(x)⊃∀y A(y)) (P sets the thesis)
1.O ?∃ (O challenges the thesis)
2.P A(t1)⊃∀y A(y) (P chooses "t1")
3.O A(t1) (O challenges the implication by granting the antecedent)
4.P ∀y A(x) (P answers by stating the consequent)
5.O ?t2 (O challenges the universal by choosing the new singular term "t2")

Further developments

Shahid Rahman (first at Universität des Saarlandes, then at Université de Lille)[7] and collaborators in Saarbrücken and Lille developed dialogical logic in a general framework for the historic and the systematic study of several forms of inferences and non-classical logics such as free logic,[8] (normal and non-normal) modal logic,[9] hybrid logic,[10] first-order modal logic,[11] paraconsistent logic,[12] linear logic, relevance logic,[13] connexive logic,[14] belief revision,[15] argumentation theory and legal reasoning.

Most of these developments are a result of studying the semantic and epistemological consequences of modifying the structural rules and/or of the logical constants. In fact, they show how to implement the dialogical conception of the structural rules for inference, such as weakening and contraction.[16]

Further publications show how to develop material dialogues (i.e., dialogues based on fully interpreted languages) that than dialogues restricted to logical validity.[17] This new approach to dialogues with content, called immanent reasoning,[18] is one of the results of the dialogical perspective on Per Martin-Löf's constructive type theory. Among the most prominent results of immanent reasoning are: the elucidation of the role of dialectics in Aristotle's theory of syllogism,[19] the reconstruction of logic and argumentation within the Arabic tradition,[20] and the formulation of cooperative dialogues for legal reasoning[21] and more generally for reasoning by parallelism and analogy.[22]

Further reading

Books

Articles

Notes and References

  1. This formulation can be seen as linking the perspective of Robert Brandom with that of the logic of dialogue. See Mathieu Marion (2009). For a discussion about what they have in common and what distinguishes both approaches, see .
  2. Here the term play is a synonym of dialogue in order to stress the fact that play is the fundamental notion of the dialogical framework.
  3. Challenges that are not have been responded yet are called open. In this setting, an attack on a negation will always remain open, since, according to its local meaning-rule, there is no defense to an attack on a negation. However, there is a variant of the rule for local meaning, where the defence consists in stating falsum ⊥. In the dialogical framework, the player who states falsum declares that he/she is giving up.
  4. Notice that since according to the intuitionistic rule RS2i, players can only defend the last open attack, no restriction on defences are necessary. and after him, did not restrict the number of attacks. This triggers infinite plays. Restrictions on the number of attacks and defences are known as repetitionranks. The most through study of repetition ranks has been developed by .
  5. A useful variant allows O to challenge elementary propositions. P defends against the attack with the indication sic n, i.e.,''you already stated this proposition in your move n''. Marion called this variant the Socratic rule; see Marion/Rückert (2015).
  6. For example:
    • Book: Clerbout, N. . La sémantique dialogique. Notions fondamentales et éléments de metathéorie . Cahiers de Logique et d'Epistemologie . 21 . College Publications . London . 2014 . 978-1-84890-153-7 .
    • Piecha . T. . Muhammad . I. . Dialogical Logic . .
    • Book: Rahman . S. . Klev . A. . McConaughey . Z. . Clerbout . N. . Immanent Reasoning or Equality in Action. A Plaidoyer for the Play level. . Springer . Dordrecht . 2018 .
  7. Web site: Shahid Rahman Curriculum Vitae . 17 June 2019 . Shahid . Rahman . 2018 . en.
  8. For example:
    • Rahman . S. . Fishmann . M. . Rückert . H. . On Dialogues and Ontology. The Dialogical Approach to Free Logic . 1997 . . 160 . 357–374.
    • Rahman . S. . Hugh MacColl's Ontological Domains . 2010 . Kairos. Revista de Filosofía y Ciencia . 1 . 7–24.
    • Rahman . S. . Fontaine . M. . Towards a Semantics for the Artifactual Theory of Fiction and Beyond . 2014 . . 191 . 3 . 499–516. 10.1007/s11229-013-0287-z . 43292666 .
  9. Rahman . S. . Rückert . H. . Dialogische Modallogik (für T, B, S4, und S5) . 1999 . Logique et Analyse . 42 . 167/168 . 243–282 . 44084659 .
  10. Rahman . S. . Damien . L. . Gorisse . M.H. . La dialogique temporelle ou Patrick Blackburn par lui même . 2004 . Philosophia Scientiae . 8 . 2 . 39–59.
  11. Rahman . S. . Clerbout . N. . Gorisse . M.H. . Context Sensitivity in Jain Philosophy. A Dialogical Study of Siddharsigani's Commentary on the Handbook of Logic . 2011 . . 40 . 5 . 633–662. 10.1007/s10992-010-9164-0 . 1854/LU-4264208 . 2034776 . free .
  12. For example:
    • Rahman . S. . Carnielli . W. . Rückert . H. . The Dialogical Approach to Paraconsistency . 2001 . Synthese . 125 . 1–2 . 201–232. 10.1023/A:1005294523930 . 16215985 .
    • Book: Rahman, S. . On Frege's Nightmare. A Combination of Intuitionistic, Free and Paraconsistent Logics . Wansing . H. . Essays on Non-Classical Logic . World Scientific . New Jersey, London, Singapore, Hong Kong . 61–85 . 2001 .
    • Barrio . E. . Clerbout . N. . Rahman . S. . Introducing Consistency in a Dialogical Framework for Paraconsistent Logic . 2018 . Logic Journal of the IGPL . 28 . 5 . 953–972 . 10.1093/jigpal/jzy069.
  13. Book: Rahman, S. . Negation in the Logic of First Degree Entailment and Tonk. A Dialogical Study . Rahman. . S. . Primiero. . G. . Marion . M. . (Anti)Realism. The Realism-Realism Debate in the Age of Alternative Logics . Springer . Dordrecht . 175–202 . 2012 .
  14. Rahman . S. . Rückert . H. . Dialogical Connexive Logic . 2001 . Synthese . 125 . 1–2 . 105–139. 10.1023/A:1010351931769 . 207637306 .
  15. Book: Rahman . S. . Fiutek . V. . Rückert . H. . A Dialogical Semantics for Bonanno's System of Belief Revision . Bour . P. . Constructions . College Publications . London . 315–334 . 2010 .
  16. This has been also studied in the context of cooperative dialogues for the search of structural rules; see Keiff (2007). These results seems to have been unnoticed in .
  17. These publications respond to old and new criticism to dialogic logic such as the ones of and .
  18. For example:
    • Rahman . S. . Jovanovic . R. . Clerbout . N. . The Dialogical Take on Martin-Löf's Proof of the Axiom of Choice . 2015 . South American Journal of Logic . 1 . 1 . 179–208.
    • Rahman . S. . Redmond . J. . Armonía Dialógica. Tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos . 2016 . . 31 . 1 . 27–53. 10.1387/theoria.13949 . free . 10810/39604 . free .
    • Book: Rahman . S. . Klev . A. . McConaughey . Z. . Clerbout . N. . Immanent Reasoning and the Dialogical Approach to Constructive Type Theory. A Plaidoyer for the Play level . Springer . Dordrecht . 2018 .
  19. Crubellier . M. . Marion . M. . McConaughey . Z. . Rahman . S. . Dialectic, The Dictum de Omni and Ecthesis . 2019 . History and Philosophy of Logic . 40 . 3 . 207–233 . 10.1080/01445340.2019.1586623 . 125413771 . 20.500.12210/73764 . free .
  20. Rahman . S. . Granström . J. . Salloum . Z. . Ibn Sina's Approach to equality and unity . 2014 . Arabic Sciences and Philosophy . 4 . 2 . 297–307. 10.1017/S0957423914000046 . 121441717 .
  21. Book: Rahman, S. . On Hypothetical Judgements and Leibniz's Notion of Conditional Right . Armgardt. . M. . Canivez. . P. . Chassagnard-Pinet. . S. . Past and Present Interactions in Legal Reasoning and Logic . 7 . Springer . Cham . 109–168 . 2015 .
  22. Rahman . S. . Muhammad . I. . Unfolding parallel reasoning in islamic jurisprudence. Epistemic and Dialectical Meaning within Abū Isḥāq al-Shīrāzī's System of Co-Relational Inferences of the Occasioning Factor . 2018 . Arabic Sciences and Philosophy . 28 . 67–132. 10.1017/S0957423917000091 . 171240078 .

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Dialogical logic".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.