Just to confirm: Writing pt, the probability of A at time t, as pt=E[1A∣Ft] (here Ft is the sigma-algebra at time t), we see that pt must be a martingale via the tower rule.
The log-odds xt=logpt1−pt are not martingales unless pt≡const because Itô gives us
dxtdef=dlogpt1−ptItô=1pt(1−pt)dptmartingale part+12(1(1−pt)2−1p2t)d[p]tdrift part.
So unless pt is continuous and of bounded variation (⇒ d[p]t=0, but this also implies... (read more)
(Why) are you not happy with Velenik's answer or "a probabilistic theory (Ω,F,P) tells us that if we look at an event A∈F and perform the same experiment N→∞ times, then the fraction of experiments where A happened approaches P(A) in a LLN-like manner"? Is there something special about physical phenomena as opposed to observables?
>[0,1] can be written as the union of a meager set and a set of null measure. This result forces us to make a choice as to which class of sets we will neglect, or otherwise we will end up neglecting the whole space&n... (read more)
I think this depends a lot on what you're interested in, i.e. what scoring rules you use. Someone who runs the same analysis with Brier instead of log-scores might disagree.
More generally, I'm not convinced it makes sense to think of "precision" as a constant, let alone a universal one, since it depends on
- the scoring rule in question: Imagine a set of forecasts that's awfully calibrated on values <1% and >99%, but perfectly calibrated on values between 1% and 99%. With the log-score, this
... (read more)