Tag Archives: Intrinsic justification

Re: Paper and slides on indefiniteness of CH

Dear Peter,

I think we should all be grateful to you for this eloquent description of how we gather evidence for new axioms based on the development of set theory. The first two examples (and possibly the third) that you present are beautiful cases of how a body of ideas converges on the formulation of a principle or principles with great explanatory power for topics which lie at the heart of the subject. Surely we have to congratulate those who have facilitated the results on determinacy and forcing axioms (and perhaps in time Hugh for his work on Ultimate L) for making this possible. Further, the examples mentioned meet your high standard for any such programme, which is that it “makes predictions which are later verified”.

I cannot imagine a more powerful statement of how Type 1 evidence for the truth of new axioms works, where again by “Type 1″ I refer to set theory’s role as a field of mathematics and therefore by “Type 1 evidence” I mean evidence for the truth of a new axiom based on its importance for generating “good set theory”, in the sense that Pen has repeatedly emphasized.

But I do think that what you present is only part of the picture. Set theory is surely a field of mathematics that has its own key questions and as it evolves new ideas are introduced which clarify those questions. But surely other areas of mathematics share that feature, even if they are free of questions of independence; they can have analogous debates about which developments are most important for the field, just as in set theory. So what you describe could be analagously described in other areas of mathematics, where “predictions” are made about how certain approaches will lead to the solution of central open problems. Briefly put: In your description of programmes for set theory, you treat set theory in the same way as one would treat any field of mathematics.

But set theory is much more that. Before I discuss this key point, let me interrupt myself with a brief reference to where this whole e-mail thread began, Sol’s comments about the indefiniteness of CH. As I have emphasized, there is no evidence that the pursuit of programmes like the ones you describe will agree on CH. Look at your 3 examples: The first has no opinion on CH, the second denies it and the third confirms it! I see set theory as a rich and developing subject, constantly transforming itself with new ideas, and as a result of that I think it unreasonable based on past and current evidence to think that CH will be decided by the Type 1 evidence that you describe. Pen’s suggestion that perhaps there will be a theory “whose virtues swamp the rest” is wishful thinking. Thus if we take only Type 1 evidence for the truth of new axioms into account (Sol rightly pointed out the misuse of the term “axiom” and Shelah rightly suggested the better term “semi-axiom”), we will not resolve CH and I expect that we won’t resolve much at all. Something more is needed if your goal is to say something about truth in set theory. (Of coures it is fine to not have that goal, and only a handful of set-theorists have that goal.)

OK, back to the point that set theory is more than just a branch of mathematics. Set theory also has a role as a foundation for mathematics (Type 2). Can we really assume that Type 1 axioms like the ones you suggest in your three examples are the optimal ones for the role of set theory as a foundation? Do we really have a clear understanding of what axioms are optimal in this sense? I think it is clear that we do not.

The preliminary evidence would suggest that of the three examples you mention, the first and third are quite irrelevant to mathematics outside of set theory and the second (Forcing Axioms) is of great value to mathematics outside of set theory. Should we really ignore this in a discussion of set-theoretic truth? I mean set theory is a great branch of mathematics, rife with ideas, but can we really assert the “truth” of an axiom which serves set theory’s needs when other axioms that contradict it do a better job in providing other areas of mathematics what they need?

There is even more to the picture, beyond set theory as a branch of or a foundation for math. I am referring to its Type 3 role, as a study of the concept of set. There is widespread agreement that this concept entails the maximality of V in height and width. The challenge is to explain this feature in mathematical terms, the goal of the HP. There is no a priori reason whatsoever to assume that the mathematical consequences of maximality in this sense will conform to axioms which best serve the Type 1 or Type 2 needs of set theory (as a branch of or foundation for mathematics). Moreover, to pursue this programme requires a very different approach than what is familiar to the Type 1 set-theorist, perfectly described in your previous e-mail. I am asking you to please be open-minded about this, because the standards you set and the assumptions that you make when pursuing new axioms for “good set theory” do not apply when pursuing consequences of maximality in the HP. The HP is a very different kind of programme.

To illustrate this, let me begin with two quotes which illustrate the difference and set the tone for the HP:

I said to Hugh:

The basic problem with what you are saying is that you are letting set-theoretic practice dictate the investigation of set-theoretic truth!

In other words, my starting point is not what facilitates the “best set theory”, but what one can understand about maximality of V in height and width.

On a recent occasion, Hugh said to me:

[Yet] you propose to deduce the non existence of large cardinals at some level based on maximality considerations. I would do the reverse, revise maximality.

