Corey Mulvihill
University of Waterloo (PhD)
David DeVidi
University of Waterloo
We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where one can get an analogue of Diaconescu’s result, but also can disentangle the roles of certain other assumptions that are hidden in mathematical presentations. It is our view that these results have not received the attention they deserve: logicians are unlikely to read a discussion because the results considered are “already well known,” while the results are simultaneously unknown to philosophers who do not specialize in what most philosophers will regard as esoteric logics. This is a problem, since these results have important implications for and promise signif i cant illumination of contem- porary debates in metaphysics. The point of this paper is to make the nature of the results clear in a way accessible to philosophers who do not specialize in logic, and in a way that makes clear their implications for contemporary philo- sophical discussions. To make the latter point, we will focus on Dummettian discussions of realism and anti-realism. Keywords: epsilon, axiom of choice, metaphysics, intuitionistic logic, Dummett, realism, antirealism
Keywords intuitionistic logic  superintuitionistic logic  Anti-Realism  Intermediate Logics  Hilbert's Epsilon operator  Intermediate Logics  Foundations of Mathematics
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Logic with Truth Values in a Linearly Ordered Heyting Algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Term-Forming Operators in First Order Logic.David Michael Devidi - 1994 - Dissertation, The University of Western Ontario (Canada)
An Intuitionistic Characterization of Classical Logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.
Combining Possibilities and Negations.Greg Restall - 1997 - Studia Logica 59 (1):121-141.
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.
Completeness and Incompleteness for Intuitionistic Logic.Charles McCarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.
Dummett's Views on Intuitionism Logic.Xiao-Ming Ren & Biao Gu - 2007 - Nankai University (Philosophy and Social Sciences) 4:46-51.
Reflexive Intermediate Propositional Logics.Nathan C. Carter - 2006 - Notre Dame Journal of Formal Logic 47 (1):39-62.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.


Added to PP index

Total views
163 ( #66,130 of 2,455,876 )

Recent downloads (6 months)
14 ( #47,546 of 2,455,876 )

How can I increase my downloads?


My notes