“量子邏輯”作為“來源于量子力學的邏輯”或“為量子力學提供解釋的邏輯”是一個多元化的體系。眾多量子邏輯系統與經典邏輯一樣,都是人們對非形式化推理以特定的方式進行抽象(形式化)而得到的。這些量子邏輯系統的存在為邏輯多元主義提供了充分的實例,特別是使(某種)三值邏輯、次協調邏輯等原本獨立于量子力學而存在的非經典邏輯與量子力學的解釋問題聯系起來,進而使它們也像經典邏輯一樣有了描述或解釋現實世界的能力,而不僅僅是數學游戲。傳統的邏輯多元主義者通常不重視量子力學和量子邏輯,其結果就是即便他們成功地論證了邏輯多元主義,非經典邏輯對于很多人仍然是可有可無的。但在量子力學解釋問題中情況發(fā)生了翻天覆地的變化:在經典邏輯框架內做出的解釋甚至有可能比非經典邏輯更難接受,于是“修改邏輯”這一選項就變得自然多了?梢哉f,量子力學解釋問題為非經典邏輯提供了嶄新的應用場景,為邏輯多元主義找到了更有力的論證思路。
|