This second quote precisely indicates the difference in our points of view. The HP is intended to be an unbiased analysis of the maximality of V in height and width, grounded in our intuitions about this feature and limited by what is possible mathematically. These intuitions are indeed fairly robust, surely more so than our judgments about what is “good set theory”. I know of no persuasive argument that large cardinal existence (beyond what is compatible with V = L) follows from the maximlity of V in height and width. Indeed in the literature authors such as Gödel had doubts about this, whereas they have felt that inaccessible cardinals are derivable from maximality in height.

So the only reasonable interpretation of Hugh’s comment is that he feels that LC existence is necessary for “good set theory” and that such Type 1 evidence should override any investigation of the maximality of V in height and width. Pen and I discussed this (in what seems like) ages ago in the terminology of “veto power” and I came to the conclusion that it should not be the intention of the HP to have its choice of criteria dictated by what is good for the practice of set theory as mathematics.

To repeat, the HP works like this: We have an intuition about maximality (of V in height and width) which we can test out with various criteria. It is a lengthy process by which we formulate, investigate and compare different criteria. Sometimes we “unify” or “synthesise” two criteria into one, resulting in a new criterion that based on our intuitions about maximality does a better job of expressing this feature than did the individual criteria which were unified. And sometimes our criteria conflict with reality, namely they are shown to be inconsistent in ZFC. Here are some examples:

Synthesis: The IMH is the most obvious criterion for expressing the maximality of V in width. #-generation is the strongest criterion for expressing the maximality of V in height. If we unify these we get IMH#, which is consistent but behaves differently than either the IMH alone or #-generation alone. Our intuition says that the IMH# better expresses maximality than either the IMH alone or #-generation alone.

Inconsistency (examples with HOD): We can consistently assert the maximality principle V \noteq \text{HOD}. A natural strengthening is that \alpha^+ of HOD is less than \alpha^+ for all infinite cardinals \alpha. Still consistent. But then we go to the further natural strengthening \alpha^+ of HOD_x is less than \alpha^+ for all subsets x of \alpha (for all infinite cardinals \alpha). This is inconsistent. So we back off to the latter but only for \alpha of cofinality \omega. Now it is consistent for many such \alpha, not yet known to be consistent for all such \alpha. We continue to explore the limits of maximality in this way, in light of what is consistent with ZFC. A similar issue arises with the statement that \alpha is inaccessible in HOD for all infinite regular \alpha, which is not yet known to be consistent (my belief is that it is).

The process continues. There is a constant interplay betrween criteria suggested by our maximality intuitions and the mathematics behind these criteria. Obviously we have to modify what we are doing as we learn more of the mathematics. Indeed, as you pointed out in your more recent e-mail, there are maximality criteria which contradict ZFC; this has been obvious for a long time, in light of Vopenka’s theorem.

It may be too much to ask that your program at this stage make such predictions. But I hope that it aspires to that. For if it does not then, as I mentioned earlier, one has the suspicion that it is infinitely revisable and “not even wrong”.

Once again, the aim of the programme is to understand the consequences of the maximality of V in height and width. Your criterion of “making predictions” may be fine for your Type 1 programmes, which are grounded by nothing more than “good set theory”, but it is not appropriate for the HP. That is because the HP is grounded by an intrinsic feature of the set-concept, maximality, which will take a long time to understand. I see no basis for your suggestion that the programme is “infinitely revisable”, it simply requires a huge amount of mathematics to carry out. Already the synthesis of the IMH with #-generation is considerable progress, although to get a deeper understanding we’ll definitely have to deal with the \textsf{SIMH}^\# and HOD-maximality.

If you insist on a “prediction” the best I can do is to say that the way things look now, at this very preliminary stage of the programme, I would guess that both not-CH and the nonexistence of supercompacts will come out. But that can’t be more than a guess at this point.

Now I ask you this: Suppose we have two Type 1 axioms, like the ones in your examples. Suppose that one is better than the other for Type 2 reasons, i.e., is more effective for mathematics outside of set theory. Does that tip the balance between those two Type 1 axioms in terms of which is closer to the truth? And I ask the same question for Type 3: Could you imagine joining forces and giving priority to axioms that both serve the needs of set theory as mathematics and are derivable from the maximality of V in height and width?

One additional worry is the vagueness of the idea of the ” ‘maximal’ iterative conception of set”. If there were a lot of convergence in what was being mined from this concept then one might think that it was clear after all. But I have not seen a lot of convergence. Moreover, while you first claimed to be getting “intrinsic justifications” (an epistemically secure sort of thing) now you are claiming to arrive only at “intrinsic heuristics” (a rather loose sort of thing). To be sure, a vague notion can lead to motivations that lead to a great deal of wonderful and intriguing mathematics. And this has clearly happened in your work. But to get more than interesting mathematical results — to make a case for for new axioms — at some stage one will have to do more than generate suggestions — one will have to start producing propositions which if proved would support the program and if refuted would weaken the program.

