bhobba said:
You mean to say, for example, you can't assume tomorrow there is a probability it will rain or not.
In a sense that's right. The statement "there is an 80% chance of rain tomorrow" is a bit meaningless unless it is qualified. For instance, you can say that, historically, there has been rain at your location 8 out of 10 March 23rds, and you expect the trend to continue in the future. Or you may have a model of the climate, that when fed today's atmospheric data, produces rain in 24 hours in 8 out every 10 model runs.
If you did your job right, you will see your predictions of this type be confirmed by experiment which will then justify the shorthand "there's a 80% probability of rain tomorrow". But the precise meaning of probability in this context is clear: I have a frequentist definition that came from my use of a model that I can, in fact, run many times.
When it comes to many worlds, I don't see such a frequentist approach working unless there's a branch counting argument, which people such as Wallace explicitly advise against. It is then illegitimate to refer to the measure obtained from Gleason's theorem as a probability; it is best termed a
weight. Then more work is required to find the physical meaning of these weights.
bhobba said:
Regarding Newtons first law by mentioning acceleration you are assuming position is twice differentiable - that is an implicit but unstated assumption. Should it be stated as an axiom? I think modern versions of classical mechanics based on sympletic geometry do just that - but is really only used by mathematicians of the pure variety. Such things are purely a matter of taste and semantics which I think is the silliest thing I know to argue about.
I don't require the axioms to be stated with mathematical rigor, necessarily, but I want them to elucidate what assumptions are being made. I think it's clear, if implicit, that Newton's first law implies differentiability properties for classical paths. The issue with MWIs is that they don't say anything, explicitly or implicitly.
EDIT:
bhobba said:
Here is an article that I found that examines the isssue of axiomatics in what I consider a fair way - giving points for and against:
https://arxiv.org/pdf/gr-qc/9703089.pdf
Yes, I'm familiar with that paper. I agree with him that "I'm uncomfortable with the idea of many worlds" is not a valid objection, and that the program is worthwhile. I also agree with him that it's still not clear what all these not obviously equivalent versions of MWI are saying. It's possible that things have moved on since then, but if we take a look at more recent papers, e.g.
https://arxiv.org/abs/1405.7907
and its rejoinder by A. Kent
https://arxiv.org/abs/1408.1944
The situation doesn't appear to be any better resolved.