Probability theorists are primarily divided into two camps. Both are concerned with frequencies within a predictive framework and reasonable expectations. But each side prioritizes one over the other as the primary concept of probability. The frequency interpretation is more popular, but the author of this paper, Richard Cox believes this is a mistake. He provides the example of a box containing two white balls and one black ball, identical except for color. He then explains how each group would interpret this situation.
The frequentist interpretation would assess the probability of a white ball being drawn as ⅔. They solve the problem by imagining drawing one ball from an indefinite number of boxes; or repeatedly drawing one ball from a box and then replacing it. In either case, over a huge number of repetitions, the frequency of a white ball being drawn would converge at ⅔. According to them, this is not a prediction of probability theory, but a definition of probability. Probability is a characteristic of the “ensemble” (test setup) and doesn't exist without it.
In the second interpretation, probability theory provides the reasonable expectation of drawing a white ball two-thirds of the time and a black ball one-third of the time. This measure of reasonable expectation is the primary meaning of probability according to the second group.
The two interpretations of probability do have a lot in common. Both methods can algebraically calculate the probability that an event will occur or not, that one or another event will occur, or that both events will occur. Each also specifies that if an event is unlikely to occur, then it is more likely not to occur. Likewise, the probability of two events occurring together is less than the probability of the least likely of the two.
If frequencies and reasonable expectations were perfectly interchangeable, then the division among probability theorists would be purely grammatical. However, there are important differences. In some cases, it is impossible to imagine an ensemble that could repeatedly test the frequency of an event. But there are cases where a probability cannot be determined by an ensemble. For example, there is a notion in science that a simple hypothesis is preferred to a complex one. Two or more postulates being true is less likely than a single postulate of the same likelihood being true. This preference is a reasonable belief, but does not have a testable frequency.
Cox argues that the weakness of the frequentist interpretation is that there are so many situations where a definable ensemble does not exist. The rules that were derived from testing frequencies within ensembles cannot be justified in uses outside of this domain.
John Maynard Keynes developed an original theory of probability which does not depend on frequency. To Keynes, the theory of probability is a form of logic that applies to probable inferences. Probability is thus the degree of rational belief corresponding to a hypothesis and its conclusion. Probability excludes absolute certainty and impossibility (the domain of deductive logic), but concerns the values in between these extremes. The frequency definition of uncertainty is invalid because it treats probability as a property of an object which has a certain value, like distance or time in mechanics.
While Cox agrees with Keynes' views on probabilities, he felt there was still work to be done in defining its foundational axioms. Many of the postulates of Keynesian probability theory come from the study of games of chance (coin flips, dice, card games) and bear “tool marks” of this origin. Cox's goal was to derive foundational axioms of probability independent of any ensemble.
To do this, Cox outlines the basics of symbolic logic and provides eleven foundational axioms. Of these, six are foundational and the remaining five can be derived from the former. These axioms provide the basic rules by which algebraic manipulations can be performed on expressions of logical probability, which he defines next.
He uses the symbols b|a to describe the probability of b if a is accepted as true. He restates this as “the credibility of b on the hypothesis a.” Mathematical formulas can be used to operate on expressions of probability in this form. Cox demonstrates several, including multiplication and exponentials. The most important assumption of this section is that the probability of c and b given a (c·b|a) equals the probability of c given b and a and also b given a (c·b|a = c|b·a , b|a).
Cox explains this with an example of the probability that a runner can run a given distance and back on a certain track without stopping.
The value a is what we know about the physical condition of the runner and the track.
The value b is the evidence that he has run a given distance without stopping.
The value c is that he has returned from that distance without stopping.
The probability that the runner can run the first leg without stopping given what we know from a is: b|a. The probability that the runner returns without stopping given that the first leg was completed and also given what we know from a is: (c|b·a). Thus, the probability that the runner can run a certain distance and return (c·b|a) is a function of the first two probabilities.
A second assumption relates to the probability of b and not-b given a. The symbol, ~b, is used to mean “not b” in the sense that if b means “the car is white,” then ~b means “the car is not white.” The ~ symbol does not imply the contradiction, which would be “the car is black”. One important formula to know from this section is that the probability of b|a + ~b|a = 1. In other words, the sum of probabilities for b given a and not-b given a is 1 (a probability value of 1 means complete certainty).
Part one of this paper argued that probability has a wider scope beyond what the frequency definition implies. The second part derived the basic rules of probability from fundamental axioms. The third part of the essay explains how this new understanding of probability handles the frequency of an event.
Cox gives the example of two samples of radon. One is older than the other, but they are unlabelled. Each is attached to an identical ion counter and the goal is to predict which sample will reach 1000 ion counts first. A physicist with knowledge of quantum mechanics would estimate the two samples have equal probability of reaching 1000 counts first. An ordinary person without knowledge would derive the same probability, but out of ignorance. The estimate of the physicist is called an objective probability. The estimate of the non-physicist is commonly called a subjective probability, though Cox prefers the term “primary probability.” This term better describes a situation in which nothing is known about the problem.
Cox then describes a situation in which a die is rolled many times and may or may not have two sides with four dots. The frequency of rolling a four should be either 1 in 6 or one 1 in 3. In this case, a stable probability can never be reached, but it can be estimated. Cox then derives that an estimate grows “sharper” the more trials have been conducted. Though Cox doesn't use the term, this is often called “the Law of Large Numbers.” He then addresses an assumption of Laplace, that an unknown probability is equally likely to have any value between 0 and 1. This assumption is generally true, except in cases where the probability value is 0 or 1, or when the number of trials is very small. Cox proves that Laplace was correct, but with less generality than Laplace supposed.
Under Cox's reasonable expectation interpretation of probability, the frequency of an event approaches a stable probability as the number of instances increases and he concludes: “that is all we should expect of it.” A “true” frequency can never be reached, since an infinite number of experiments cannot be run.