大家好，我是 Senko。 本文将解读“鳄鱼悖论（鳄鱼的两难困境）”。
尼罗河畔，一条鳄鱼抢走了母亲的孩子。鳄鱼说——“猜中我会怎么处置这孩子，我就把他还给你”。当母亲回答“你不会把孩子还给我”时，鳄鱼便进退两难，哪个行动都无法采取了。
这个由古希腊逻辑学家设计的悖论，历经 2400 多年，至今仍向我们抛出逻辑学的本质问题。
悖论的结构
先来梳理鳄鱼的承诺。
“母亲的预测正确就还孩子，错了就不还。”
母亲的预测是“鳄鱼不会还孩子”。我们分两种情形来看。
情形 1：鳄鱼把孩子还回去 母亲的预测（不还）落空了。按照承诺，预测错误就不该还孩子。可现在却要还，矛盾出现了。
情形 2：鳄鱼不还孩子 母亲的预测（不还）说中了。按照承诺，预测正确就该还孩子。可现在却不还，这同样矛盾。
无论采取哪种行动都违背承诺，鳄鱼因此动弹不得。
母亲的策略妙在哪里
值得注意的是，如果母亲选了别的回答，什么问题都不会发生。
比如母亲回答“你会把孩子还给我”会怎样？鳄鱼还了，预测正确，按承诺归还，没有矛盾；鳄鱼不还，预测落空，按承诺不还，同样没有矛盾。两种情况下鳄鱼都能自由选择行动。
悖论只在母亲回答“不还”时才会发生。这个回答精准命中了鳄鱼承诺的结构性弱点。母亲（无论有意还是偶然）选择了一个从内部瓦解承诺体系的回答。
与说谎者悖论的关系
鳄鱼悖论与说谎者悖论拥有相同的结构。
在说谎者悖论中，“这句话是假的”无论为真为假都会产生矛盾。鳄鱼悖论中，母亲的回答指涉鳄鱼的行动，鳄鱼的行动又指涉母亲回答的对错——这种循环式的自我指涉结构正是悖论的核心。
不过，鳄鱼悖论有一个说谎者悖论所没有的特点。说谎者悖论纯粹是语言内部的问题，而鳄鱼悖论牵涉“承诺”这一行为。承诺伴随着现实世界中的履行，逻辑矛盾于是表现为实际行动的不可能。
源自古代的历史
这个悖论可以追溯到古希腊。它在公元前 4 世纪前后就已广为人知，斯多葛学派哲学家克吕西波曾把它列为“无法解决的问题”之一并加以论述。
古罗马修辞学家昆体良也在著作《雄辩术原理》中提到过这个悖论。可见在修辞学教育中，它曾被当作“逻辑上无法回答的问题”的代表案例。
中世纪欧洲盛行“不可解命题（insolubilia）”研究，鳄鱼悖论也在这一脉络中被反复讨论。14 世纪牛津的逻辑学家们对这类自我指涉命题进行了系统分类，为后来罗素的类型论、塔斯基的真理不可定义定理奠定了基础。
现代逻辑学的分析
在现代逻辑学看来，鳄鱼悖论的症结在于“承诺的条件设定本身就内含矛盾”。
用形式化的说法，鳄鱼的承诺是一种“双条件句（biconditional）”，可以表示为“预测正确 ↔ 归还孩子”。当母亲预测“不还”的那一刻，这个双条件句就坍缩成了“不还 ↔ 还”这样一个自相矛盾的形式。
也就是说，问题不在于母亲有多聪明，而在于鳄鱼设定的承诺结构本身，对特定回答在逻辑上无法自洽。可以说鳄鱼从一开始就许下了一个无法履行的承诺。
这在法学上也颇具启发。当合同内含矛盾（在某种条件下同时产生相反的义务）时，该合同可能被判定无效。鳄鱼的承诺，正是这种“逻辑上无法履行的合同”的经典案例。
拥有相似结构的问题
日常生活中也潜藏着与鳄鱼悖论相似的结构。
比如，老师宣布“这场考试将不预告地举行”的突击考试悖论，同样具有自我指涉结构：老师的行动（是否考试）依赖学生的预测，学生的预测又依赖老师的宣言。
博弈论中的“最后通牒博弈”也有类似结构：预测对方的行动，并据此决定自己的行动。对方的预测影响自己的行动，自己的行动又决定对方预测的对错——这种循环内在于许多策略情境之中。
自我指涉类的相关悖论
以下是与鳄鱼悖论同样由自我指涉引发逻辑矛盾的相关悖论。
结语
本文解读了“鳄鱼悖论”。
这个从古代起就困扰着人们的悖论，是展示自我指涉如何摧毁逻辑的经典范例。当承诺或合同中掺入了对自身行动的指涉，就会产生逻辑上无解的局面——它用一则幽默的寓言，把这个教训讲给了我们听。
历经 2400 年也不曾褪色的一问。
想返回悖论列表的读者请点击下方链接。
我们下一篇文章见。
📚 系列：世界经典悖论（12/57）
