Philosophia Mathematica 24 (3):330-359 (2016)
Authors |
|
Abstract |
A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, the status of reflection principles as axioms is left open for the Zermelian.
|
Keywords | philosophy of mathematics foundations of mathematics set theory reflection principle |
Categories | (categorize this paper) |
Reprint years | 2016 |
DOI | 10.1093/philmat/nkv036 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Realism in Mathematics.Penelope Maddy - 1990 - Oxford, England and New York, NY, USA: Oxford University Prress.
The Boundary Stones of Thought: An Essay in the Philosophy of Logic.Ian Rumfitt - 2015 - Oxford, England: Oxford University Press.
Foundations of Set Theory.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel - 1958 - Atlantic Highlands, NJ, USA: North-Holland.
What is Cantor's Continuum Problem?Kurt Gödel - 1947 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Journal of Symbolic Logic. Oxford University Press. pp. 176--187.
View all 36 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Global Reflection Principles.P. D. Welch - 2017 - In I. Niiniluoto, H. Leitgeb, P. Seppälä & E. Sober (eds.), Logic, Methodology and Philosophy of Science - Proceedings of the 15th International Congress, 2015. College Publications.
On Reflection Principles.Peter Koellner - 2009 - Annals of Pure and Applied Logic 157 (2-3):206-219.
Separating Stationary Reflection Principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Generic Compactness Reformulated.Bernhard König - 2004 - Archive for Mathematical Logic 43 (3):311-326.
Truth, Conservativeness, and Provability: Reply to Cieslinski.J. Ketland - 2010 - Mind 119 (474):423-436.
A Consistency Proof for Some Restrictions of Tait's Reflection Principles.Rupert McCallum - 2013 - Mathematical Logic Quarterly 59 (1-2):112-118.
The Search for New Axioms.Peter Koellner - 2003 - Dissertation, Massachusetts Institute of Technology
Using Anonymized Reflection To Teach Ethics: A Pilot Study.Gaye Kyle - 2008 - Nursing Ethics 15 (1):6-16.
Semistationary and Stationary Reflection.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
Reflection of Long Game Formulas.Heikki Heikkilä & Jouko Väänänen - 1994 - Mathematical Logic Quarterly 40 (3):381-392.
Definitional Reflection and Basic Logic.Peter Schroeder-Heister - 2013 - Annals of Pure and Applied Logic 164 (4):491-501.
Reflections on Reflection: Van Fraassen on Belief.Mitchell S. Green & Christopher R. Hitchcock - 1994 - Synthese 98 (2):297 - 324.
Varieties of Reflection in Kant's Logic.Melissa McBay Merritt - 2015 - British Journal for the History of Philosophy 23 (3):478-501.
Analytics
Added to PP index
2015-10-30
Total views
65 ( #176,197 of 2,506,520 )
Recent downloads (6 months)
11 ( #68,237 of 2,506,520 )
2015-10-30
Total views
65 ( #176,197 of 2,506,520 )
Recent downloads (6 months)
11 ( #68,237 of 2,506,520 )
How can I increase my downloads?
Downloads