Logic and Probability