I imagine you agree and that that is the position that you ultimately want to be in.

No, the demands you want to make of a programme are appropriate for finding the right axioms for “good set theory” but not for an analysis of the maximality of V in height and width. For the latter it is more than sufficient to analyse the natural candidates for maximality criteria provided by our intuitions and achieve a synthesis. I predict that this will happen with striking consequences, but those consequences cannot be predicted without a lot of hard work.

Thanks,
Sy

PS: The above also addresses your more recent mail: I don’t reject a form of maximality just because it contradicts supercompacts (because I don’t see how supercompact existence is derivable form any form of maximality) and I don’t see any problem with rejecting maximality principles that contradict ZFC, simply because by convention ZFC is taken in the HP as the standard theory.

PPS: A somewhat weird but possibly interesting investigation would indeed be to drop the ZFC convention and examine criteria for the maximality of V in height and width over a weaker theory.

Re: Paper and slides on indefiniteness of CH

Dear Pen,

I too find Peter’s above-quoted remarks compelling and I strongly endorse them.

But you are keeping me on too short a leash, Pen! Please acknowledge the difference between a discussion of the motivation, setup and legitimacy of my approach on the one hand, and its implementation on the other. In the implementation of the HP I have to delve into hard-core set theory, including issues involving HOD and indiscernibles which, although surely not as difficult to appreciate as Ultimate-L, are nevertheless demanding of a strong knowledge of set theory. The IMH may be readily understandable to a set theory bonehead, but it is too much to expect that #-generation or the proper treatment of class-genericity are immediately and “generally understandable”. Otherwise put: it is too much to expect that to uncover the real meaning of “maximality in height and width” that we are bound to explaining every move to our grandparents. Why should everything in the implementation of the HP lie at the surface of set theory? Maximality is to be viewed as intrinsic, but the tools needed to understand it come from set-theoretic practice, even though there is no “extrinsic justification” involved.

Ciao,
Sy

Re: Paper and slides on indefiniteness of CH

Dear Sy,

If we are talking about ST in terms of its role as a foundation for or subfield of mathematics (Types 1 and 2) then we needn’t trouble ourvselves with this discussion of universes for ST and can hang our hats on what axioms of set theory are advantageous for the development of set theory and mathematics, as was done with AC and the Axiom of Infinity, for example.

Thanks for this clarification.  If all we care about is set theory as a branch of mathematics and set theory as it relates to the rest of mathematics, then we can stick with our familiar iterative picture of V and rely on extrinsic justifications of the familiar sort (unless the extrinsic evidence eventually leads us to prefer some sort of multiverse, in which case we’d shift to a new picture).  It’s only when we’re interested in further exploration of ‘the maximality of the set-concept’ that we need to engage in the HP (or the MP).

All best,
Pen

Re: Paper and slides on indefiniteness of CH

Dear Sy,

How good of you to read the book! I’m glad it wasn’t too unpleasant an experience.

Don’t you find that a bit harsh for the concept of “intrinsic”?

Maybe you haven’t yet reached the punch lines in the final chapter. There I lay out the view of intrinsic justifications we’ve been talking about here: they’re very valuable, but only as means toward outcomes with extrinsic support.

Yes, it is harsh!

I appreciate your AC example (if the math is better, change the concept!) but as I currently understand “intrinsic” we’re talking about the beloved MIC! Would you really trash the MIC for “good set theory”? (I guess I know your answer!)

You probably do: my answer is yes.

But a more serious worry is: What do we do if the axioms dessirable for “good set theory” conflict with those which are best for the foundations of math outside set theory? Large cardinals and determinacy are largely irrelevant to mathematics outside of set theory (so far!) so how do you know that they don’t obstruct other axioms that are good for the foundations of math outside of set theory? Are you prepared to give up on large cardinals and determinacy if that happens? (Of course when I say “you” I mean your friend, the Thin Realist.)

As I said the last time you asked this question, I don’t think we can decide this in advance of seeing the actual theories.

All best,

Pen

Re: Paper and slides on indefiniteness of CH

Dear Peter,

On Mon, 15 Sep 2014, Koellner, Peter wrote:

Dear Sy,

You proposed “strong unreachability” as intrinsically justified on the
basis of the maximal iterative conception of set, writing: “It is
compelling that _unreachability (and strong unreachability) with
reflection is faithful to maximality but these criteria have not yet
been systematically investigated”.

