Carnap on Quantum Mechanics

本文回顾了鲁道夫·卡尔纳普对其所处时代量子力学的哲学观点，并推测其见解如何可能应用于该领域基础研究的近期发展。

要点

想象一下，鲁道夫·卡尔纳普是一位极其严格、一丝不苟的建筑师，他坚信：在蓝图尚未用形式化的数学语言完美绘制出来之前，你无法恰当地讨论建筑的“设计”（即其哲学）。

本文由塞巴斯蒂安·霍瓦特（Sebastian Horvat）和尤利安·D·托阿德（Iulian D. Toader）撰写，探讨了这位建筑师在其 1966 年的著作《物理学的哲学基础》中如何看待量子力学（QM）——即微观物理学。

以下是卡尔纳普观点的故事，将其分解为简单的概念和类比：

1. “蓝图”问题

卡尔纳普的主要规则是：在理论尚未被完整表述为形式逻辑系统之前，不要争论其哲学。

将 20 世纪 50 年代和 60 年代的量子力学想象为一座仍在施工中的房屋。墙壁已经砌好，电力也已接通，但蓝图却杂乱无章。某些部分是用“自然语言”（如英语）写成的，这很模糊，而不是用“形式语言”（如纯粹的数理逻辑）写成的，后者才是精确的。

卡尔纳普认为，由于量子力学的“蓝图”尚未完成，哲学家们操之过急了。他们试图基于一套尚未完全形式化的理论，去辩论关于实在、逻辑和语言的深层问题。他相信，直到科学界完成“理性重构”（即完美的形式化蓝图）之前，我们无法安全地追问：“这套理论究竟意味着什么？”

2. 卡尔纳普确实理解的内容（坚实的地基）

尽管他认为蓝图尚未完工，但卡尔纳普对这座房屋的基础非常了解。本文澄清了他并非对量子力学感到困惑；他只是希望谨慎行事。

基于他所知，他提出了一些清晰的见解：

• 世界是统计性的： 他论证说，量子力学中的随机性并非源于我们的无知或测量能力的不足（就像一张模糊的照片）。而是因为宇宙本身就是如此构建的。这就像掷骰子：结果之所以随机，并非因为骰子坏了，而是因为骰子本就是那样运作的。
• 时空可能是“像素化”的： 他推测，宇宙可能由微小的、离散的“块”（就像屏幕上的像素）组成，而非平滑连续的流动。
• 自由意志是安全的： 他驳斥了“量子随机性拯救了自由意志”的观点。他论证道，如果我们的决定仅仅是随机的量子跃迁，那它们就根本不是“选择”，而只是偶然事件。随机性 ≠ 自由。
• 没有简单的定义： 你无法用简单的日常词汇来定义复杂的量子概念（如“自旋”）。你需要一整套全新的形式系统来解释它们。

3. 卡尔纳普拒绝做的事情（逻辑陷阱）

这是他立场中最著名的一部分。一些物理学家和哲学家看着量子力学说：“我们在日常生活中使用的逻辑规则（如‘A 且 B'）在这里行不通。我们需要发明新的逻辑。”

卡尔纳普说：“没门。”

他使用了一个绝妙的类比（改编自 1962 年的一次会议）：如果游戏规则看起来很奇怪，你不应改变游戏规则，而应改变棋子或棋盘。

• 观点： 他相信，我们应该改变我们的物理概念（即“棋子”）以适应我们现有的、稳固的逻辑，而不是为了迎合物理学而改变逻辑本身。
• 理由： 他觉得，既然物理学的“蓝图”尚未完成，我们就无法确定这种怪异是存在于物理学本身，还是仅仅源于我们理解的不完整。在看到包含引力在内的整个物理学系统被形式化之前，他不愿考虑重写逻辑规则。

4. “实在论”之争（那里究竟有什么“真实”存在？）

如今，科学家们争论量子力学对实在意味着什么：是否存在多重世界？是否存在隐藏粒子？

• 卡尔纳普的看法： 他可能会称这些争论为“无意义的”。在他看来，询问特定语言框架之外究竟有什么“真实”存在，是一个陷阱式的问题。
• 类比： 想象两个人在争论一张城市地图是否“真实”。一个人说地图只是线条；另一个人说地图就是城市。卡尔纳普会说：“停止争论‘真实’的城市。让我们就哪张地图对驾驶更有用达成一致。”他会根据哪种理论更简单、更有效来评判不同的理论，而不是看哪种理论描述了“真正”的不可见实在。

5. 卡尔纳普今天会怎么想？

本文最后提出：如果卡尔纳普还活着，他会改变主意吗？

• 坏消息： 我们仍然没有一套完美的、统一的“蓝图”能将量子力学与引力（爱因斯坦的理论）结合起来。房屋仍在施工中。因此，卡尔纳普很可能仍然拒绝承认量子力学迫使我们改变逻辑规则。
• 好消息： 现在有了新的尝试，试图利用信息论（将宇宙视为一个处理数据的系统）从头构建理论。虽然这些还不是卡尔纳普所期望的完美形式化蓝图，但它们是朝着正确方向迈出的步伐。他可能会对这种新方法感兴趣，将其视为最终用更清晰的概念“重建理论”的途径。

总结

卡尔纳普是一位谨慎的建筑师。他深知量子力学具有革命性，但他坚持认为，在理论尚未用完美的形式化数学语言书写出来之前，我们不应试图重写逻辑定律，也不应争论实在的终极本质。他相信，在“蓝图”完成之前，我们应该专注于使理论变得有用和简洁，而不是迷失在关于何为“真实”的形而上学争论中。

