Logic and Conditional Probability: A Synthesis