Matteo de Ceglie

In this paper, I argue that one of the arguments usually put forward in defence of universism is in tension with current set theoretic practice. According to universism, there is only one set theoretic universe, V, and when applying the method of forcing we are not producing new universes, but only simulating them inside V. Since the usual interpretation of set generic forcing is used to produce a “simulation” of an extension of V from a countable set inside V itself, the above argument is credited to be a strong defence of universism. However, I claim, such an argument does not take into account current mathematical practice. Indeed, it is possible to find theorems that are available to the multiversists but that the advocate of universism cannot prove. For example, it is possible to prove results on infinite games in non-well-founded set-theories plus the axiom of determinacy (such as ZF + AFA + PD) that are not available in ZFC + PD. These results, I contend, are philosophically problematic on a strict universist approach to forcing. I suggest that the best way to avoid the difficulty is to adopt a pluralist conception of set theory and embrace a set theoretic multiverse. Consequently, the current practice of set generic forcing better supports a multiverse conception of set theory.

In this paper, I argue that a naturalist approach in philosophy of mathematics justifies a pluralist conception of set theory. For the pluralist, there is not a Single Universe, but there is rather a Multiverse, composed by a plurality of universes generated by various set theories. In order to justify a pluralistic approach to sets, I apply the two naturalistic principles developed by Penelope Maddy (cfr. Maddy (1997)), UNIFY and MAXIMIZE, and analyze through them the potential of the set theoretic multiverse to be the best framework for mathematical practice. According to UNIFY, an adequate set theory should be foundational, in the sense that it should allow one to represent all the currently accepted mathematical theories. As for MAXIMIZE, this states that any adequate set theory should be as powerful as possible, allowing one to prove as many results and isomorphisms as possible. In a recent paper, Maddy (2017) has argued that this two principle justify ZFC as the best framework for mathematical practice. I argue that, pace Maddy, these two principles justify a multiverse conception of set theory, more precisely, the generic multiverse with a core (GMH).