From games to dialogues and back
pp. 153-208
in: Ondrej Majer, Pietarinen, Tero Tulenheimo (eds), Games, Berlin, Springer, 2009Abstract
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.
