Logics for Dialogue

Alain Lecomte (1, 2)

1 SFL - Structures Formelles du Langage
2 CLIPS - IMAG - Communication Langagière et Interaction Personne-Système

This paper is essentially a survey of some logical approaches to dialogue. We start with Dialogical Logic, which was initiated ny Lorenzen and has mainly been explored as a new foundation for logics. We continue with Hintikka's Game Theoretical Semantics. The two perspectives, if different in their objectives, could be mixed for applicative purposes like the treatment of argumentative dialogues: this requires that they be recast in a neutral form, which consists in Dialogue Games in Extensive Form. Nevertheless, to stay at one level of elementary language games is not sufficent: in every day life, games are combined. at this point, it seems that the Game-Theoretic interpretation of Linear Logic provides us with the appropriate tool for combining elementary games of various kinds.

Cet article est un survol des approches logiques du dialogue. Il commence avec la logique dialogique de Lorenzen et se poursuit avec la sémantique théorie des jeux de Hintikka. On essaie de combiner les deux perspectives afin de rendre compte des dialogues argumentatifs, ceci requiert simplement qu'elles soient toutes les deux reformulées dans un cadre neutre fourni par les jeux de dialogue en forme extensive. Mais on ne saurait rester au niveau des jeux de langage élémentaires. La vie de tous les jours nous confronte avec des situations où les jeux sont combinés entre eux. Il semble alors que l'interprétation "théorie des jeux" de la logique linéaire nous donne alors l'outil approprié.

Mots clés: dialogue; dialogical logic; game theory; linear logic; game theoretic interpretation of linear logic

Mots clés: logiques du dialogue; théorie des jeux; logique linéaire; interprétation théorie des jeux de la logique linéaire

Domaines: Linguistique

Alain Lecomte. Logics for Dialogue. 2007. ⟨halshs-00122732⟩