arXiv:2607.09032quant-phcs.AI2026-07被引 1

用上下文框架重新解释量子逻辑,揭示其与经典逻辑的数学联系。

Quantum Logic as the Logic of Contexts

  • 将量子逻辑分解为上下文与布尔内容两部分,分量独立运算。
  • 发现96个元素中6层结构由可交换性分类,具对称对偶性。
  • 上下文消去操作使量子逻辑退化为经典逻辑,且为6:1映射。

量子逻辑通常被视为由量子力学迫使我们放弃经典逻辑的非经典结果,而经典逻辑则被当作稳固起点。我们在有限且完全可计算的设定下主张相反的解释顺序。两个生成元的自由正交模格共有96个元素,是六元非分配因子与十六元布尔因子的直积。将前者视为上下文寄存器,后者视为布尔内容,得到由上下文-比特向量对构成的演算系统,其运算按分量分别作用。通过该系统,我们获得三个结果:第一,按交换性对六个层级进行分类,识别出上下文无关命题的中心核,以及所有互补上下文均存在的对偶中心层;第二,证明正交补运算对层级的重排方式,恰好等同于小因子上补运算对其元素的重排,使得层级间的对偶关系具有刚性而非偶然;第三,证明忽略上下文的操作是正交补格上的满射同态,其商为经典布尔代数,因此经典逻辑是该上下文演算的六对一、信息丢失的投影。

原文摘要 · Abstract (English)

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.

量子逻辑上下文格论形式化

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。