悖论与自指

像“说谎者悖论”和“罗素悖论”这样的自指悖论，一再迫使人们修正逻辑学、集合论和真理理论。

Definition

逻辑悖论是指一个从表面上看似真实的命题出发，通过表面上有效的论证，却得出矛盾或荒谬结论的论证；许多最深刻的此类悖论源于自指或对角线化。

Scope

本领域涵盖了主要的逻辑和语义悖论及其对逻辑基础的影响。它涉及真理的语义悖论（说谎者悖论及其同类）、引发类型论和公理化集合论的集合论和逻辑悖论（罗素悖论、布拉利-福尔蒂悖论）、模糊性的堆垛悖论，以及将哥德尔不完备定理解释为自指最深刻应用的哲学阐释。一个统一的主题是，是否存在一个共同的对角线结构支撑着所有这些悖论。

Sub-topics

• 哥德尔定理及其哲学
• 集合论悖论与类型论
• 说谎者悖论与语义悖论
• 模糊性与堆垛悖论

Core questions

• 悖论的根源是什么？它们是否共享一个共同的结构？
• 说谎者悖论应该通过真值空缺、层次结构还是接受真正的矛盾来解决？
• 集合论悖论对逻辑和数学施加了哪些限制？
• 哥德尔定理揭示了形式系统的哪些局限性？

Key concepts

• 自指与对角线化
• 说谎者悖论
• 罗素悖论
• 真值空缺与真值过剩
• 包容图式
• 不完备性

Key theories

包容图式

普里斯特认为，自指悖论共享一个单一的“包容”结构，即跨越边界的对角线化，这暗示了一个统一的诊断，对他而言，也是一个双面真理的解决方案。

真理的不动点理论

克里普克通过在部分解释语言上进行不动点构造来构建一个真理谓词，允许某些句子（包括说谎者悖论）不接地且缺乏真值，同时保留一个可自适用的真理谓词。

History

自指悖论可以追溯到古老的说谎者悖论（埃庇米尼德、欧布里德）。罗素1901年的悖论动摇了弗雷格的逻辑主义，并推动了类型论和公理化集合论的发展；塔斯基通过语言的层次结构回应了说谎者悖论，哥德尔将自指转化为不完备定理（1931年），而克里普克和普里斯特对语义悖论提出了有影响力的现代处理方法。

Debates

是否存在一个统一的悖论解决方案？

语义悖论和集合论悖论是否共享一个单一的结构，需要一个统一的解决方案（罗素的恶性循环原则，普里斯特的包容图式），还是需要根据所涉及的概念进行不同的处理。

Key figures

• Bertrand Russell
• Alfred Tarski
• Saul Kripke
• Kurt Godel
• Graham Priest
• Mark Sainsbury

Seminal works

• sainsbury2009
• kripke1975

Frequently asked questions

为什么哲学家如此关注悖论？

悖论具有诊断性：一个看似有效的论证却得出荒谬的结论，表明我们某个看似显而易见的假设必然是错误的。追溯哪个假设失效，一再重塑了逻辑学、集合论和真理理论，因此悖论充当我们最基本概念的压力测试。