Metodo

International Studies in Phenomenology and Philosophy

Book | Chapter

187386

From games to dialogues and back

Shahid Rahman Tero Tulenheimo

pp. 153-208

Abstract

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.

Pages: 153-208

DOI: 10.1007/978-1-4020-9374-6_8

Full citation:

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.