Topic: GENERAL LOGIC
Logics for Dialogue
By Alain Lecomte
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.
See it
Posted by Tony Marmo
at 00:01 GMT
Updated: Saturday, 1 January 2005 09:58 GMT
