Logics for Dialogue
Alain Lecomte · HAL (Le Centre pour la Communication Scientifique Directe) · 2007
This paper is essentially a survey of some logical approaches to dialogue. We start with Dialogical Logic, which was initiated by Lorenzen and has mainly been explored as a new foundation for logics. It continues with Hintikka’s Game Theoretical Semantics, which has been more developed in contact with Natural Language. For instance, we show how to deal with generalized quantifiers by using games, after ideas taken from Ahti Pietarinen. 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 sufficient: 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. 1