Dear HP-ers, HP-worriers, and friends,
In this thread (which I confess has been moving pretty quickly for me; I’ve read it all but do apologise if I’m revisiting some old ground) we’ve seen that the key claim is that there is a deep relationship between countable transitive models and some V, either real, ideal, or sat within a multiverse. I have a few general worries on this that if assuaged will help me better appreciate the view.
I’m going to speak in “Universey” terms, just because its the easiest way I find for me to speak. Indeed, when I first heard the HP material, it occurred to me that this looked like an epistemological methodology for a Universist; we’re using the collection of all ctms as a structure to find out information (even probabilistic) about V more widely. If substantive issues turn on this way of speaking, let me know and I’ll understand better.
Let’s first note that in the wake of independence, it’s going to be a pretty hard-line Universist (read “nutty Universist”) who asserts that we shouldn’t be studying truth across models in order to understand V better. Indeed the model theory gives us a fascinating insight into the way sets behave and ways in which V might be. However, its then essential to the HPers position that it is the “truth across ctms” approach that tells us best about V, rather than “truth across models” more generally. I see at least two ways this might be established:
A. Ctms (and the totality of) are more easily understood than other kinds of model.
B. Ctms are a better guide to (first-order) truth than other kinds of model.
I worry that both A and B are false (something I came to worry in the context of trying to use the HP for an absolutist).
A.1. It would be good if we could show two things to address the first question:
A.1.1. The Hyperuniverse is in some sense “tractable” in the sense that we can refer to it easily using fairly weak resources.
A.1.2. The Hyperuniverse is in some sense “minimal”; we only have the models we need to study pictures of V. There’s no extraneous subject matter confusing things.
The natural way to assuage A.1.1. for someone who accepts something more than just first-order resources is to provide a categoricity proof for the hyperuniverse from fairly weak resources (we don’t want to go full second-order; it’s the very notion of arbitrary subset we’re trying to understand). I thought about doing this in ancestral logic, but this obviously won’t work; there are uncountably many members of the Hyperuniverse and the downward LST holds for ancestral logic. So, I don’t see how we’re able to refer to the hyperuniverse better than just models in general in studying ways V might be.
(Of course, you might not care about categoricity; but lots of philosophers do, so it’s at least worth a look)
Re: A.1.2 The Hyperuniverse is not minimal. For any complete, maximal, truth set T of first-order sentences consistent with ZFC, there’s many universes in H satisfying that truth set. So really, for studying “first-order pictures of V” there’s lots in there you don’t need.
So, I’d like to hear from the HPers the sense in which we can more easily access the elements of H. One often hears set theorists refer to ctms (and indeed Skolem hulls and the like) as `nice’, `managable’, “tractable”. I confess that in light of the above I don’t really understand what is meant by this (unless it’s something trivial like guaranteeing the existence of generics in V). So, what is meant by this kind of talk? Is there anything philosophically or epistemically deep here?
On to B. Are ctms a better guide to truth in V than other kinds of model? Certainly on the Universist picture it seems like the answer should be no; various kinds of construction that are completely illegitimate over V are legitimate of ctms; e.g. \alpha-hyperclass forcing (assuming you don’t believe in hyperclasses, which you shouldn’t if you’re a Universist). Why should techniques of this kind produce models that look anything like a way V might be when V has no hyperclasses? Now maybe a potentialist has a response here, but I’m unsure how it would go. Sy’s potentialist seems to hold that it’s a kind of epistemic potentialism; we don’t know how high V is so should study pictures on which it has different heights. But given this, it still seems that hyperclasses are out; whatever height V turns out to have, there aren’t any hyperclasses. If one wants to look at pictures of V, maybe it’s better just to analyse the model theory more generally with standard transitive models and a ban on hyperclass forcing?
[A note; like Pen I have worries that one can't make sense of the hybrid-view. The only hybrid I can make sense of is to be epistemically hyperuniversist and ontologically universist. I worry that my inability to see the `real' potentialist picture here is affecting how I characterise the debate.]
Anyway, I’m sympathetic to the idea that I’ve missed a whole bunch of subtleties here. But I’d love to have these set to rights.
With Best Wishes,
P.S. I’ve added my good friend Chris Scambler to the list who was interested in the discussion. I hope this is okay with everyone here.
P.P.S. If there are responses I’ll try to reply as quick as I can, but time is tight currently.