Graduate studies at Western
Philosophia Mathematica 12 (3):222-243 (2004)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Vasco Brattka & Guido Gherardi (2011). Effective Choice and Boundedness Principles in Computable Analysis. Bulletin of Symbolic Logic 17 (1):73-117.
Jeffry L. Hirst & Carl Mummert (2010). Reverse Mathematics and Uniformity in Proofs Without Excluded Middle. Notre Dame Journal of Formal Logic 52 (2):149-162.
Edward F. McClennen (1990). Rationality and Dynamic Choice: Foundational Explorations. Cambridge University Press.
Joan Rand Moschovakis (2003). Classical and Constructive Hierarchies in Extended Intuitionistic Analysis. Journal of Symbolic Logic 68 (3):1015-1043.
A. S. Troelstra (1985). Choice Sequences and Informal Rigour. Synthese 62 (2):217 - 227.
Paul E. Howard, Arthur L. Rubin & Jean E. Rubin (1978). Independence Results for Class Forms of the Axiom of Choice. Journal of Symbolic Logic 43 (4):673-684.
Andrea Cantini (2003). The Axiom of Choice and Combinatory Logic. Journal of Symbolic Logic 68 (4):1091-1108.
Mauro Ferrari & Pierangelo Miglioli (1993). Counting the Maximal Intermediate Constructive Logics. Journal of Symbolic Logic 58 (4):1365-1401.
Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli (1996). On Maximal Intermediate Predicate Constructive Logics. Studia Logica 57 (2-3):373 - 408.
John Bell (2008). The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories. Mathematical Logic Quarterly 54 (2):194-201.
Added to index2009-01-28
Total downloads6 ( #154,984 of 741,003 )
Recent downloads (6 months)1 ( #61,802 of 741,003 )
How can I increase my downloads?