No!

Nothing “intrinsic” comes out of this programme until the spectrum of mathematical criteria that in some way mirror maximality have been studied, compared, unified and shown consistent. When I say “compellingly faithful to maximality” I do not mean “intrinsically justified”! I just mean that they should be regarded as criteria worth exploring when studying the different ways that maximality can be formulated mathematically, that is all.

At the end of your mail you raise the valid “bifurcation” issue. I cannot say with confidence that this won’t happen. It is too early to make a judgment on that.

Best,
Sy

Re: Paper and slides on indefiniteness of CH

Dear Sy,

Three observations …

I.  On the concept appealed to in the HP:

The phrase “inappropriately idiosyncratic” is very strong.

It is.  But you did write this (on August 10):

First question: Is this your personal picture or one you share with others?

I don’t know, but maybe I have persuaded some subset of Carolin Antos, Tatiana Arrigoni, Radek Honzik and Claudio Ternullo (HP collaborators) to have the same picture; we could ask them.

Why do you ask? Unless someone can refute my picture then I’m willing to be the only “weirdo” who has it.

Then when I expressed surprise, you wrote this (on August 11):

You got this wrong. I indeed expect that others have similar pictures in their heads but can’t assume that they have the same picture. There is Sy’s picture but also Carolin’s picture, Tatiana’s picture …

I thought this meant you were still considering a concept special to a small group.  You clarified (on August 20):

Of course I expect that other people’s mental pictures of the universe of sets share a lot in common with mine. … I think we are in agreement, the problem was my failure to realise that the “maximal iterative conception” does indeed include maximising width.

This was the point at which it became clear that you were intending to work with the familiar iterative conception, which includes maximization of height and width.

II.  On the basis for the concern that ‘width maximality’ conflicts with ‘thickenings':

I expressed the concern that anything with a thickening seems a poor candidate for being maximal in width.

Indeed, and as I said to you in a private e-mail:

“You (and Peter) are judging whether or not my take on maximality via lengthenings and thickenings is a fair interpretation of maximality. What criteria are you using to pass that judgment? I maintain that they are not extrinsic! Instead they are based on whether my description of maximality is consistent with or (even better) intrinsic to your intuitions about maximality.”

I can’t speak for Peter, but I wasn’t intending to bring anything extrinsic into the discussion at this point.  It may be tricky on occasion to determine what is and isn’t ‘implicit in the concept’, but the idea that something with a ‘thickening’ isn’t ‘maximal in width’ is a straightforward matter of the ordinary meaning of ‘maximal’.

III.  My personal views about the respective roles of intrinsic and extrinsic considerations:

I understand that you reject these views, but they aren’t involved in the line of discussion outlined last time:

In our initial discussions, you were working with a concept of the set-theoretic universe that seemed special to yourself and a small group of co-workers.  To define set-theoretic truth on that basis was inappropriately idiosyncratic.

Since then, you’ve been working with the familiar iterative conception of the set-theoretic universe, which includes a vague principle of maximality of height and width.  You observed that (at least part of) height maximality is typically understood to be well-captured by a slightly less vague reflection principle that says:  any property of V is already a property of some initial segment.  You then proposed that (at least part of) width maximality is analogously well-captured by a slightly less vague width principle that says:  any property of a thickening of V is also a property of a thinning of V.

I expressed the concern that anything with a thickening seems a poor candidate for being maximal in width.

You replied that, despite appearances, the slightly less vague reflection principle implicitly involves lengthenings, and that your proposed thickenings are playing a role analogous to these lengthenings.  You gave some arguments for the first of these claims, citing work of Peter’s.

We then appealed to Peter for his opinion.  Peter has now given his reasons for thinking this line of thought doesn’t work.

This is just an examination of how you propose to understand what’s implicit in the widely-shared iterative conception (with both kinds of maximality).

All best,
Pen

Re: Paper and slides on indefiniteness of CH

Dear Pen,

Before responding to Peter I’ll respond to you.

On Wed, 10 Sep 2014, Penelope Maddy wrote:

Thanks for the clarifications, Peter. Let me now address Sy …

Dear Sy,

Here’s the point I take our exchange to have reached:

In our initial discussions, you were working with a concept of the set-theoretic universe that seemed special to yourself and a small group of co-workers. To define set-theoretic truth on that basis was inappropriately idiosyncratic.

You seem to be using a rather narrow definition of “initial discussions”, as thanks to your observations I was quickly led to make the following point:

Set-theoretic truth is indeed about what is common to these pictures [of the set-theoretic universe] after an exchange of ideas.

The phrase “inappropriately idiosyncratic” is very strong.

