Hintikka’s Take on the Axiom of Choice and the Constructivist Challenge


  • Radmila Jovanović University of Belgrade, Dept. Philosophy; Université de Lille




Axiom of choice, Independence Friendly Logic, Game Theoretical Semantics, Constructive Type Theory


In the present paper we confront Martin- Löf’s analysis of the axiom of choice with J. Hintikka’s standing on this axiom. Hintikka claims that his game theoretical semantics (GTS) for Independence Friendly Logic (IF logic) justifies Zermelo’s axiom of choice in a first-order way perfectly acceptable for the constructivists. In fact, Martin- Löf’s results lead to the following considerations:

  1. Hintikka preferred version of the axiom of choice is indeed acceptable for the constructivists and its meaning does not involve higher order logic.
  2. However, the version acceptable for constructivists is based on an intensional take on functions. Extensionality is the heart of the classical understanding of Zermelo’s axiom and this is the real reason behind the constructivist rejection of it.
  3. More generally, dependence and independence features that motivate IF-Logic, can be formulated within the frame of constructive type theory (CTT) without paying the price of a system that is neither axiomatizable nor has an underlying theory of inference – logic is about inference after all.

We conclude pointing out that recent developments in dialogical logic show that the CTT approach to meaning in general and to the axiom of choice in particular is very natural to game theoretical approaches where (standard) metalogical features are explicitly displayed at the object language-level. Thus, in some way, this vindicates, albeit in quite of a different manner, Hintikka’s plea for the fruitfulness of game-theoretical semantics in the context of the foundations of mathematics.

Author Biography

Radmila Jovanović, University of Belgrade, Dept. Philosophy; Université de Lille

Formation: 2001-2007 Faculty of Philosophy at University of Belgrade 2007- 2008 master 2 at University Charles-de-Gaule, Lille 3 2008 Entered a PHD studies as co-tutelle between University Charlesde-Gaule, Lille 3 and University of Belgrade.

Schoolarships: 2002 Scholarship from foundation "Dragoslav Srejović" in Kragujevac 2003 Scholarship from Norway government for 500 best students in Serbia 2005 Scholarship for students "Connaissance de la France" from French government 2007 One year scholarship from French government for master 2 studies at University Charles-de-Gaule, Lille 3 2008 Scholarship for PHD studies from Serbian government 2009 Scholarship "co-tutelle" for PHD studies from French government .

Membership in scientific organisations: Since 2005 member of Network "Offres"( l’Organisation Francophone de Formation et Recherche Européene en Science Humaines )



How to Cite

Jovanović, R. (2013). Hintikka’s Take on the Axiom of Choice and the Constructivist Challenge. Revista De Humanidades De Valparaíso, (2), 135–150. https://doi.org/10.22370/rhv2013iss2pp135-150




Similar Articles

1 2 3 4 5 6 7 8 9 10 > >> 

You may also start an advanced similarity search for this article.