Buch | Kapitel
From games to dialogues and back
pp. 153-208
Abstrakt
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
Published in:
Majer Ondrej, Pietarinen Ahti-Veikko J., Tulenheimo Tero (2009) Games: unifying logic, language, and philosophy. Dordrecht, Springer.
Seiten: 153-208
DOI: 10.1007/978-1-4020-9374-6_8
Referenz:
Rahman Shahid, Tulenheimo Tero (2009) „From games to dialogues and back“, In: O. Majer, A. J. Pietarinen & T. Tulenheimo (eds.), Games, Dordrecht, Springer, 153–208.