Hmm. I don’t think I see the logical rudeness, I interpreted TAG’s comment as “the problem with non-timeless propositions is that they don’t evaluate to the same thing in all possible contexts” and I brought up Everett branches in response to that, I interpreted your comment as saying “actually the problem with non-timeless propositions is that they aren’t necessarily constant over the course of a computation” and so I replied to that, not bringing up Everett branches because they aren’t relevant to your comment. Anyway I’m not sure exactly what kind of explanation you are looking for, it feels like I have explained my position already but I realize there can be inferential distances.
“the problem with non-timeless propositions is that they don’t evaluate to the same thing in all possible context
It’s more
“the problem with non-timeless propositions is that they don’t evaluate to the same thing in all possible context AND a change of context can occur in the relevant situation”.
No one knows whether Everett branches are, or what they are. If they are macroscopic things that remain constant over the course of the SB story, they are not a problem....but time still is, because it doesn’t. If branching occurs on coin flips, or smaller scales, then they present the same problem as time indexicals.
Right, so it seems like our disagreement is about whether it is relevant whether the value of a proposition is constant throughout the entire problem setup, or only throughout a single instance of someone reasoning about that setup.
Hmm. I don’t think I see the logical rudeness, I interpreted TAG’s comment as “the problem with non-timeless propositions is that they don’t evaluate to the same thing in all possible contexts” and I brought up Everett branches in response to that, I interpreted your comment as saying “actually the problem with non-timeless propositions is that they aren’t necessarily constant over the course of a computation” and so I replied to that, not bringing up Everett branches because they aren’t relevant to your comment. Anyway I’m not sure exactly what kind of explanation you are looking for, it feels like I have explained my position already but I realize there can be inferential distances.
It’s more “the problem with non-timeless propositions is that they don’t evaluate to the same thing in all possible context AND a change of context can occur in the relevant situation”.
No one knows whether Everett branches are, or what they are. If they are macroscopic things that remain constant over the course of the SB story, they are not a problem....but time still is, because it doesn’t. If branching occurs on coin flips, or smaller scales, then they present the same problem as time indexicals.
Right, so it seems like our disagreement is about whether it is relevant whether the value of a proposition is constant throughout the entire problem setup, or only throughout a single instance of someone reasoning about that setup.