[论文解读] A Pragmatic Interpretation of Quantum Logic

Claudio Garola|ArXiv.org|Jul 13, 2005

Quantum Mechanics and Applications参考文献 67被引用 8

一句话总结

本文提出对量子逻辑（QL）的务实再解释，将其视为表达量子力学（QM）中可 empirically 证实或不可证实陈述的形式系统，而非作为量子真理的逻辑。通过将量子命题映射到一种务实可判定公式的语言（$ \mathcal{L}_{QD}^{P}$），表明 QL 形式化了元语言层面的实证证实概念——避免了与经典 Tarskian 真理的冲突，并通过整合主义框架保持了逻辑的全局性。

ABSTRACT

Scholars have wondered for a long time whether quantum mechanics (QM) subtends a quantum concept of truth which originates quantum logic (QL) and is radically different from the classical (Tarskian) concept of truth. We show in this paper that QL can be interpreted as a pragmatic language of pragmatically decidable assertive formulas, which formalize statements about physical systems that are empirically justified or unjustified in the framework of QM. According to this interpretation, QL formalizes properties of the metalinguistic concept of empirical justification within QM rather than properties of a quantum concept of truth. This conclusion agrees with a general integrationist perspective, according to which nonstandard logics can be interpreted as theories of metalinguistic concepts different from truth, avoiding competition with classical notions and preserving the globality of logic. By the way, some elucidations of the standard concept of quantum truth are also obtained.

研究动机与目标

• 解决长期以来关于量子力学是否意味着非经典真理概念的争论。
• 表明量子逻辑（QL）并未形式化一种量子真理概念，而是形式化了一种实证证实概念。
• 通过将非经典逻辑重新解释为除真理以外的元语言概念理论，保留经典的 Tarskian 真理概念。
• 为 QL 提供一种一致且基于务实的正式形式系统，避免标准解释中的无意义陈述和语境依赖性问题。
• 在与经典逻辑和语义实在论相容的全球多元逻辑框架内整合量子逻辑。

提出的方法

• 将量子逻辑形式化为一种务实语言 $\mathcal{L}_{QD}^{P}$，其中公式表示关于物理系统的实证可判定断言。
• 在量子逻辑格 $(\mathcal{L}(S), \subset)$ 与商集 $\phi_{AD}^{Q}/\approx$ 之间建立序同构，后者表示务实可判定公式的等价类。
• 使用形式对应关系，将标准量子逻辑联结词（补、交、并）翻译为 $\mathcal{L}_{QD}^{P}$ 中的务实操作（N、K、A_Q），保持代数结构。
• 通过将此映射应用于将量子逻辑重新解释为实证证实理论而非真理理论，从而避免对非 Tarskian 真理概念的需求。
• 为 $\mathcal{L}_{QD}^{P}$ 提供一组 p-正确且 p-完备的公理与推理规则，这些规则通过已知的正交模逻辑系统翻译而来。
• 证明务实解释通过为任何状态下的所有公式分配证实值，解决了标准 QL 中无意义陈述的问题。

实验结果

研究问题

• RQ1 量子逻辑能否被解释为量子力学中实证证实的形式系统，而非量子真理的逻辑？
• RQ2 量子逻辑如何在不产生矛盾或不相容的前提下与经典 Tarskian 真理相协调？
• RQ3 如果非布尔逻辑和语境依赖性不作为非经典真理的基础，它们在量子力学中的作用是什么？
• RQ4 务实解释能否在容纳非经典结构的同时保持逻辑的全局性？
• RQ5 是否可能构建一个既在务实意义上正确又完备的务实量子逻辑演算？

主要发现

• 量子逻辑形式化了量子力学中的元语言层面实证证实概念，而非量子真理概念。
• 标准量子力学解释因非实际属性缺乏真值而产生无意义陈述，但此问题在务实解释中通过为所有公式分配证实值得以解决。
• 语言 $\mathcal{L}_{QD}^{P}$ 提供了从量子逻辑格到务实可判定公式集合的双射映射，保持了正交模结构。
• 通过将 QL 重新解释为可证实性理论，务实解释避免了对非 Tarskian 真理概念的需求，从而将其与经典逻辑和语义实在论整合。
• 通过翻译标准正交模逻辑公理，推导出 $\mathcal{L}_{QD}^{P}$ 的一组 p-正确且 p-完备公理，确保了务实意义上的逻辑一致性和完备性。
• 重新解释使得所有关于个别物理对象的陈述均可被赋予证实状态，即使在标准解释下缺乏真值，从而解决了量子力学中的认识论问题。