Classical Logic without Bivalance

该论文将 Sandqvist 的非二值性经典逻辑语义框架应用于元数学核心问题，通过使归纳法成为意义构成性原则并处理$\omega$-不完全性，在不依赖超限序数或超越性真理的前提下，仅利用自然数上的普通归纳法给出了皮亚诺算术的初等一致性证明。

要点

这篇论文探讨了一个非常深奥的数学哲学问题：我们如何在不依赖“上帝视角”或“绝对真理”的情况下，证明算术（比如 $1+1=2$ 这一类规则）是逻辑自洽、不会出错的？

作者亚历山大·格奥尔吉乌（Alexander V. Gheorghiu）提出了一种新的解释方法，我们可以把它想象成一场**“语言游戏”**，而不是在寻找某种藏在宇宙深处的“数学实体”。

为了让你轻松理解，我将用几个生活中的比喻来拆解这篇论文的核心思想：

1. 传统观点的困境：地图与领土

在传统的数学观点里（作者称为“指称论”），数学家们认为数字就像地图上的标记，指向现实中真实存在的“领土”（比如一个独立于人类思维之外的数字世界）。

• 问题：如果我们想证明地图画得没错（证明算术是一致的），我们就得去检查那个“领土”。但这就像试图用地图去证明地图本身的存在一样，容易陷入循环论证。
• 另一个极端（形式主义）：把数学看作纯粹的符号游戏，就像在解魔方，只关心规则，不关心意义。但这有个大麻烦：它无法解释为什么有些规则明明对每个具体的数字都成立（比如 $1+1=2, 2+2=4...$），却推不出“对所有数字都成立”这个结论。这就叫"$\omega$-不完全性”，就像你检查了所有的路标，却不敢说整条路是通的。

2. 作者的新方案：规则即意义（推断主义）

作者引入了桑奎斯特（Sandqvist）的理论，这是一种**“推断主义”**的观点。

• 比喻：想象数学不是关于“发现”藏在箱子里的宝藏，而是关于**“玩一个游戏”**。
• 核心思想：数字 $0, 1, 2...$ 的意义，不在于它们代表了什么神秘的物体，而在于我们在游戏中如何使用它们。
  • 如果你说“这是 0"，你就必须接受某些规则（比如 0 不是任何数的后继）。
  • 如果你说“这是 1"，你就必须接受它是 0 的后继。
  • 意义 = 规则。只要大家遵守游戏规则，语言就有意义，不需要去问“数字在现实中是否存在”。

3. 解决“路标”问题：数字就是名字

在旧理论中，量词（比如“所有数字”）可能指向一些我们叫不出名字的“隐形数字”。

• 新观点：在这个游戏里，只有我们叫得出名字的（也就是具体的数字符号，如 0, S(0), S(S(0))...）才算数。
• 比喻：想象一个只有“已知居民”的村庄。如果你说“村里所有人都很友好”，你不需要去检查那些还没搬来、甚至可能不存在的“隐形居民”。只要所有已知的居民都友好，这句话就是真的。
• 结果：这就完美解决了"$\omega$-不完全性”的难题。因为在这个框架下，如果你证明了每个具体的数字都满足条件，那你自然也就证明了“所有数字”都满足条件。因为“所有数字”指的就是这些具体的名字。

4. 核心成就：如何证明算术不会“自爆”？

数学界有个著名的难题：如何证明算术系统（皮亚诺算术 PA）内部不会发生矛盾（即不会推导出 $1=0$ 这种荒谬结论）？

• 传统难题：哥德尔证明了，在算术系统内部，你无法证明它自己是安全的。要证明它，通常需要用到比算术更强大的工具（比如“超限归纳法”，想象成爬一座无限高的梯子）。
• 作者的突破：
  • 作者构建了一个**“基础规则集”**（Base），就像给这个游戏制定了一套最底层的“防作弊机制”。
  • 他设计了一个**“重量函数”**（Weight Function）。想象给每个数学表达式称重：
    • $0$ 的重量是 0。
    • $S(x)$（x 的后继）的重量是 $x$ 的重量 +1。
    • 加法和乘法也有对应的重量计算规则。
  • 证明逻辑：他证明了，在这个规则集里，任何合法的推导过程，等号两边的“重量”必须相等。
  • 结论：既然 $1$的重量（1）和$0$的重量（0）永远不相等，那么在这个系统里，你**绝对不可能**推导出$1=0$。
  • 关键点：这个证明只用了普通的归纳法（就像数数一样，从 1 数到 100），不需要爬什么“无限高的梯子”，也不需要假设什么“客观存在的数字世界”。

