Pen and Peter, can you please help here? Pen hit me very hard for developing what could be regarded as “Sy’s personal theory of truth” and it seems to me that we now have “Hugh’s personal theory of truth”, i.e., when Hugh develops a powerful piece of set theory he wants to declare it as “true” and wants us all to believe that. This goes far beyond Thin Realism, it goes to what Hugh calls a “conception of V” which far exceeds what you can read off from set-theoretic practice in its many different forms. Another example of this is Hugh’s claim that large cardinal existence is justified by large cardinal consistency; what notion of “truth” is this, if not “Hugh’s personal theory of truth”?
Pen’s Thin Realism provides a grounding for Type 1 truth. Mathematical practice outside of set theory provides a grounding for Type 2 truth. Out intuitions about the maximality of V in height and width provide a grounding for Type 3 truth. How is Hugh’s personal theory of truth grounded?
I’m pretty sure Hugh would disagree with what I’m about to say, which naturally gives me pause. With that understood, I confess that from where I sit as a relatively untutored observer, it looks as if the evidence Hugh is offering is overwhelming of your Type 1 (involving the mathematical virtues of the attendant set theory). My guess is he’d also consider type 2 evidence (involving the relations of set theory to the rest of mathematics) if there were some ready to hand. He has a ‘picture’ of what the set theoretic universe is like, a picture that guides his thinking, but he doesn’t expect the rest of us to share that picture and doesn’t appeal to it as a way of supporting his claims. If the mathematics goes this way rather than that, he’s quite ready to jettison a given picture and look for another. In fact, at times it seems he has several such pictures in play, interrelated by a complex system of implications (if this conjecture goes this way, the universe like this; if it goes that way, it looks like that…) But all this picturing is only heuristic, only an aide to thought — the evidence he cites is mathematical. And, yes, this is more or less how one would expect a good Thin Realist to behave (one more time: the Thin Realist also recognizes Type 2 evidence). (My apologies, Hugh. You must be thinking, with friends like these…)
The HP works quite differently. There the picture leads the way — the only legitimate evidence is Type 3. As we’ve determined over the months, in this case the picture involved has to be shared, so that it won’t degenerate into ‘Sy’s truth’. So far, to be honest, I’m still not clear on the HP picture, either in its height potentialist/width actualist form or its full multiverse form. Maybe Peter is doing better than I am on that.