logica quantistica

logica quantistica

logica quantistica sistema di logica, proposto originariamente negli anni Trenta del secolo scorso dal matematico statunitense Garrett Birkhoff e da J. von Neumann, che rispecchia alcuni aspetti salienti del formalismo matematico proprio della fisica quantistica. Tutte le leggi della logica quantistica sono leggi della logica classica, ma non viceversa: fra le leggi della logica classica eliminate dalla logica quantistica ci sono, in particolare, le leggi di → De Morgan che consentono di inferire (A ∧ B) ∨ (A ∧ C) da (A ∧ (B ∨ C), A ∨ (B ∧ C) e (A ∨ B) ∧ (A ∨ C). Secondo il filosofo e matematico statunitense H. Putnam, il ricorso alla logica quantistica sarebbe indispensabile per risolvere certi paradossi concettuali generati dalla fisica quantistica e ciò dimostrerebbe la natura empirica della logica.