作为上下文逻辑的量子逻辑
Quantum Logic as the Logic of Contexts
浏览论文内容
中文总结 AI 辅助
研究在有限可计算环境中量子逻辑与经典逻辑的关系，核心方法是通过两个生成元上的自由正交模格构建演算，主要贡献是通过该演算得到关于量子逻辑分层、对偶性及与经典逻辑关系的三个结果。
中文摘要 AI 辅助
量子逻辑通常被视为量子力学迫使我们偏离经典推理的非经典逻辑，经典逻辑是安全的起点。我们在有限且完全可计算的环境中主张相反的解释顺序。两个生成元上的自由正交模格有96个元素，是一个六元非分配因子和一个十六元布尔因子的直积。将第一个因子视为上下文寄存器，第二个视为布尔内容，我们得到一种演算，其元素是上下文-位向量对，运算逐分量进行。利用这种演算我们得到三个结果。首先，通过交换性对六层进行分类，确定上下文中立命题的中心核以及存在所有互补上下文的对偶中心层。其次，我们表明正交补像小因子的补那样精确地重新排列这些层，这使得层之间的对偶性是严格而非偶然的。第三，我们证明忘记上下文的运算是正交补格的满同态，其商是经典布尔代数，因此经典逻辑是上下文演算的六比一、信息丢失的映像。
英文摘要
Quantum logic is usually presented as a non-classical departure from ordinary reasoning forced on us by quantum mechanics, with classical logic kept as the secure starting point. We argue for the opposite order of explanation in a finite and fully computable setting. The free orthomodular lattice on two generators has ninety-six elements, the direct product of a six-element non-distributive factor and a sixteen-element Boolean factor. Reading the first factor as a register of contexts and the second as Boolean content, we obtain a calculus whose elements are context--bit-vector pairs and whose operations act component by component. With this calculus we establish three results. First, we classify the six layers by commutativity, identifying the central kernel of context-neutral propositions together with a dual central layer in which all complementary contexts are present. Second, we show that orthocomplementation rearranges the layers exactly as the complementation of the small factor rearranges its elements, which makes the duality among the layers rigid rather than accidental. Third, we prove that the operation forgetting the context is a surjective homomorphism of orthocomplemented lattices whose quotient is the classical Boolean algebra, so that classical logic is a six-to-one, information-losing image of the contextual calculus.
发表机构
- Graduate School of Information Science and Technology, Hokkaido University（信息科学与技术研究生学校，北海道大学）
- RIKEN Center for Interdisciplinary Theoretical and Mathematical Sciences (iTHEMS)（interdisciplinary理论和数学科学中心（iTHEMS））
- Teikyo University Advanced Comprehensive Research Organization (ACRO)（帝京大学综合研究组织（ACRO））
- Brain Mind and Consciousness Program, Canadian Institute for Advanced Research (CIFAR)（意识程序，加拿大高级研究机构（CIFAR））
- Center for Mathematical Modeling in Physics and Cognitive Sciences, Linnaeus University（物理与认知科学数学建模中心，林奈大学）
- Graduate School of Human Sciences, Department of Human Sciences, The University of Osaka（人类科学研究生学校，人类科学系，大阪大学）
机构由 AI 辅助整理，请以论文原文为准。
