On the Logic of Quantum Mechanics