一元算符逻辑理论四探——毕克霍夫-冯·诺依曼量子逻辑存疑

Abstract

冯·诺依曼和毕克霍夫创立的量子逻辑是关于量子力学的测量语言的逻辑，它被认为揭示了弱于经典否定关系的正交补关系、经典逻辑的分配律不再适用的量子析取性和二值逻辑不再够用的偏序性，并由此发展出跨学科的一个研究传统和几个学派。文章基于“一元算符逻辑理论”而认为：量子逻辑至少在运用格论表示其量子析取的非分配性时不自洽，但认为量子逻辑仍是一个十分重要的学术尝试。