Semantical games, subgames, and functional interpretations

pp. 47-76

in: Jaakko Hintikka, The game of language, Berlin, Springer, 1983

Abstract

There is a way of looking at game-theoretical semantics (GTS) that is not directly related either to its philosophical motivation or to some of its linguistic applications, but that establishes potentially interesting links between it and certain developments in logic and in the foundations of mathematics.¹ These links have not been examined in detail in the literature, but they appear extremely promising. In order to see these links, a certain idea introduced into GTS by Hintikka and Carlson is needed: the idea of a subgame.²