定义
悖论是从看似无可争议的前提出发、经看似有效的推理得出矛盾；它往往暴露了系统里未被察觉的自指或边界。
核心内容
说谎者悖论「这句话是假的」若为真则它所言成立即为假，若为假则它所言不成立即为真。罗素悖论把同类结构搬进集合论：所有「不包含自身的集合」构成的集合，是否包含自身？它直接动摇了弗雷格的朴素集合论，促成类型论与公理化集合论。塔斯基以语言层级（对象语言 / 元语言）禁止自我指涉真谓词，哥德尔则用「本命题不可证」的自指构造证明任何足够强的形式系统都有不可判定命题。悖论的价值不在「脑筋急转弯」，而在精确指出一个系统的隐含边界。
源流
从古希腊的芝诺与说谎者，到 1901 年罗素悖论引发的第三次数学危机，再到哥德尔不完备定理，自指成为理解形式系统极限的核心线索。
要点
自指 + 否定，是说谎者类悖论的通用发动机
解决之道通常是分层（语言层级、类型）或限制（禁止恶性循环）
悖论暴露边界，不等于系统整体崩溃
论证
正文
村里理发师立规：给且只给所有不给自己刮脸的男人刮脸。问他给不给自己刮？给，则他属于「给自己刮脸者」，按规不该给；不给，则他属于「不给自己刮脸者」，按规又必须给。罗素用这个通俗版说明：一个集合若可由「所有不满足某条件的 X」无限制地构成，就会撞上同样的自指矛盾。
启示
当一条规则要用来裁决它自身时，先检查它有没有被允许管辖自己——很多制度漏洞都出在这一步。
标题
理发师与「只给不给自己刮脸的人刮脸」
常见误解
误解：悖论说明逻辑不可靠。恰恰相反，是逻辑把隐含假设逼到明处，从而推动了更严格的系统。
误解：所有悖论都靠「禁止自指」解决。不同系统采用分层、多值逻辑、容忍矛盾等不同策略，各有代价。
场景应用
情境
定规则
tip
问一句「这条规则由谁、按什么规则来修改」，能提前发现自指式漏洞。
情境
遇到循环解释
tip
把循环画成箭头图，通常能立刻看出缺了一个外部锚点。
关联内容
名称
三段论与演绎有效性
note
悖论的压力测试正是针对「前提真 + 形式有效」这一组合。
名称
归纳问题
note
休谟问题同样揭示了推理系统的隐含前提。
术语表
def
一个语句、规则或系统把自身作为对象来谈论。
term
自指
def
区分谈论世界的语言与谈论语言的语言，以阻断真值自指。
term
语言层级
出处
埃庇米尼得斯 / 罗素 / 哥德尔 / 塔斯基
分类
philo
标签
逻辑基础