5. 为什么这很重要？

• 反实在论的胜利：作者证明了，我们不需要假设数字是某种神秘的、独立于人类思维的实体，也能安全地使用经典逻辑和算术。
• 循环论证的“良性”化：有人可能会说：“你用归纳法证明了算术，但归纳法本身就是算术的一部分，这不是循环吗？”
  • 作者回答：是的，这是循环，但这是**“良性循环”**。就像你学骑自行车，你必须先骑上去才能学会平衡。理解“自然数”的概念，本身就包含了理解“归纳法”的能力。这不是逻辑漏洞，而是我们理解数学的方式。

总结

这篇论文就像是在说：

“别再去寻找藏在宇宙深处的‘数字精灵’了。数学就像一场大家共同遵守规则的游戏。只要规则（推断关系）本身是严密的，游戏就不会崩溃。我们不需要站在游戏之外（上帝视角）来证明游戏的安全性，只要我们在游戏内部，用大家都能理解的最基础规则（普通归纳法），就能证明这个游戏是安全的。”

这是一种更谦逊、更贴近人类实际思维方式的数学哲学观：意义在于使用，真理在于规则，而非神秘的实体。

技术摘要

这是一份关于亚历山大·V·格奥尔吉乌（Alexander V. Gheorghiu）论文《无二值性的经典算术》（Classical Arithmetic Without Bivalence）的详细技术总结。

1. 研究背景与核心问题 (Problem)

传统形式逻辑在元数学（metamathematics）领域主要存在两种观点：形式主义（Formalism）和指称论/模型论（Denotationalism）。

• 形式主义将数学视为符号操作规则，但难以解释 $\omega$-不完全性（$\omega$-incompleteness，即理论能证明所有 $\phi(\bar{n})$ 却无法证明 $\forall x \phi(x)$），且往往预设了某种本体论。
• 指称论（如塔斯基语义）将逻辑后果等同于模型中的真值保持，但这预设了独立于心灵的实在结构（Realist metaphysics）和真值条件语义，被反实在论者（如 Dummett）认为在基础层面存在循环论证。

核心问题：
如何在反实在论（Anti-realist）的框架下，为经典逻辑和算术（特别是皮亚诺算术 PA）提供一个合理的解释？具体而言，如何在不预设独立于心灵的真理或超限序数的情况下，证明算术的一致性，并解决 $\omega$-不完全性问题？

2. 方法论：桑德奎斯特语义 (Methodology)

本文采用并应用了桑德奎斯特（Sandqvist, 2009）提出的无二值性的经典逻辑语义（Classical Logic without Bivalence）。这是一种推论主义（Inferentialism）框架，其核心观点是：意义由推论角色（inferential role）和 warranted assertibility（被保证的断言性）决定，而非真值条件。

关键技术定义：

1. 原子规则与基础（Base, $B$）：基础 $B$ 是一组原子规则（Atomic Rules），代表主体接受的物质推论承诺。
2. 支持关系（Support, $\Vdash_B$）：定义了一个归纳性的支持判断。公式 $\phi$ 在基础 $B$ 中被支持（$\Vdash_B \phi$），当且仅当它可以通过 $B$ 中的规则及逻辑常量的定义推导出来。
   • 逻辑常量（如 $\to, \forall, \bot$）的意义由其在支持关系中的行为固定（见图 1）。
   • 例如，$\Vdash_B \forall x \phi$ 当且仅当对于所有闭项 $t$，都有 $\Vdash_B \phi[x \mapsto t]$。
3. 数值确定性（Numerically Definite）：一个算术理论 $\Gamma$ 被称为“数值确定的”，如果对于语言中的每一个闭项 $t$，都存在一个数字 $\bar{n}$ 使得 $\Gamma \Vdash (t = \bar{n})$。

3. 主要贡献与理论结果 (Key Contributions & Results)

A. 解决 $\omega$-不完全性

在桑德奎斯特语义中，全称量词的范围被限制在语言项（terms）的句法范围内，而不是某种超越理论的模型域。

