On Logical Foundations of Probability Theory