技术摘要

技术摘要：卡尔纳普论量子力学

问题
本文探讨了鲁道夫·卡尔纳普（Rudolf Carnap）严谨的哲学方法论与其在 1966 年著作《物理学哲学基础》（Philosophical Foundations of Physics）中对量子力学（QM）的处理之间看似存在的张力。批评者及近期编辑（Lutz 和 Tuboly，2021）曾指出，卡尔纳普关于量子力学的反思已过时，因为他依赖冯·诺依曼（von Neumann）1932 年的形式体系，而忽视了后来更为严谨的进路，如麦基（Mackey，1963）的工作，或基础定理如格利森（Gleason，1957）和贝尔（Bell，1964）的定理。核心问题在于澄清卡尔纳普对量子力学的实际立场，区分他对基本原理的深刻理解与其特定的方法论拒绝——即在该理论被呈现为完全形式化的公理系统之前，拒绝探讨某些关于语言和逻辑的哲学问题。作者还考察了卡尔纳普的框架对当代关于量子力学诠释、实在论及量子理论语义的辩论意味着什么。

方法论
作者对卡尔纳普 1966 年的文本进行了历史与概念分析，并将其与其早期关于逻辑句法、理性重构和语义的著作（如《语言的逻辑句法》，1937；《语义学导论》，1943）相互参照。方法论包括：

1. 文本重构：分析卡尔纳普在其 1966 年著作最后一章（“量子物理学中的非决定论”）中关于不确定性原理、波函数和薛定谔方程的具体论证。
2. 元哲学语境化：将卡尔纳普基于物理学修订逻辑的犹豫置于其更广泛的“理性重构”承诺之中。这涉及考察他的要求，即科学理论必须被表述为一种部分解释的句法结构，包含逻辑 - 数学公理、理论语句以及将它们与观察语句联系起来的对应规则。
3. 反事实应用：将卡尔纳普既定的哲学原则（特别是关于内部问题与外部问题的观点、科学解释的本质以及推论主义与表征主义）投射到量子力学的当代发展中，例如不可行性定理（贝尔、科亨 - 施佩克）和现代信息论公理化（哈迪、奇里贝拉等）。

主要贡献
本文对理解卡尔纳普的物理学哲学做出了几项独特的贡献：

• 驳斥无知论：明确驳斥了卡尔纳普不熟悉量子理论的说法，论证他对其基本原理拥有深刻理解，即使他认为形式化对于其特定的哲学目的而言尚不完整。
• 澄清“理性重构”：作者阐明，卡尔纳普拒绝基于量子力学修订逻辑，并非因为现有表述（如冯·诺依曼或麦基的表述）缺乏数学严谨性，而是因为这些表述并未构成现代物理学整体的理性重构。卡尔纳普需要一个统一的系统，包含引力/时空物理学，并明确区分理论术语与观察术语，这一要求在 20 世纪 60 年代尚未满足，至今亦然。
• 重新诠释卡尔纳普论实在论：本文论证，卡尔纳普可能会将当前关于量子力学诠释（如多世界诠释与隐变量）的辩论视为关于外部问题的“伪争论”。相反，他可能会基于实用标准（简洁性、统一性）而非形而上学的真理来评估这些诠释。
• 不可行性定理的元语义分析：作者提出，卡尔纳普会将贝尔和科亨 - 施佩克定理解释为并非对实在论的阻碍，而是对为量子形式体系提供表征主义语义的元语义限制。这与现代推论主义观点（如希利，2017）一致，表明应用规则决定了量子术语的意义。
• 范畴性检验：本文将卡尔纳普解决经典逻辑中范畴性问题的方案应用于量子力学。它表明，即使一个人采纳了量子术语的推论主义语义，卡尔纳普也会要求检验该理论的物理规则（P-规则）是否具有范畴性（即唯一地确定术语的意义）。

结果

• 逻辑修订的地位：卡尔纳普可能仍不会被说服仅基于量子力学就修订物理学的基本逻辑（例如采纳非分配逻辑），因为物理学完整、统一的理性重构这一先决条件仍未满足。
• 科学解释的本质：本文确认了卡尔纳普的观点，即量子力学的统计特征并非源于无知，而是世界结构的基本特征，这意味着所有物理解释本质上都是统计性的。
• 自由意志：重申了卡尔纳普的论点，即量子非决定性并不支持自由意志：随机的量子跳跃只会使决策变得随机（概率），而非自由的选择。
• 当代相关性：虽然现代量子力学的信息论公理化（从信息原理推导态空间）尚未成为卡尔纳普式的理性重构（缺乏形式语言和对应规则），但本文指出它们可能为通向理性重构铺平道路。

意义
本文通过纠正关于卡尔纳普参与量子力学的历史记录来确立其重要性，超越了认为他 merely“过时”的观点。它表明，卡尔纳普的谨慎是其理性重构哲学所根植的方法论必然，而非缺乏技术理解。此外，本文架起了卡尔纳普 20 世纪中叶哲学与当代辩论之间的桥梁，表明他的框架提供了一种稳健的方式来解释现代不可行性定理和量子力学的语义进路，而不至于陷入形而上学的陷阱。本文提出，卡尔纳普对形式化的坚持以及内部问题与外部问题的区分，至今仍是分析量子理论逻辑和语言基础的重要工具。