2024.10.24

悖论的核心逻辑

自相矛盾的命题中，两个相互排斥的观点在逻辑上等值，且可相互推导。

罗素悖论与理发师悖论

• 罗素悖论：以集合论形式呈现逻辑矛盾。
• 理发师悖论（图示）：规则：“理发师只给不给自己刮脸的人刮脸”。推导矛盾：
  • 若理发师“不给自己刮脸”，则按规则需“给自己刮脸”；
  • 若理发师“给自己刮脸”，则违反“只给不给自己刮脸的人刮脸”的规则。（本质是自指悖论：命题同时肯定与否定自身，导致逻辑循环矛盾。）

语义悖论（说说表悖论）

有人声称：“我说谎话。”

• 若“他说的是假话”，则“他在说谎”这一陈述为真（即他实际“说真话”）；
• 若“他说真话”，则“他在说谎”这一陈述为假（即他实际“说谎话”）。（语义层面的自指循环，导致真假判断无解。）

罗素悖论的数学形式（集合论表达）

定义集合 S={x∣x∈/x}（所有“不属于自身”的集合构成的集合）。

• 若 S∈S，则根据定义 S∈/S，矛盾；
• 若 S∈/S，则 S满足“不属于自身”的条件，故 S∈S，矛盾。