Philosophia Mathematica 12 (3):222-243 (2004)
to constructive systems is significant for contemporary metaphysics. However, many are surprised by these results, having learned that the Axiom of Choice (AC) is constructively valid. Indeed, even among specialists there were, until recently, reasons for puzzlement-rival versions of Intuitionistic Type Theory, one where (AC) is valid, another where it implies classical logic. This paper accessibly explains the situation, puts the issues in a broader setting by considering other choice principles, and draws philosophical morals for the understanding of quantification, choice principles, and the prospects for constructivism.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Effective Choice and Boundedness Principles in Computable Analysis.Vasco Brattka & Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (1):73-117.
Reverse Mathematics and Uniformity in Proofs Without Excluded Middle.Jeffry L. Hirst & Carl Mummert - 2010 - Notre Dame Journal of Formal Logic 52 (2):149-162.
Classical and Constructive Hierarchies in Extended Intuitionistic Analysis.Joan Rand Moschovakis - 2003 - Journal of Symbolic Logic 68 (3):1015-1043.
Independence Results for Class Forms of the Axiom of Choice.Paul E. Howard, Arthur L. Rubin & Jean E. Rubin - 1978 - Journal of Symbolic Logic 43 (4):673-684.
The Axiom of Choice and Combinatory Logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
Counting the Maximal Intermediate Constructive Logics.Mauro Ferrari & Pierangelo Miglioli - 1993 - Journal of Symbolic Logic 58 (4):1365-1401.
On Maximal Intermediate Predicate Constructive Logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories.John Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
Added to index2009-01-28
Total downloads16 ( #296,158 of 2,163,683 )
Recent downloads (6 months)1 ( #348,043 of 2,163,683 )
How can I increase my downloads?