Probability and logic