Quantum Physics and Logic