Richness and Reflection

Philosophia Mathematica 24 (3):330-359 (2016)

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.

Analytics

Added to PP
2015-10-30

Downloads
70 (#167,768)

6 months
12 (#64,296)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Neil Barton
Universität Konstanz

References found in this work

Realism in Mathematics.Penelope Maddy - 1990 - Oxford, England and New York, NY, USA: Oxford University Prress.
Foundations of Set Theory.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel - 1958 - Atlantic Highlands, NJ, USA: North-Holland.
The Potential Hierarchy of Sets.Øystein Linnebo - 2013 - Review of Symbolic Logic 6 (2):205-228.
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

No citations found.

Add more citations

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.
The Search for New Axioms.Peter Koellner - 2003 - Dissertation, Massachusetts Institute of Technology
Semistationary and Stationary Reflection.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
On Reflection.Hilary Kornblith - 2012 - Oxford University Press.
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.
Reflection On: On Reflection.Declan Smithies - 2016 - Analysis 76 (1):55-69.
Varieties of Reflection in Kant's Logic.Melissa McBay Merritt - 2015 - British Journal for the History of Philosophy 23 (3):478-501.