Cox develops and demonstrates that probability theory is the only theory of inductive inference that abides by logical consistency. He does so through a functional derivation of probability theory as the unique extension of Boolean Algebra thereby establishing the legitimacy of probability theory as formalized by Laplace in the 18th century. (Mathematics)