The Dialogical Take on the Axiom of Choice, and Its Translation into CTT

  • Nicolas ClerboutEmail author
  • Shahid Rahman
Part of the SpringerBriefs in Philosophy book series (BRIEFSPHILOSOPH)


To illustrate the translation procedure described in the previous chapter, here is what is known as the intensional formulation of the Axiom of Choice.


Choice Function Winning Strategy Equality Rule Elimination Rule Introduction Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Bell, J. 2009. The Axiom of Choice. London: College Publications.Google Scholar
  2. Bernays, P. 1930. Die Philosophie der Mathematik und die Hilbertsche Beweistheorie. Blätter für deutsche Philosophie 4: 326–367. (Translated in Mancosu (1998)).Google Scholar
  3. Hintikka, J. 1996a. The Principles of Mathematics Revisited. Cambridge: Cambridge University Press.Google Scholar
  4. Hintikka, J. 1996b. Lingua Universalis versus Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy. Dordrecht: Kluwer.Google Scholar
  5. Jovanovic, R. Hintikka’s take on the axiom of choice and the constructivist challenge. To appear in Revista de Humanidades de Valparaiso.Google Scholar
  6. Lorenz, K. 1970. Elemente der Sprachkritik: Eine Alternative zum Dogmatismus und Skeptizismus in der Analytischen Philosophie. Frankfurt/Main: Suhrkamp.Google Scholar
  7. Mancosu, P. 1998. From Brouwer to Hilbert. Oxford: Oxford University Press.Google Scholar
  8. Martin-Löf, P. 1984. Intuitionistic Type Theory. Naples: Bibliopolis. Notes by Giovanni Sambin of a series of lectures given in padua, June 1980.Google Scholar
  9. Martin-Löf, P. 2006. 100 years of Zermelo’s axiom of choice: What was the problem with it? The Computer Journal 49(3): 345–350.CrossRefGoogle Scholar
  10. Rahman, S., and N. Clerbout. 2013. Constructive type theory and the dialogical approach to meaning. Baltic International Yearbook of Cognition, Logic and Communication, vol. 8. doi:10.4148/1944-3676.1077,
  11. Sundholm, G. 1997. Implicit epistemic aspects of constructive logic. Journal of Logic, Language and Information 6(2): 191–212.CrossRefGoogle Scholar
  12. Sundholm, G. 2001. A plea for logical atavism. In The Logica Yearbook 2000, ed. O. Majer, 151–162. Prague: Filosofia.Google Scholar
  13. Tait, W. 1994. The law of excluded middle and the axiom of choice. In Mathematics and Mind, ed. A. George, 45–70. New York: Oxford University Press.Google Scholar

Copyright information

© The Author(s) 2015

Authors and Affiliations

  1. 1.Instituto de Filosofía; CDHACSUniversidad de ValparaísoValparaísoChile
  2. 2.UMR-CNRS 8163: STLUniversity of Lille IIIVilleneuve d’AscqFrance

Personalised recommendations