• 命题 5：如果一个理论 $\Gamma$ 是数值确定的，那么它就是 $\omega$-完全的。
  • 逻辑：如果 $\Gamma \Vdash \phi(\bar{n})$ 对所有数字 $\bar{n}$ 成立，且 $\Gamma$ 能证明任何闭项 $t$ 等于某个 $\bar{n}$，那么通过等量代换（EQ4），$\Gamma \Vdash \phi(t)$ 对所有闭项成立，进而 $\Gamma \Vdash \forall x \phi(x)$。
• 意义：$\omega$-不完全性在此框架下消失，因为理论本身决定了本体论（即只有数字存在），不存在“未命名的实体”。

B. 归纳法的构成性地位

• 命题 6：在数值确定的理论中，数学归纳法（Induction）是自动成立的。
  • 归纳法不再是一个关于预先给定域的子集假设，而是算术词汇意义的构成性（constitutive）部分。理解自然数就是掌握其推论角色，而归纳法正是这种角色的体现。

C. 皮亚诺算术（PA）的一致性证明

这是本文的核心成果（定理 9）。

• 证明策略：构造一个特定的算术基础 $A$（见图 2），包含 PA 的所有公理（包括等式公理和归纳公理模式）。
• 权重函数（Weight Function）：定义了一个在闭项上的权重函数 $w(t)$：
  • $w(0) = 0$
  • $w(S(t)) = w(t) + 1$
  • $w(t_1 + t_2) = w(t_1) + w(t_2)$
  • $w(t_1 \cdot t_2) = w(t_1) \cdot w(t_2)$
• 一致性论证：
  1. 通过归纳法证明：如果在基础 $A$ 的推导中出现等式 $t_1 = t_2$，则必有 $w(t_1) = w(t_2)$。
  2. 由于 $w(1) = 1$ 而 $w(0) = 0$，因此 $1 \neq 0$在基础$A$ 中不可推导。
  3. 因此，$\not\Vdash_A \bot$（基础 $A$ 不支持矛盾）。
  4. 由于 PA 的所有公理都被 $A$ 支持，且 $A$ 一致，故 PA 是一致的。

D. 罗宾逊算术（Q）与 PA 的语义统一

在模型论中，Q 和 PA 有显著区别（PA 包含归纳公理）。但在本语义框架下，如果理论是数值确定的，Q 和 PA 在语义上是不可区分的。因为一旦理论确定了域仅由数字组成，归纳法就自动成立。这种差异被视为证明论（proof-theoretic）而非语义（semantic）的。

4. 意义与哲学内涵 (Significance)

1. 无需超限序数的一致性证明：
   传统的 PA 一致性证明（如 Gentzen）需要用到超限序数（$\epsilon_0$）上的归纳。本文的证明仅使用了自然数上的普通归纳法。这在推论主义框架下是合法的，因为归纳法被视为理解自然数概念的构成部分，而非关于外部世界的假设。

2. 反实在论的元数学基础：
   该证明不需要预设独立于心灵的数学结构（如模型论中的集合论宇宙）。它表明，只要接受推论主义的意义理论，我们就能在元理论中为经典算术提供一致性保证，而无需陷入“认识论超越”（recognition-transcendent truth）的困境。

3. 对形式主义和模型论 objections 的回应：

   • 针对形式主义：虽然支持关系（Support relation）的定义涉及量词交替，看似复杂，但这并非将语义还原为算术公式，而是对“意义”的元理论解释。
   • 针对模型论：对自然数的归纳使用并非循环论证，因为在推论主义中，归纳法本身就是“自然数”概念的定义性特征，而非对预设对象的描述。

4. 完备性与扩展：
   文章还讨论了在扩展语言（引入无限个常数）的情况下，该语义系统可以同时满足经典逻辑的可靠性（Soundness）和完备性（Completeness）。即使在这种扩展下，一致性证明依然保持初等（elementary），且常数被视为零的替代名称，不影响核心论证。

总结

亚历山大·V·格奥尔吉乌的这篇论文成功地将桑德奎斯特的推论主义语义应用于元数学领域。它提供了一个无需二值性、无需独立实在论、无需超限序数的经典算术一致性证明。这一成果不仅解决了 $\omega$-不完全性的理论难题，还确立了数学归纳法在算术意义中的构成性地位，为反实在论者接受经典算术推理提供了强有力的哲学和逻辑基础。