Using nine rules of inductive inference, a calculus of probability is developed that operates directly on sentences – without reference to outcomes or sample spaces. Its surprising strength is expressed by three embedding theorems, based on an underlying many-worlds semantics in which random variables play a foundational role.
The calculus allows a formal treatment of the principle of indifference. Roughly speaking, this heuristic idea, which dates back to the time of Laplace, says that we should assign the same probability to two possibilities about which we are "equally ignorant". Despite being almost self-evident, the principle has a problematic history. It is well known to produce paradoxes when used without caution.
This is the first logical system to fully codify modern probability, revealing it to be a form of logic, as Leibniz and Boole envisioned. Modern science is more probabilistic today than ever before. Once shunned by the mainstream, Bayesian ideas now flourish. In such an environment, it is not enough to know how to calculate probabilities. We must understand the nature of probability itself. We must have a conceptual mindset to drive our calculations and our model building. The logical system described in this book lays bare this mindset, showing it to us with explicit clarity.
Using nine rules of inductive inference, a calculus of probability is developed that operates directly on sentences – without reference to outcomes or sample spaces. Its surprising strength is expressed by three embedding theorems, based on an underlying many-worlds semantics in which random variables play a foundational role.
The calculus allows a formal treatment of the principle of indifference. Roughly speaking, this heuristic idea, which dates back to the time of Laplace, says that we should assign the same probability to two possibilities about which we are "equally ignorant". Despite being almost self-evident, the principle has a problematic history. It is well known to produce paradoxes when used without caution.
This is the first logical system to fully codify modern probability, revealing it to be a form of logic, as Leibniz and Boole envisioned. Modern science is more probabilistic today than ever before. Once shunned by the mainstream, Bayesian ideas now flourish. In such an environment, it is not enough to know how to calculate probabilities. We must understand the nature of probability itself. We must have a conceptual mindset to drive our calculations and our model building. The logical system described in this book lays bare this mindset, showing it to us with explicit clarity.
The Principles of Probability: From Formal Logic to Measure Theory to the Principle of Indifference
The Principles of Probability: From Formal Logic to Measure Theory to the Principle of Indifference
Paperback
Product Details
| ISBN-13: | 9783032094490 |
|---|---|
| Publisher: | Springer Nature Switzerland |
| Publication date: | 12/18/2025 |
| Series: | Lecture Notes in Mathematics , #2384 |
| Product dimensions: | 6.10(w) x 9.25(h) x (d) |