Since then, you’ve been working with the familiar iterative conception of the set-theoretic universe, which includes a vague principle of maximality of height and width. You observed that (at least part of) height maximality is typically understood to be well-captured by a slightly less vague reflection principle that says: any property of V is already a property of some initial segment. You then proposed that (at least part of) width maximality is analogously well-captured by a slightly less vague width principle that says: any property of a thickening of V is also a property of a thinning of V.

I expressed the concern that anything with a thickening seems a poor candidate for being maximal in width.

Indeed, and as I said to you in a private e-mail:

You (and Peter) are judging whether or not my take on maximality via lengthenings and thickenings is a fair interpretation of maximality. What criteria are you using to pass that judgment? I maintain that they are not extrinsic! Instead they are based on whether my description of maximality is consistent with or (even better) intrinsic to your intuitions about maximality.

This is not a small point. My view of the HP is that its acceptance hinges on judgments like the one you started to make and now Peter is making regarding my presentation of maximality. In this sense, not only is the presentation of the programme free of extrinsic considerations but it can also be judged that way and therefore indeed qualifies as a theory of “intrinsic truth”.

Your preference is to rename what I call “intrinsic truth” as “intrinsic heuristic” and then judge it based on its value for set-theoretic practice. Mine is simply to not change names and allow “intrinsic truth” and set-theoretic practice to operate independently. Your position forces an “intrinsic” theory to be judged “extrinsically” and mine does not. I don’t see what the advantage is of your (narrower) position.

You and Peter (in his most recent mail) are teaching me that judgments about what is “intrinsic” can be difficult. But I would maintain that judgments about “good mathematics” are just as difficult, perhaps even more so. Do you really think that judgments about “good mathematics” are not sometimes “special to one person and a small group of his co-workers”? Is the pot calling the kettle black (apologies to any non-native speakers out there who are reading this)?

You replied that, despite appearances, the slightly less vague reflection principle implicitly involves lengthenings, and that your proposed thickenings are playing a role analogous to these lengthenings. You gave some arguments for the first of these claims, citing work of Peter’s.

We owe Peter an apology: When I mentioned Peter to you in my e-mail it was only to supply a reference for higher-order reflection, nothing more. I did not mean to imply that he was in favour of lengthenings! Sorry, I failed to make this clear in my message.

We then appealed to Peter for his opinion. Peter has now given his reasons for thinking this line of thought doesn’t work.

At this point, would you like to dispute Peter’s analysis or perhaps modify your defense of the HP?

I’ll write to Peter (and the group) soon.

Best,
Sy

Re: Paper and slides on indefiniteness of CH

Dear Peter,

Thanks for your message, especially the first half with helpful clarifications regarding the proper use of the terms “extrinsic” and “intrinsic”. I especially like your suggestion of considering “degrees of intrinsicness” (“relativised” versions) and this should fit very well with the HP. This is perhaps anticipated by Pen’s comment near the end of her 27.August message, where she reports that I might consider “returning to the proposal of a different conception of set. The challenge there is to do so without returning to the unappealing idea that ‘intrinsic justification’ and ‘set-theoretic truth’ are determined by a conception of the set-theoretic universe that’s special to a select group.” One could perhaps interpret “special to a select group” as “low degree of intrinsicness” in your sense.

But more to the point, Peter, the situation is as follows: Pen and I initiated a process of carefully examining the steps in the HP and got stuck. As Pen said in her 27.August message, one of the key steps is my claim to extract something new from the Maximal Iterative Conception (MIC). Her message includes a description of my claim, which includes the use of “lengthenings” and “thickenings” of mental pictures of V. Pen felt that there was “something off about a universe being ‘maximal in width’, but also having a ‘thickening'” and I replied that “lengthenings” were already implicit in reflection (Pen’s message includes my argument for that). At that point Pen decided it would be best to consult with you directly about the role of “lengthenings” in reflection and explicitly asked for your opinion. What do you think? I’d really appreciate your response because Pen and I have been waiting for it since August 27!

Regarding the second half of your message: I do not claim that the IMH is intrinsically justified! This is partly my fault, since my views have changed since Tatiana and I wrote our paper. In my 7.August message to Pen I say:

… as my views have evolved slightly since Tatiana and I wrote the BSL paper I’d like to take the liberty (see below) of fine-tuning and enhancing the picture you present above. My apologies for these modifications, but I understand that changes in one’s point of view are not prohibited in philosophy? ;)

I go on to say:

… what I came to realise is that the IMH deals only with “powerset maximality” and it is compelling to also introduce “ordinal maximality” into the picture. (I should have come to
that conclusion earlier, as indeed the existence of inaccessible cardinals is derivable from the intrinsic maximal iterative concept of set!)

