[论文解读] Elements of Librationism

Frode Bjørdal|arXiv (Cornell University)|Jul 15, 2014

Computability, Logic, AI Algorithms被引用 1

一句话总结

本文引入 £（libra），一种在数学逻辑中的新型基础系统，通过在 Gödel 的可构造宇宙 L 中采用分层的、语义封闭的框架，解决了语义悖论与集合论悖论。该系统通过显现点与超限归纳法，建立了真值谓词与可定义的实数，实现了对自指与高阶无穷的连贯、经典且无悖论的处理，而无需假设 ZFC 的一致性。

ABSTRACT

We develop librationism, {\pounds}, and clarify some mathematical and philosophical matters which relate to the particular manner in which it deals with the paradoxes and to its usefulness as a foundation for mathematics and type free reasoning. We isolate a domination operation which unlike the power set operation is not paradoxical and which helps us isolate the definable real numbers. We show that {\pounds} plus a postulate and a postulation interprets ZFC; our strategy for achieving this involves extending an interpretation by Harvey Friedman of ZF in a system weaker than ZF with collection minus extensionality and a novel notion of $librationist \ capture$ which entails collection, specification and choice in desired contexts.

研究动机与目标

• 在经典且无悖论的框架中解决语义与集合论悖论（例如 Russell 悖论、Curry 悖论）。
• 提供一个语义封闭但保持经典逻辑的数学与真理论基础。
• 在一个连贯且自证其正当性的系统中，发展可定义实数与高阶无穷（例如 Mahlo 可及基数）的理论。
• 通过引入“处方”与“规制”作为基础原则，提供标准公理集合论与次协调逻辑的全新替代方案。
• 探索在更高集合论层级中，可定义性与一致性的极限，特别是超越不可及基数并趋向不可描述基数的区域。

提出的方法

• 采用双层编码：将 £-表达式在 Lς 中外部编码为有限 von Neumann 序数，其中 Lς 是一个 Σ3-可接受序数。
• 在 H 上应用超限归纳法，通过显现点定义函数，确保可定义性与一致性。
• 运用 Skolem-Fraenkel 假设，将 ZFC 解释为 £ 中的相对一致性框架。
• 通过三元关系 C(α,β,Ξ) 定义相对 Mahlo 基数，捕捉其在正规函数与极限下的封闭性。
• 利用 Mahlo-假说断言此类基数的存在，从而支持在可定义层级中逐级攀升。
• 引入“处方”与“规制”作为非公理化、内容性的原则，以规范思想的生成，避免标准形式化。

实验结果

研究问题

• RQ1 能否构建一个语义封闭、经典一致的系统，避免悖论而不牺牲经典逻辑？
• RQ2 如何在连贯且自指的真理论中隔离并分析可定义实数？
• RQ3 在何种程度上，可通过显现点从下而上构造更高阶无穷（尤其是 Mahlo 与不可描述基数）？
• RQ4 £ 能否解释 ZFC 并在不假设 ZFC 一致性的前提下，为可定义分析提供基础？
• RQ5 “处方”与“规制”如何作为与公理和推理规则不同的基础原则发挥作用？

主要发现

• £ 在不引发不一致的前提下，为语义封闭语言提供了真值谓词，实现了否定合取的完备性。
• 可定义层级 ˙D 作为显现点被构造，从而为可定义的数学分析提供了连贯的领域。
• 通过在 H 上应用超限归纳法，系统利用 TT（真理论条件）构造函数，确保了连贯性与可定义性。
• 系统可通过 Skolem-Fraenkel 假说解释 ZFC，建立相对解释框架，而无需假设 ZFC 的一致性。
• Mahlo-假说使得一个既是 KIND 又是其所有成员的传递闭包为 KIND 的显现点得以构造，支持大基数层级的逐级攀升。
• 系统表明，通过基于显现点的可定义归纳法，可触及超越不可及基数的更高阶无穷，尽管不可描述基数似乎构成了实际的极限。