量子論邏輯

量子論邏輯是套用邏輯的一種。關於量子理論研究中涉及的命題、推理等問題的邏輯。主要是從修正古典邏輯的排中律人手，系統而無矛盾地解釋量子領域中“亦此亦彼”現象的一種新的邏輯。量子理論是研究微觀粒子（如電子、原子、分子等）運動規律的理論。美國貝克霍夫和馮·諾伊曼於1936年在《量子力學的邏輯》一文中，最早提出量子論邏輯。

他們斷言：由於量子物理中的運算元代數是非布爾代數特徵的，因而古典邏輯不能用於量子物理或其他類似的理論。賴辛巴赫、卡爾納普等人發展了這一思想。1942年賴辛巴赫為解答微觀粒子所特有波粒二像性和測不準特徵，提出將三值邏輯用於量子理論。他的基本看法是：如果用古典二值邏輯去解釋量子實驗特有的測不準等“不確定”現象，會導致因果反常，但是通過使用以“不確定”作命題的真、假之外的第三值的三值邏輯，就能合理解釋量子實驗，而不會觸犯因果律。