And further on:

This was an important lesson for me and strongly confirms what you suggested: In the HP (Hyperuniverse Programme) we are not able to declare ultimate and unrevisable truths. Instead it is a dynamic process of exploration of the different ways of instantiating intrinsic features of universes, learning their consequences and synthesising criteria together with the long-term goal of converging towards a stable notion ….

I do understand that I said very different things in my original paper with Tatiana, but I tried to correct this in my 7.August e-mail to Pen. And I do realise that it is too much to ask that you sift through all of those e-mails I sent to Pen (there were many!) so I’m happy to repeat things now to sort out misunderstandings.

In abridged form: The HP starts with intrinisic features of V that follow from the Maximum Iterative Conception and then provides a method for turning these features into precise mathematical criteria which ultimately yield first-order statements. The process is dynamic, whereby the choice of criteria together with their first-order consequences can change over time, as indicated in the last quote above. So one does not arrive at “unrevisable intrinsically justified” statements, as sometimes criteria and their consequences are discarded as the programm progresses. This already happened to the IMH: it must be synthesised with ordinal-maximality, and if this is done using the Friedman-Honzik form of reflection (\#-generation) this removes its anti-large cardinal consequences.

The above description obviously leaves huge gaps, in particular it does not explain what the mathematical criteria are about and how they are chosen. But it gives the rough idea and I hope clarifies that the word “intrinsic” is intended to apply to features of V and only to criteria and their consequences after a lengthy (practice-independent) process of analysis and synthesis has occurred. I plan to examine each feature of the HP carefully in further discussions with Pen. But we are in need of your response to her message!

Thanks,
Sy

PS: The HP is not concerned with justifications of consistency. The consistency of large cardinals is taken as given in the programme.

Re: Paper and slides on indefiniteness of CH

Dear Pen and Sy,

I have benefited from your exchange. I’ll try to add some input.

Sy: I have wanted to say something about your proposal. But I am still very unclear on how you understand the philosophical landscape, in particular, on how you understand the distinction between intrinsic and extrinsic justification.

One of the distinctive aspects of your view — a selling point, from a philosophical point of view — is that it involves pursuit of “intrinsic justifications”, as opposed to “extrinsic justifications”. But I am not sure how you are using these terms. From your exchange with Pen it seems that your usage is quite different from the original, namely, that of Gödel.

For Gödel a statements S is intrinsically justified relative to a concept C (like the concept of set) if it “follows from” (or it “unfolds”, or is “part of”) that concept. The precise concept intended is far from clear but it seems clear that whatever it is intrinsic justifications are supposed to be very secure, not easily open to revision, and qualify as analytic. In contrast, on your usage it appears that intrinsic justifications need not be secure, are easily open to revision, and (so) are (probably) not analytic.

For Gödel a statement S is “extrinsically justified” relative to a concept C (like the concept of set) if it is justified (on the basis of reasons grounded in that concept) in terms of its consequences (especially its “verifiable” consequences), just as in physics. Again this is far from precise but it seems clear that extrinsic justifications are not as secure as intrinsic justifications but instead offer “probable”, defeasible evidence. In contrast, on your usage it appears that you do not understand “extrinsic justification” as an epistemic notion, but rather you understand it as a practical notion, one having to do with meeting the aims of a pre-established practice.

So, you appear to use “intrinsic justification” for an epistemic notion that is not as secure as the traditional notion but rather merely gives epistemic weight that falls short of being conclusive. Moreover, at points, when talking about intrinsic justifications you talk of testing them in terms of their consequences. So I think that by “intrinsically justified” you mean either “intrinsically plausible” or “extrinsically justified”.

I think you need to be more precise about how you use these terms and how your usage relates to the standard usage. This is especially important if the main philosophical selling point of your proposal is that it is re-invigorating “intrinsic justifications” in the sense of Gödel. (Good places to start in getting clear on these notions are the papers of Tony Martin and Charles Parsons.)


In what I say next I will use “intrinsic justification” in the standard sense, both for the sake of definiteness and because it is on this understanding that your view is distinctive from a philosophical point of view.

Let me begin with a qualification. I am generally wary of appeals to
“intrinsic justification”, for the same reason I am generally wary of
appeals to “self-evidence”, the reason being that in each case the
notion is too absolute — it pretends to be a final certificate, an
epistemic high-ground, a final court of appeal. But in fact there is
little agreement on what is intrinsically justified (and on what is
self-evident). For this reason, in the end, discussions that employ
these notions tend to degenerate into foot-stamping. It is much
better, I think, to employ notions where there is widespread
intersubjective agreement, such as the relativized versions of these notions, notions like “A is more intrinsically plausible than B” and “A is more (intrinsically) evident than B”. This is one reason I find
extrinsic justifications to be more helpful. They are piecemeal and
modest and open to revision under systematic investigation. (I think
you agree, since I think that ultimately by “intrinsic justification”
you mean what is normally meant by “extrinsic justification”).

But let me set that qualification aside and proceed, employing the notion of “intrinsic justification” in the standard sense, for the
reasons given above.

There is an initial puzzle that arises with your view.

THE PUZZLE

  1. You claim that IMH is intrinsically justified.
  2. You claim that inaccessible cardinals — and much more — are intrinsically justified
  3. FACT: IMH is implies there are no inaccessibles.

Contradiction!

The natural reaction at this point would be to think that there is
something fundamentally problematic about this approach.

But perhaps there is a subtlety. Perhaps in (1) and (2) intrinsic
justifications are relative to different conceptions.

When you claim that IMH is intrinsically justified what exactly are you saying and what is the case for the claim? Are you saying IMH (a) intrinsically justified relative to our concept of set (which, on the face of it, concerns V) or (b) the concept of being a countable transitive model of ZFC, or (c) the concept of being a countable transitive model of ZFC that meets certain other constraints? Let’s go through these options one by one.

(a) IMH is intrinsically justified relative to the concept of set. I don’t see the basis for this claim. To the extent that I have a grasp on the notion of being intrinsically justified relative to the concept of set I can go along with the claims that Extensionality and Foundation are so justified and even the claims that Infinity and Replacement and Inaccessibles are so justified (thus following Gödel and others) but I lose grip when it comes to IMH. Moreover, IMH implies that there are no inaccessibles. Does that not undermine the claim that IMH is intrinsically justified on the basis of the concept of set? Assuming it does (and that this is not what you claim) let’s move on.

(b) IMH is intrinsically justified relative to the concept of being a
countable transitive model of ZFC. I have a good grasp on the notion of being a countable transitive model of ZFC. And I think it is interesting to study this space. But when I reflection this space –when I try to unfold the content implicit in this idea — I can reach nothing like IMH.

(c) IMH is intrinsically justified relative to the concept of being a countable transitive model of ZFC that meets certain other constraints. I can certainly see going along with this. But, of course, it depends on what the other constraints are. We have two options: (i) We can be precise about what we mean. For example, we can build into the notion that we are talking about the concept of being a countable transitive model of ZFC that satisfies X, where X is
something precise. We might then deduce IMH from X. In this case we know what we are talking about — that is, we know the subject matter — but we merely “get out as much as we put in”. Not so interesting. (ii) We can be vague about what we mean: For example, we can say that we are talking about countable transitive models of ZFC that are “maximal” (with respect to something). But in that case we have little idea of what we are talking about (our subject matter) and it seems that “anything goes”.

You seem to want to resolve the conflict in (a) — between the claim
that inaccessibles are intrinsically justified and the claim that IMH
is intrinsically justified — by resorting to both intrinsic justifications on the basis of our concept of set (which gives inaccessibles) and intrinsic justifications on the basis of the hyperuniverse (understood as either (i) or (ii) under (c)) and which gives IMH) and you seem to want to leverage the interplay between these two in such a way that it gives us information about our concept of set (which concerns V). But what can you say about the relationship between these two forms of intrinsic justification? Is there some kind of “meta” (or “cross-domain”) form of intrinsic justification that is supposed to give us confidence about why intrinsic justifications on the basis of the hyperuniverse should be accurate indicators of truth (or intrinsic justifications on the basis of) our concept of set?


