Logical Foundations of Probability Theory