Quantum logic has been proposed as the correct logic for propositional inference generally, most notably by the philosopher Hilary Putnam, at least at one point in his career. This thesis was an important ingredient in Putnam's paper Is Logic Empirical? in which he analysed the epistemological status of the rules of propositional logic. Putnam attributes the idea that anomalies associated to quantum measurements originate with anomalies in the logic of physics itself to the physicist David Finkelstein. It should be noted, however, that this idea had been around for some time and had been revived several years earlier by George Mackey's work on group representations and symmetry.

This logic has some unusual properties; for instance, the distributive law of propositional logic,

p and (q or r) = (p and q) or (p and r),
fails in this logic.



but i can't figure out why a banana is yellow....