Empirical logic and quantum mechanics