One final comment: Here is an “intuition pump” regarding the claim that IMH is intrinsically justified.

THE FACTS:

  1. If there is a Woodin cardinal with an inaccessible above then IMH
    is consistent.
  2. If IMH holds then measurable cardinals are consistent.

So, if IMH is intrinsically justified (in the standard sense) then we can lean on it to ground our confidence in the consistency of measurable cardinals. For my part, the epistemic grounding runs the other way: IMH provides me with no confidence in the consistency of measurable cardinals (or of anything). Instead, the consistency of IMH is something in need of grounding. Fact (1) above provides me with evidence that IMH is consistent. Fact (2) does not provide me with evidence that measurable cardinals are consistent. I think most would agree. If I am correct about this then it raises further problems for the claim that IMH is intrinsically justified (in the standard sense).


I have further comments and questions about your notion of “sharp-generated reflection” and how you use it to modify IMH to \textsf{IMH}^\#. But those questions seem premature at this point, given that I am not on board with the basics. Let me just say this: The fact that you are readily modify (intrinsically justified) IMH to \textsf{IMH}^\# in light of the fact that IMH is incompatible with (intrinsically justified) inaccessibles indicates that your notion of intrinsic justification is quite revisable and, I think, best regarded as “intrinsic plausibility” or “extrinsic justification” or something else

