Principle of distributivity

The principle of distributivity states that the algebraic distributive law is valid, where both logical conjunction and logical disjunction are distributive over each other so that for any propositions A, B and C the equivalences

${\displaystyle A\land (B\lor C)\iff (A\land B)\lor (A\land C)}$

and

${\displaystyle A\lor (B\land C)\iff (A\lor B)\land (A\lor C)}$

hold.

The principle of distributivity is valid in classical logic, but both valid and invalid in quantum logic.

The article "Is Logic Empirical?" discusses the case that quantum logic is the correct, empirical logic, on the grounds that the principle of distributivity is inconsistent with a reasonable interpretation of quantum phenomena.^[1]

References

1. Putnam, H. (1969). "Is Logic Empirical?". Boston Studies in the Philosophy of Science. 5: 216–241. doi:10.1007/978-94-010-3381-7_5. ISBN 978-94-010-3383-1.