Logic and Probability in Quantum Mechanics