Quantum Physics And Logic