Textbook in PDF format This book presents a logical system that is able to capture all aspects of modern probability as it is practiced today. The system is then used to rigorously formulate the principle of indifference. 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