Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular ways) face (...) complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence of extensions violating maximality axioms. An analysis of two kinds of multiversism, a Zermelian form and Skolemite form, leads to the conclusion that the kind of maximality captured by an axiom differs substantially according to background ontology. (shrink)

According to the iterative conception of sets, standardly formalized by ZFC, there is no set of all sets. But why is there no set of all sets? A simple-minded, though unpopular, “minimal” explanation for why there is no set of all sets is that the supposition that there is contradicts some axioms of ZFC. In this paper, I first explain the core complaint against the minimal explanation, and then argue against the two main alternative answers to the guiding question. I (...) conclude the paper by outlining a close alternative to the minimal explanation, the conception-based explanation, that avoids the core complaint against the minimal explanation. (shrink)

The Continuum Problem has inspired set theorists and philosophers since the days of Cantorian set theory. In the last 15 years, W. Hugh Woodin, a leading set theorist, has not only taken it upon himself to engage in this question, he has also changed his mind about the answer. This paper illustrates Woodin’s solutions to the problem, starting in Sect. 3 with his 1999–2004 argument that Cantor’s hypothesis about the continuum was incorrect. From 2010 onwards, Woodin presents a very different (...) argument, an argument that Cantor’s hypothesis is in fact true. This argument is still incomplete, but according to Woodin, some of the philosophical issues surrounding the Continuum Problem have been reduced to precise mathematical questions, questions that are, unlike Cantor’s hypothesis, solvable from our current theory of sets. (shrink)