, Volume 190, Issue 4, pp 743–779

How to Lewis a Kripke–Hintikka


DOI: 10.1007/s11229-012-0201-0

Cite this article as:
Torza, A. Synthese (2013) 190: 743. doi:10.1007/s11229-012-0201-0


It has been argued that a combination of game-theoretic semantics and independence-friendly (IF) languages can provide a novel approach to the conceptual foundations of mathematics and the sciences. I introduce and motivate an IF first-order modal language endowed with a game-theoretic semantics of perfect information. The resulting interpretive independence-friendly logic (IIF) allows to formulate some basic model-theoretic notions that are inexpressible in the ordinary quantified modal logic. Moreover, I argue that some key concepts of Kripke’s new theory of reference are adequately modeled within IIF. Finally, I compare the logic IIF to David Lewis counterpart theory, drawing some morals concerning the interrelation between metaphysical and semantic issues in possible-world semantics.


Independence-friendly logicGame-theoretic semanticsCounterpart theoryRigidityPossible-world semanticsEssentialism

Copyright information

© Springer Science+Business Media Dordrecht 2012

Authors and Affiliations

  1. 1.Universität Tübingen, Philosophisches SeminarTübingenGermany