Modern logic and quantum mechanics