Definition
Probability Theory
Probability theory is the mathematical theory of randomness. It models uncertain outcomes using a probability space , where contains the possible outcomes, contains the events, and assigns a probability to each event.
Direction of Reasoning
The population or probability model is treated as known. Probability theory then applies logical, self-contained rules to calculate the probabilities of events concerning it.
Character
- It provides rules for calculating probabilities.
- Its conclusions follow logically from the specified model and assumptions.
- Once these are fixed, a well-posed probability question has one correct answer.
Empirical Grounding
Probability theory is deductive: its axioms determine what follows from a probability model, but they do not by themselves guarantee that the model describes a real process. Reality enters when the model is constructed and tested:
- A random experiment, its possible outcomes, and relevant events are identified.
- Probabilities are assigned using known mechanisms, symmetries, or observed data.
- The resulting predictions are compared with further observations and the model is retained, refined, or rejected.
For an event observed over repetitions, its empirical frequency is
where when occurs and otherwise. If the repetitions are independent and follow the same model with , the law of large numbers gives
Predicted probabilities can therefore be checked against stable frequencies across repeated or comparable situations. Probability theory works well when real processes exhibit such regularities and the chosen model captures the mechanisms relevant to the question.
A die model
The symmetry of an ideal die motivates for each face . Repeated rolls test this model: persistent frequencies far from suggest that the die or rolling mechanism is not adequately represented by the ideal model.
Warning
The law of large numbers is conditional on the probability model; it does not prove that nature follows that model. Empirical agreement supports the modelling assumptions, while systematic disagreement requires them to be revised.