Best,
Peter

Re: Paper and slides on indefiniteness of CH

Dear Sy,

My apologies!  After sending my last message, I began to worry that I’d gotten you wrong, and I had.  We have on the table three possible attitudes on the relations between HP and the current practice of set theory:

  1. The current practice has ‘veto power’.  That is, if the HP followers come up with a principle that contradicts the existence of MCs, they say, ‘oops, back to the drawing board’.
  2. The HP has veto power.  That is, if the HP followers come up with a principle that contradicts the existence of MCs, they say to the community, ‘terribly sorry, but you’ll have to give that up’.
  3. The HP and the current practice chug along side-by-side; they’re just ‘investigating different notions of truth’.

When you backed off of (1), I was so worried about (2) that I didn’t fully appreciate that you were advocating (3).  The idea is that the HP and Hugh’s project are both fine, legitimate, worthy, whatever — they’re aiming at different sorts of truth — and you’re just pursuing yours.  (If I may for a moment insert my own views here, I don’t think the use of ‘truth’ or ‘different notions of truth’ here is appropriate or helpful.  In my mind, we’re just considering two different set-theoretic projects, but I’ll suppress that for the sake of discussion.)

About concepts –

OK, so what grounds your ‘notion of truth’?  (We’ll leave Hugh aside.)  Answer:  it’s faithful to intrinsic considerations, to the concepts of set and set-theoretic universe.  And what are these concepts?  You say,

I have a mental picture of sets and of the universe of sets and my concepts of set and universe coincide with these mental pictures. My claim is that one can indeed make new discoveries that refine these pictures through the Hyperuniverse Programme. With my dynamic and epistemic approach to truth there can be no presumption of a “fact of the matter” regarding truth but only a process of refinement of what we take as true through the continued exploration of intrinsically-motivated criteria for the choice of preferred pictures of the universe of sets.

First question:  Is this your personal picture or one you share with others?  Does Hugh have this picture, too, and just ignore it?

Second question:  It sounds as if you’re saying that sometimes what happens in the HP is that we make new discoveries about the relevant concepts, and sometimes we ‘refine’ those concepts in ways that aren’t predetermined by the concepts.  (Does the phrase ‘refinement of what we take as true’ trouble you at all? Don’t ‘true’ and ‘what we take as true’ at least potentially diverge?)  In the second kind of case, what grounds those refinements?  It can’t be that they’re faithful to the concepts, so what is it?

You will deny that anything extrinsic is involved here, that any consideration of how set theory might be fruitfully guided comes into it.  But our agreed-upon summary of your position includes the claim that HP-generated principles are tested by ‘their ability to settle independent questions’.  This is at least a minimally extrinsic criterion.  And I doubt you would want to say that all ways of settling the independent questions are equally good.  I also doubt that you’d continue to pursue a principle suggested by your HP project if it only led to trivial and boring mathematics.

About truth –

My “gripe” is when good mathematics gets promoted to the status of “discovery about truth” without adequate justification. I think that Hugh, for example, has done this. I would like philosophers to take a more active role in preventing this from happening. If there is something that I would like to discard it is not good mathematics but the misuse of good mathematics to make unjustified claims about set-theoretic truth.

This doesn’t sound quite as (3)-like as I would have expected.  It does sound as if you think you have a special right to the word ‘true’, and that Hugh hasn’t properly earned his use of it.  (Again, if you ask this philosopher to take a more active role, I’d say that this is a pointless squabble over window-dressing, over an empty honorific ‘true’.  The real debate is between the two set-theoretic projects and their fruits.)

A clarification –

(My take is that your so-called ‘intrinsic justifications’ are actually functioning as heuristics that are helping you get to some interesting ideas, but that the justification will come from the extrinsic success of those ideas.)

That is unfair. I am not just looking for ways of generating interesting new mathematics (although that >has certainly occurred) but am motivated by the desire to come as close as I can to “the right picture >of V”. My ideas are in no need of extrinsic justification (which of course cannot be ruled out).

In that parenthetical passage, I allowed myself to step outside the project of characterizing your position and to explain how I see the situation in my own voice — as I’ve allowed myself to do a couple of times above.  I’m sorry it came across instead as an unfair reading of you.  It certainly would be unfair as a reading of you!

All best,
Pen