Repository | Book | Chapter
(2009) Games, Dordrecht, Springer.
In this article two game-theoretically flavored approaches to logic are systematically compared: dialogical logic founded by Paul Lorenzen and Kuno Lorenz, and the game-theoretical semantics of Jaakko Hintikka. For classical proposi-tional logic and for classical first-order logic, an exact connection between "in-tuitionistic dialogues with hypotheses' and semantic games is established. Various questions of a philosophical nature are also shown to arise as a result of the comparison, among them the relation between the model-theoretic and proof-theoretic approaches to the philosophy of logic and mathematics.
Publication details
DOI: 10.1007/978-1-4020-9374-6_8
Full citation:
Rahman, S. , Tulenheimo, T. (2009)., From games to dialogues and back, in O. Majer, A. J. Pietarinen & T. Tulenheimo (eds.), Games, Dordrecht, Springer, pp. 153-208.
This document is unfortunately not available for download at the moment.