# Empirical probabilities are not exactly 0 or 1

https://arbital.com/p/cromwells_rule

by Eliezer Yudkowsky Jun 20 2016 updated Jul 6 2016

"Cromwell's Rule" says that probabilities of exactly 0 or 1 should never be applied to empirical propositions - there's always some probability, however tiny, of being mistaken.

[summary: Cromwell's Rule in statistics forbids us to assign probabilities of exactly $0$ or $1$ to any empirical proposition - that is, it is always possible to be mistaken.

• Probabilities of exactly $0$ or $1$ correspond to infinite log odds, meaning that no finite amount of evidence can ever suffice to reach them, or overturn them. Once you assign probability $0$ or $1,$ you can never change your mind.
• Sensible universal priors never assign probability exactly $0$ or $1$ to any predicted future observation - their hypothesis space is always broad enough to include a scenario where the future is different from the past.]

Cromwell's Rule in statistics argues that no empirical proposition should be assigned a subjective probability of exactly $0$ or $1$ - it is always possible to be mistaken. (Some argue that this rule should be generalized to logical facts as well.)

A probability of exactly $0$ or $1$ corresponds to infinite log odds, and would require infinitely strong evidence to reach starting from any finite prior. To put it another way, if you don't start out infinitely certain of a fact before making any observations (before you were born), you won't reach infinite certainty after any finite number of observations involving finite probabilities.

All sensible universal priors seem so far to have the property that they never assign probability exactly $0$ or $1$ to any predicted future observation, since their hypothesis space is always broad enough to include an imaginable state of affairs in which the future is different from the past.

If you did assign a probability of exactly $0$ or $1,$ you would be unable to update no matter how much contrary evidence you observed. Prior odds of 0 : 1 (or 1 : 0), times any finite likelihood ratio, end up yielding 0 : 1 (or 1 : 0).

As Rafal Smigrodski put it:

"I am not totally sure I have to be always unsure. Maybe I could be legitimately sure about something. But once I assign a probability of 1 to a proposition, I can never undo it. No matter what I see or learn, I have to reject everything that disagrees with the axiom. I don't like the idea of not being able to change my mind, ever."