[论文解读] Presenting Nonreflexive Quantum Mechanics: Formalism and Metaphysics

Décio Krause, Jonas R. Becker Arenhart|arXiv (Cornell University)|Oct 25, 2015

Advanced Algebra and Logic参考文献 10被引用 4

一句话总结

本文提出使用非自反逻辑（其中同一性并非普遍有效）对量子力学进行重新表述——以形式化表达量子粒子为非个体的形而上学观念。通过将不可区分性和非个体性直接嵌入逻辑基础，该方法消除了对临时对称性假设的依赖，提供了一个建立在量子实体新形而上学基础上的严格形式体系。

ABSTRACT

Nonreflexive quantum mechanics is a formulation of quantum theory based on a non-classical logic termed \ita{nonreflexive logic} (a.k.a. `non-reflexive'). In these logics, the standard notion of identity, as encapsulated in classical logic and set theories, does not hold in full. The basic aim of this kind of approach to quantum mechanics is to take seriously the claim made by some authors according to whom quantum particles are \ita{non-individuals} in some sense, and also to take into account the fact that they may be absolutely indistinguishable (or indiscernible). The nonreflexive formulation of quantum theory assumes these features of the objects already at the level of the underlying logic, so that no use is required of symmetrization postulates or other mathematical devices that serve to pretend that the objects are indiscernible (when they are not: all objects that obey classical logic are \ita{individuals} in a sense). Here, we present the ideas of the development of nonreflexive quantum mechanics and discuss some philosophical (mainly metaphysical) motivations and consequences of it.

研究动机与目标

• 开发一种基于非自反逻辑的正式量子力学，其中同一性并非基本特征。
• 通过将此特征直接嵌入逻辑框架，解决量子粒子绝对不可区分且为非个体的形而上学难题。
• 用一种将不可区分性视为本体论上根本的逻辑基础，取代标准量子力学中对称化假设的使用。
• 证明量子力学可从非经典逻辑体系中重构，而不仅通过其进行解释。
• 建立一个反映量子实体在经典意义上并非个体这一形而上学直觉的新量子理论基础。

提出的方法

• 采用非自反逻辑系统（非自反逻辑）作为基础逻辑，其中同一性谓词不普遍成立。
• 在此非自反逻辑框架内构建量子力学的形式体系——称为 $\mathfrak{Q}$-空间。
• 利用逻辑结构定义量子态和可观测量，而不假设粒子具有明确的同一性。
• 用非自反系统内在的逻辑特征替代标准量子力学中对不可区分粒子的处理方式（即对称化）。
• 发展一种形而上学解释，使非个体性不是衍生特征，而是本体论上的基本条件。
• 将该逻辑应用于量子统计，表明玻色-爱因斯坦统计和费米-狄拉克统计自然地从非自反结构中产生，而非源于对称性假设。

实验结果

研究问题

• RQ1 如何在不依赖经典逻辑中普遍同一性假设的前提下重新表述量子力学？
• RQ2 若从一开始就将量子粒子视为非个体，而非先视为个体再施加不可区分性，其形而上学后果是什么？
• RQ3 非自反逻辑能否作为量子理论的严格基础，从而取代对称化假设的需要？
• RQ4 $\mathfrak{Q}$-空间的形式体系在处理粒子同一性和不可区分性方面，与标准量子力学有何不同？
• RQ5 在多大程度上可将量子粒子的不可区分性作为逻辑原始概念，而非作为物理对称性的推导结果？

主要发现

• 非自反逻辑框架允许构建一种形式化量子力学，其中不假设量子粒子的同一性，使不可区分性成为基础特征，而非推导出的对称性。
• $\mathfrak{Q}$-空间的形式体系成功捕捉了量子统计，无需对称化假设，因为其逻辑结构天然尊重置换不变性。
• 该方法通过将非个体性作为逻辑原始概念，避免了通过对称性条件掩盖个体性的哲学张力。
• 该构造表明，量子力学可从非经典逻辑体系中发展而来，而不仅通过其进行解释，从而弥合了形而上学与形式体系之间的概念闭环。
• 该方法为量子理论提供了新基础，将非个体性视为根本，为基于经典集合论的标准表述提供了一种连贯的替代方案。
• 该框架表明，非自反逻辑可能是对量子实体（尤其是纠缠或不可区分系统）进行完全一致形而上学描述所必需的。