Abstract
Surveying and criticising attitudes towards the role and strength of the iterative conception of set—widely seen as the justificatory basis of Zermelo-Fraenkel set theory with Choice—this paper highlights a tension in both contemporary and historic accounts of the iterative conception’s justificatory role: on the one hand its advocates wish to claim that it justifies ZFC, but on the other hand they abstain from stating whether the preconditions for such justification exists. Expanding the number of axioms that the conception is standardly charged with failing to justify, in the forms of the Emptyset and Powerset, this paper aims to extend the critique that the iterative conception does not justify ZFC to its subsystems. Exploring the historic and contemporary relationship between the iterative conception and set theory, the paper then attempts to defuse strategies that avoid the problems of intrinsic justification by weakening the iterative conception’s role to the ‘motivational’ or ‘heuristic’ by showing that what the iterative conception has been seen to motivate has changed over time. It is suggested that the conjunction of these arguments seriously weakens the programme of reasoning on an ‘atheoretic’ notion of set.
Similar content being viewed by others
Data availability
N/A.
Code availability
N/A.
Notes
Which states that for any arbitrary sets X and Y, if for every x in X, x is also in Y, then \(X = Y\).
Which states that if A is a set, so is its image under a class function F[A]: every x in A can be replaced under its image under a class function, \(x'\).
Which states that the Cartesian Product of any collection of nonempty sets is nonempty.
It is worth commenting that actual infinity is nevertheless supplemental to the iterative conception. As will be touched on in Sect. 4.1.1, this gives grounds to view Infinity as underivable from the iterative conception alone.
Despite considering it self-evident, Zermelo argued that, due to its consequences, Choice was ‘necessary for science’ (1908a, p. 131).
Kanamori (2012) notes that while Replacement is normally shoved to the back of textbooks, this is more to do with applicability than epistemic trust.
Extrinsic justifications appeal to the utility of an axiom’s consequences for mathematics, rather than their intuitive plausibility. See Gödel (1947, p. 521) for a classic articulation, and Maddy (1997) for detailed exposition. See Tiles (1989/2004, p. 208) and Tait (2005, p. 283) for critiques of extrinsic justification in set theory.
ZFC set theory—Extensionality, Replacement, and Choice.
I would like to thank an anonymous reviewer for asking for expansion and clarification of this section.
One might be sceptical that one can reasonably accept first-order Reflection but reject generalising upwards. The issues surrounding this are dealt with in the following section.
This is perhaps because the assumption of actual infinity, while fundamental to modern mathematics, is an auxiliary assumption that is brought to the iterative conception.
Boolos in his classic paper stops iteration at the first non-recursive ordinal, and in an introduction to Gödel’s writings on the iterative conception describes the iterative conception as a ‘general procedure’ in which ‘new operations’ arise out of set formation (Rin, 2015).
It might be instructive that this is how popular textbooks also see things: Enderton (1977) takes it as necessary for Replacement to guarantee sets beyond \(\omega \), and thereby transfinite recursion.
Martin (1970, p. 112) can also be seen as holding a form of this position. Despite advocating the iterative conception, he writes that, in addition to not being able to tell us ‘[h]ow long the iterative process continue[s]’, that it cannot tell us ‘[w]hat is meant by a “subset” either. This argument is also noted by Feferman (2000), with regards circularity, and Boolos again appears sceptical: in an argument separate from the iterative conception he writes that ‘it does not seem to me unreasonable to think that perhaps it is not the case that for every set, there is a set of all its subsets’ (2000, p. 267).
It is of note that Barton entertains working within ZFC—the Power Set.
Of which the derivation is trivial, as it is the assumption on which the iterative conception is based anyway.
This is the most generous reading of the iterative conception: many, including its advocates, note that it was only in the 1960s/70s that the iterative conception as we recognise it was formulated, as a derivation of the axioms from a stage theory (see Arrigoni, 2007, pp. 57–58, fn. 20; Barton, 2020, pp. 165–166; Kanamori, 2012, p. 77) An alternative critical reading, however, can be found in Morris (2018), who argues that Zermelo was developing a new concept of set when he devised the axioms, but that-contrary to the iterative conception’s claims for itself-that it was not a natural consequence of reflection on our concept, but an ad-hoc response to paradox (pp. 47–49).
CH states that the cardinality of the powerset of the Integers is identical to that of the Continuum. Locally, it states that
$$\aleph _1 = 2^{\aleph _0}$$Generally, it states that
$$\aleph _{\alpha + 1} = 2^{\aleph _\alpha }$$for any infinite cardinal.
Forcing simulates the addition of new objects into V to create larger models of ZFC. If taken as an axiom, as below, these are taken to already exist in V (Schatz, 2019, p. 13).
References
Arrigoni, T. (2007). What is meant by V? Reflections on the universe of all sets. Brill/Mentis. https://brill.com/view/title/49429
Arrigoni, T. (2011). V = l and intuitive plausibility in set theory. A case study. The Bulletin of Symbolic Logic, 17(3), 337–360.
Bagaria, J. (2004). Natural axioms of set theory and the continuum problem. Retrieved from https://www.researchgate.net/profile/Joan-Bagaria/publication/228371092_Natural_axioms_of_set_theory_and_the_Continuum_Problem/links/02e7e52a6da1c0537f000000/Natural-axioms-of-set-theory-and-the-Continuum-Problem.pdf
Bagaria, J. (2021). Set theory. In E. N. Zalta (Ed.), ‘The Stanford encyclopedia of philosophy (Winter 2021st ed.). Metaphysics Research Lab, Stanford University.
Bagaria, J., Koellner, P., & Woodin, W. H. (2019). Large cardinals beyond choice. The Bulletin of Symbolic Logic, 25(3), 283–318.
Barton, N. (2018). Large cardinals and the iterative conception of set. Preprint. Retrieved July 2021, from http://philsci-archive.pitt.edu/15909/
Barton, N., & Friedman, S.-D. (2020). Maximality and ontology: How axiom content varies across philosophical frameworks. Synthese, 197(2), 623–649. https://doi.org/10.1007/s11229-017-1336-9
Barton, N., Ternullo, C., & Venturi, G. (2020). On forms of justification in set theory. Australasian Journal of Logic, 17(4), 159–200.
Boolos, G. (1971). The iterative conception of set. Journal of Philosophy, 68(8), 215–231.
Boolos, G. (1989). Iteration again. Philosophical Topics, 17(2), 5–21.
Boolos, G. (2000). Must we believe in set theory? In G. Sher & R. Tieszen (Eds.), Between logic and intuition: Essays in honor of Charles Parsons (pp. 257–268). Cambridge University Press.
Burgess, J. (2020). Luca Incurvati* conceptions of set and the foundations of mathematics. Philosophia Mathematica, 28(3), 395–403. https://doi.org/10.1093/philmat/nkaa025
Burgess, J. P. (2004). E Pluribus Unum: Plural logic and set theory. Philosophia Mathematica, 12(3), 193–221. https://doi.org/10.1093/philmat/12.3.193
Button, T. (2019). Open set theory. Open Logic Project. http://www.homepages.ucl.ac.uk/~uctytbu/opensettheory.pdf
Dahl, I. M. M. (2014). Two pictures of the iterative hierarchy. Master’s thesis, University of Oslo.
Devlin, K. (1977). The axiom of constructibility: A guide for the mathematician. Advances in anatomy, embryology and cell biology. Springer. https://books.google.co.uk/books?id=NA-FzQEACAAJ
Drake, F. R. (1974). Set theory: An introduction to large cardinals. Studies in logic and the foundations of mathematics. North-Holland.
Ebbinghaus, H.-D. (2007). Ernst Zermelo—an approach to his life and work. Springer.
Enderton, H. B. (1977). Orderings and ordinals. In H. B. Enderton (Ed.), Elements of set theory (pp. 167–208). Academic Press.
Feferman, S., Friedman, H. M., Maddy, P., & Steel, J. R. (2000). Does mathematics need new axioms? Bulletin of Symbolic Logic, 6(4), 401–446.
Ferrier, E. (2019). Against the iterative conception of set. Philosophical Studies, 176(10), 2681–2703. https://doi.org/10.1007/s11098-018-1146-z
Forster, T. (2021). The axioms of set theory. Unpublished. Retrieved July 2021, from https://www.dpmms.cam.ac.uk/tf/axiomsofsettheory.pdf
Fraenkel, A., Bar-Hillel, Y., & Levy, A. (1973). Foundations of set theory. Elsevier.
Friedman, S. D. (2006). Stable axioms of set theory. Preprint. Retrieved August 2021, from http://www.logic.univie.ac.at/sdf/papers/stable.axioms.pdf
Friedman, S.-D. (2018). Evidence for set-theoretic truth and the hyperuniverse programme. In C. Antos, S.-D. Friedman, R. Honzik, & C. Ternullo (Eds.), The hyperuniverse project and maximality (pp. 75–107). Springer. https://doi.org/10.1007/978-3-319-62935-3_4
Friedman, S.-D., & Ternullo, C. (2018). Explaining maximality through the hyperuniverse programme. In C. Antos, S.-D. Friedman, R. Honzik, & C. Ternullo (Eds.), The hyperuniverse project and maximality (pp. 185–204). Springer International Publishing. https://doi.org/10.1007/978-3-319-62935-3_9
Godel, K. (1947). What is cantor’s continuum problem? The American Mathematical Monthly, 54(9), 515–525.
Hallett, M. (1984). Cantorian set theory and limitation of size. Clarendon Press.
Hamkins, J. D. (2018). The axiom of well-ordered replacement is equivalent to full replacement over Zermelo + foundation. http://jdh.hamkins.org/replacement-for-well-ordered-sets-is-equivalent-to-full-replacement/
Incurvati, L. (2016). Maximality principles in set theory. Philosophia Mathematica, 25(2), 159–193. https://doi.org/10.1093/philmat/nkw011
Incurvati, L. (2020). Conceptions of set and the foundations of mathematics. Cambridge University Press.
Kanamori, A. (2003). The empty set, the singleton, and the ordered pair. Bulletin of Symbolic Logic, 9(3), 273–298.
Kanamori, A. (2004). Zermelo and set theory. The Bulletin of Symbolic Logic, 10(4), 487–553.
Kanamori, A. (2010). Introductory note to 1930a. In E. Zermelo (Ed.), Collected works. Springer.
Kanamori, A. (2012). In praise of replacement. The Bulletin of Symbolic Logic, 18(1), 46–90.
Kanamori, A., & Magidor, M. (1978). The evolution of large cardinal axioms in set theory. In G. H. Müller & D. S. Scott (Eds.), Higher set theory (pp. 99–275). Springer.
Koellner, P. (2009). On reflection principles. Annals of Pure and Applied Logic, 157(2), 206–219.
Koellner, P. (2014). The search for deep inconsistency. Talk. Retrieved August 2021, from http://logic.harvard.edu/blog/wp-content/uploads/2014/11/Deep_Inconsistency.pdf
Maddy, P. (1988). Believing the axioms. I. Journal of Symbolic Logic, 53(2), 481–511.
Maddy, P. (1997). Naturalism in mathematics. Oxford University Press. https://doi.org/10.1093/0198250754.001.0001
Magidor, M. (2021). Some set theories are more equal. Preprint. Retrieved June 2021, from http://logic.harvard.edu/EFI_Magidor.pdf
Martin, D. A. (1970). Set theory and its logic. Journal of Philosophy, 67(4), 111–114.
McCallum, R. (2021). Intrinsic justifications for large-cardinal axioms. Philosophia Mathematica, 29(2), 195–213. https://doi.org/10.1093/philmat/nkaa038
Menzel, C. (1986). On the iterative explanation of the paradoxes. Philosophical Studies, 49(1), 37–61.
Moore, G. H. (1982). Zermelo’s axiom of choice its origins, development, and influence. Springer.
Morris, S. (2018). Quine, new foundations, and the philosophy of set theory. Cambridge University Press. https://books.google.nl/books?id=0o92DwAAQBAJ
Oliver, A., & Smiley, T. (2016). Plural logic (2nd Ed.). Oxford University Press. https://doi.org/10.1093/acprof:oso/9780198744382.001.0001
Paseau, A. (2007). Boolos on the justification of set theory. Philosophia Mathematica, 15(1), 30–53.
Pollard, S. (2015), Philosophical Introduction to Set Theory. 1st edn, Dover Publications.
Potter, M. (2004). Set Theory and its Philosophy: A Critical Introduction. Oxford
Putnam, H. (2000). Paradox revisited ii: Sets - a case of all or none? In G. Sher & R. Tieszen (Eds.), Between Logic and Intuition: Essays in Honor of Charles Parsons (pp. 16–26). Cambridge University Press.
Rin, B. (2015). Transfinite recursion and computation in the iterative conception of set. Synthese, 192(8), 2437–2462.
Schatz, J. R. (2019), Axiom Selection by Maximization: V = Ultimate L vs Forcing Axioms, PhD thesis, University of California, Irvine.
Scott, D. (1974). Axiomatizing set theory. In: T. J. Jech (Ed.), Proceedings of symposia in pure mathematics (Vol. 13, pp. 207–214). American Mathematical Society.
Shoenfield, J. (1977). Axioms of set theory. In J. Barwise (Ed.), Handbook of mathematical logic. North Holland.
Skolem, T. (2002). Some remarks on the axiomatisation of set theory. In J. van Heijenoort (Ed.), From Frege to Godel: A source book in mathematical logic (pp. 1879–1931). Harvard University Press.
Soysal, Z. (2020). Why is the universe of sets not a set? Synthese, 197(2), 575–597. https://doi.org/10.1007/s11229-017-1513-x
Studd, J. P. (2013). The iterative conception of set: A (bi-)modal axiomatisation. Journal of Philosophical Logic, 42(5), 1–29.
Tait, W. W. (1998). Zermelo’s conception of set theory and reflection principles. In The philosophy of mathematics today (pp. 469–484). Oxford University Press.
Tait, W. W. (2005). The provenance of pure reason: Essays in the philosophy of mathematics and its history. Logic and computation in philosophy. Oxford University Press. https://books.google.nl/books?id=YkL8KfdpAq8C
Tiles, M. (1989/2004). The philosophy of set theory: An historical introduction to Cantor’s paradise. Dover.
Van Aken, J. (1986). Axioms for the set-theoretic hierarchy. The Journal of Symbolic Logic, 51(4), 992–1004.
von Neumann, J. (2002). An axiomatisation of set theory. In J. van Heijenoort (Ed.), From Frege to Godel: A source book in mathematical logic (pp. 1879–1931). Harvard University Press.
Wang, H. (1974). From mathematics to philosophy. Routledge and Kegan Paul.
Wolchover, N. (2013). To settle infinity dispute, a new law of logic. Quanta. https://www.quantamagazine.org/to-settle-infinity-question-a-new-law-of-mathematics-20131126/
Zermelo, E. (1908a). Proof that every set can be well-ordered/beweis, das jede menge wohlgeordnet werden kan. In E. D. C. Fraser & A. Kanamori (Eds.), Ernst Zermelo, Collected works. Springer.
Zermelo, E. (1908b). Investigations in the foundations of set theory 1/untersuchungen über die grundlagen der mengenlehre i. In E. D. C. Fraser & A. Kanamori (Eds.), Ernst Zermelo, Collected works. Springer.
Zermelo, E. (1930a), On boundary numbers and domains of sets. new investigations in the foundations of set theory/über grenzzahlen und mengenbereiche. neue untersuchungen über die grundlagen der mengenlehre. In E. D. C. Fraser & A. Kanamori (Eds.), Ernst Zermelo, Collected works. Springer.
Zermelo, E. (1930b). On the set-theoretic model/über das mengentheoretische modell. In E. D. C. Fraser & A. Kanamori (Eds.), Ernst Zermelo, Collected works. Springer.
Acknowledgements
I would like to thank both Laurenz Hudetz and Roman Frigg for their encouragement and support in my writing of this essay both as a master’s thesis and in its present form, as well as their encouragement in submitting this essay for publication. All errors contained within are my own. I would also like to thank two anonymous referees for feedback on this paper.
Funding
This paper was produced with no external funding.
Author information
Authors and Affiliations
Contributions
N/A.
Corresponding author
Ethics declarations
Conflict of interest
No conflicts of interest have been declared.
Ethical approval
N/A.
Consent to participate
N/A.
Consent for publication
N/A.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Glasman, T. The iterative conception of set does not justify ZFC. Synthese 203, 36 (2024). https://doi.org/10.1007/s11229-023-04408-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11229-023-04408-8