亨佩尔的乌鸦悖论

先澄清误解#

人们第一次听见乌鸦悖论，常把它听成一句实验室玩笑：科学家有偏见，只肯盯着乌鸦看，所以才会觉得「所有乌鸦是黑的」被黑乌鸦支持。这不是心理学诊断，也不是观鸟手册。卡尔·亨佩尔在一九四五年分两期刊于《心灵》的《确证逻辑研究》里，要压的是两条看起来都很干净的逻辑原则如何互相拆台。

另一种更快的读法是：既然白鞋也算证据，归纳就破产了，科学观察没有资格约束假说。这也不是亨佩尔的结论。他并不宣布「随便哪件室内器物都能替代野外调查」，更不是在写鸦科动物志。他要逼问的是更窄、也更硬的一件事：若确证是语句与语句之间的逻辑关系，正面实例与逻辑等价一旦同时入账，非黑的非乌鸦就会挤进关于乌鸦的账单。

对象因此不是观鸟者的偏见，不是鸦科形态学，也不是把整件事交给证伪口号或先验分布。对象是尼科德标准与等价条件的碰撞，以及那只白鞋。

尼科德标准#

让·尼科德在一九二四年的《归纳的逻辑问题》里给出一套关于全称条件句的实例规则。全称句「所有 F 都是 G」，被一个既是 F 又是 G 的对象确证，被一个是 F 却不是 G 的对象否证；不是 F 的对象，无论是不是 G，都被当作中性。

于是「所有乌鸦是黑的」有一张很直观的收据。一只黑乌鸦是正面实例，应当确证它。一只非黑的乌鸦应当打击它。一只黑猫、一只白鞋，按这张收据都不该开口：它们不是乌鸦，尼科德把它们算成与这条假说无关。

这套规则的吸引力在于它像在给科学观察开句法发票。你不必先问这只鸟是怎么被抽到的，也不必先问背景知识里已经装了多少「鞋子不是乌鸦」。你只看观察句与假说句的谓词怎么咬合。亨佩尔后来说，二十世纪中叶的确证理论正希望有这样一份不依赖心理、也不依赖抽样故事的逻辑账单。

尼科德标准不是「多看几只乌鸦比较安心」的常识，而是何种对象算实例的规则。后面的悖论从中性条款里长出来：同一只白鞋，在「所有乌鸦是黑的」下面应当沉默，在一条逻辑等价的假说下面却应当发言。

等价条件#

等价条件说：若证据 E 确证假说 H，而 H 与 H′ 逻辑等价，则 E 也确证 H′。逻辑等价的句子说的是同一件事，只是写法不同。确证若跟踪的是假说的内容而不是它碰巧被写成哪一串符号，这条条件几乎不可少。

「所有乌鸦是黑的」写成谓词逻辑，是对每个对象 x，若 x 是乌鸦，则 x 是黑的。它的换质换位是：对每个对象 x，若 x 不是黑的，则 x 不是乌鸦。两条全称句在经典逻辑里互相推出，真值完全同进退。世界上若有一只非黑的乌鸦，两条一起倒；若没有，两条一起立。

亨佩尔要我们认真对待这件事：确证理论若尊重逻辑等价，就不能只给其中一种写法发收据、把另一种写法当成另一门科学。你当然可以不喜欢换质换位后的说法，说它听起来不像鸟类学。可听起来不像，并不取消等价。等价条件逼你承认，关于乌鸦的规律已经把非黑的东西也写进了同一张网。

若有人回答「那我只承认原始写法、不承认逆否」，他并没有救出尼科德，只是改口说确证可以跟着句法外表走。亨佩尔的压力正在这里：要么放弃「等价者同等确证」，要么准备让一只与乌鸦无关的对象，凭逻辑改写挤进账单。

白鞋如何进来#

现在把两原则叠在一起。按尼科德，「所有非黑的东西都不是乌鸦」被一个非黑且非乌鸦的对象确证。一只白鞋既不是黑的，也不是乌鸦，于是它是这条逆否假说的正面实例。

再按等价条件，这条逆否假说与「所有乌鸦是黑的」是同一条内容。白鞋因此也被算成在确证「所有乌鸦是黑的」。室内一只鞋、桌上一条红鲱鱼，都可以按同一手续开出收据。这就是乌鸦悖论：逻辑没有要求你出门看鸟。

更硬的一点还不在「听起来荒唐」，而在尼科德标准内部已经打架。对「所有乌鸦是黑的」，白鞋不是乌鸦，尼科德的中性条款说它不增不减。对逻辑等价的逆否句，同一只鞋却是正面实例。同一条证据、同一套实例规则，不能既中性又确证。悖论不是修辞张力，是两条原则的不一致。

亨佩尔把白鞋写成思想实验，不是为了嘲笑观鸟，而是把「实例」从野外感觉里抽出来，只留给语句关系。一旦只剩语句关系，非黑的非乌鸦与黑乌鸦可以互换角色。直觉说鞋与乌鸦不是一类观察；换质换位却把它们写成同一条假说的两种实例。

亨佩尔的判定：接受确证#

亨佩尔自己的判定，不是把白鞋赶出大门，而是让我们收回那份抗议。全称条件句谈的是域里每一个对象：它说没有任何东西既是乌鸦又非黑。一只被查明为白鞋的对象，至少证明「这一点上没有出现非黑的乌鸦」。在这个极薄的意义上，它与假说相容，并且按等价条件还是逆否句的正面实例。

他认为悖论感主要是心理的。我们早已知道鞋子不是乌鸦，于是观察白鞋好像什么也没教。可「早已知道」是背景知识，不是尼科德账单上的栏目。把已经知道的东西从证据里扣掉以后，白鞋对乌鸦假说的增量当然可以小到无聊；无聊并不等于逻辑上为零。室内确证之所以刺耳，是因为我们把「信息量很小」听成了「根本不算确证」。

他因此更愿意削弱尼科德的中性条款，而不是牺牲等价条件。不是乌鸦的对象，不再被规定为永远沉默；它们可以以逆否实例的身份开口，只是在庞大的非乌鸦、非黑类里，每一只的声音都很轻。定性确证只管「算不算支持」，不管「支持有多响」。

这个判定保住了「确证是逻辑关系」的志向，却把定量与抽样的问题留给后来者。雅尼娜·霍西亚松-林登鲍姆在一九四〇年已讨论过：非乌鸦实例的确证力可以小到几乎可忽略。亨佩尔要的是定性逻辑能否自洽；他承认听感怪异，却不肯让听感否决等价。

与休谟的问题如何分开#

休谟问的是归纳本身有没有非循环的辩护：过去的恒常会合并不能逻辑地推出未来的会合，习惯填补了理性留白。乌鸦悖论承认你可以已经在做归纳、已经接受「用实例支持全称句」，然后继续为难你。为难之处不在「桥梁可不可以走」，而在「哪些观察算同一座桥上的实例」。

休谟的火力打在从已观察到未观察这一步的合法性上。亨佩尔的火力打在观察句与假说句的逻辑关系上：黑乌鸦与白鞋是否必须被同一套确证规则承认。前者问你凭什么外推，后者问你外推时哪一张收据算数。两问都让经验主义不舒服，但卡住的环节不同。只重复休谟，会把乌鸦悖论误听成旧归纳问题的复述。

因此本文对象不是休谟传记，也不是经验主义通史。休谟提供背景压力：归纳需要超出演绎的一步。亨佩尔把压力拧到确证规则的内部：即便那一步被允许，实例规则仍可能自相矛盾。要解释科学观察如何支持定律，必须说明正面实例与等价改写如何共处，而不能只说「我们习惯于归纳」。

把白鞋读成「所以观察无用」，会滑向与亨佩尔相反的口号。观察仍然约束理论：一只非黑乌鸦会同时打倒两种写法。要点是，尚未遇见反例时，逻辑已经在分配谁算正面实例。白鞋令人不适，不是因为它推翻观察，而是因为它让确证跟着等价走到室内。

波普尔不能整包替换#

波普尔会说：科学的标记不是被实例确证，而是敢于做出可被经验打倒的预测。一只白鞋打不倒「所有乌鸦是黑的」，一只非黑乌鸦可以。于是白鞋在证伪主义里重新变成无关物，室内鸟类学的刺耳声好像消失了。这是对照，不是完结。

证伪主义换掉的是问题。亨佩尔问的是：在尚未被反驳时，正面实例如何算支持；尼科德与等价条件如何写成一张不自打嘴巴的账单。波普尔可以拒绝「确证」这个概念，改谈经受住检验后的暂时巩固。可拒绝发给收据，并不等于证明那两原则从未冲突。把乌鸦悖论整包改写成「所以只要证伪」，是用另一套科学哲学覆盖对象，而不是解答对象。

即便在证伪框架里，等价条件也没有退休。与「所有乌鸦是黑的」等价的句子，被同一只非黑乌鸦打倒。波普尔可以坚持：真正有信息的是潜在反例，不是白鞋。可科学家日常仍在点数黑乌鸦、报告阳性结果、把「又看见一只」写成支持。亨佩尔的对象正是这份阳性实践的逻辑。证伪主义可以批评它，不能假装它没有自己的结构问题。

对照因此必须停在边界上。波普尔解释了为何寻找非黑乌鸦比清点白鞋更像严酷检验。亨佩尔解释了为何一份只认语句拟合的确证逻辑挡不住白鞋。两者可以互相照明，谁也不能把对方的问题宣布为已解散。

与绿蓝谜题如何分开#

乌鸦悖论与绿蓝谜题常被并列进「归纳悖论」清单，机制不同。前者靠逻辑等价，把非黑的非乌鸦算进同一条全称句，让室内白鞋显得像在确证关于乌鸦的规律。后者不需要换质换位。它只需要一个与「绿」在已有样本上共外延、在未检查样本上分叉的谓词。绿蓝是共外延策略，不是换质换位策略。

古德曼的页面已经把这点写死：乌鸦是等价加尼科德，绿蓝是谓词的可投射性。本文与那一页保持同一条缝。你即使修好了乌鸦——例如规定只由 F 且 G 的对象确证「所有 F 是 G」，并忍痛放弃等价条件——绿蓝假说仍然会凭已检查的绿样本拿到与绿假说同样多的正面实例。反过来，你即使用固化、自然种类或先验挡住绿蓝，白鞋仍会凭逆否改写敲门。

因此不要把两则思想实验焊成一句「归纳有一堆怪事」。乌鸦悖论的压力在确证规则对逻辑形式的承诺：认尼科德、认等价，就会认白鞋。绿蓝谜题的压力在证据对敌对谓词打成平手：拟合账单发不出投射资格。一个是实例类在等价下膨胀，一个是谓词在时间切口上分叉。混用会看丢各自卡住确证理论的那一环。

亨佩尔要的不是新谓词，而是定性确证能不能在经典逻辑里闭门运算。古德曼要的不是室内鞋，而是哪些谓词准许被外推。两问都从「正面实例支持全称句」出发，下一步就分手。

贝叶斯不能无余数消解#

把悖论交给贝叶斯推断，最常见的说法是：白鞋确证为真，只是增量极小；先验里乌鸦少、非黑的东西极多，一只鞋几乎不移动后验。这可以是一条好的定量故事，却不是把对象解到没有余数。

亨佩尔问的是定性关系：E 是否确证 H，作为语句之间可判定的逻辑事实。贝叶斯改问的是：在某套先验、似然与抽样模型里，后验升了多少。问题已经被换元。即便算出口袋里那一点上升，你仍然没有回答尼科德的中性条款与等价条件如何共处；你只是不再使用那套定性词汇。

更要紧的是，白鞋的似然根本不由「这是一只白鞋」单独决定。你是在乌鸦里抽样，还是在非黑的东西里抽样，还是在宇宙里随机摸对象，三种协议写出三种证据。同是一只鞋，协议不同，对「所有乌鸦是黑的」可以几乎无信息，也可以有一点点信息。句法确证看不见协议。先验再怎么写，也是把协议与背景知识塞进模型，而不是证明亨佩尔的句法账单本来就自洽。

I. J. 古德后来强调：一旦允许背景知识，连黑乌鸦都不必然确证「所有乌鸦是黑的」。定量故事于是拆掉了尼科德的句法自信。这不是「请用贝叶斯公式再算一次」就能收场的解散：换成度数以后，仍要处理抽样与背景。余数还在。

常见误区#

把页面写成鸦科志，是看丢了思想实验的抽象。乌鸦与黑色只是全称句里两个谓词的日常填空。换成「所有金属导电」与一块绝缘的木头，结构不变。动物学事实不能给等价条件解围。

以为证伪主义已经把悖论说完，是把对照当成替代。潜在反例确实比白鞋更像严酷检验；这解释了方法上的偏好，没有写出尼科德与等价如何自洽。把「不要谈确证」当成「确证悖论已消失」，只是换了题目。

以为先验或极小增量已经把悖论蒸发，是把定性问题当成已经结算的算术。度数可以描述「鞋很轻」，不能代替回答「轻是否仍算确证」，更不能让抽样协议从观察句里凭空出现。亨佩尔的对象在换元之后还有剩余。

跨域连接#

• 贝叶斯推断：亨佩尔要的是观察句与假说句之间可否判定的定性确证，不是后验比先验高出多少。一只白鞋可以在「宇宙随机抽样」的模型里给「所有乌鸦是黑的」极小正增量，也可以在「已知这是鞋」的背景里几乎不更新。算对一次增量，并没有调解尼科德中性条款与等价条件的冲突；它只是改用另一套问题。把乌鸦悖论缩成「请给该全称句设个先验」，会把原则碰撞假装成计算题。
• 确认偏误：确认偏误描述搜寻、解释与记忆如何偏向已有信念。乌鸦悖论的白鞋不是被忘掉的反例，而是逆否假说的正面实例。一个严格执行尼科德加等价的人，不必有任何偏袒乌鸦的心理，也会把鞋算进账单。把亨佩尔读成「鸟类学家懒得看别处」，会退回注意缺陷故事，而他要处理的是两条确证原则本身。
• 预注册与注册报告：观察句「这是一只白鞋」并不编码你事先承诺抽的是乌鸦、非黑对象，还是任意器物。协议一旦事后改写，同一只鞋可以从无关物变成逆否实例。预注册把抽样框冻在结果出现之前，等于让证据带着设计信息，而这正是亨佩尔的句法确证故意拿掉的东西。它并不裁决白鞋该不该算确证，只禁止把「算不算实例」当成看见对象以后再发明的函数。
• 因果推断：句子等价并不等于抽样设计等价。盯乌鸦看与盯非黑的东西看，是两种进入样本的方式；识别所需要的，是单位如何被选中，而不只是事后记下的谓词。亨佩尔的逻辑把观察陈述当成已给，于是鞋与乌鸦可以凭换质换位对调角色。因果推断把设计留在台上：同一条全称内容，不同抽样框不是同一条证据。
• 机器学习概览：逻辑上「所有乌鸦是黑的」与「所有非黑的都不是乌鸦」同真同假，并不使两份训练集可互换。只喂黑乌鸦，与只喂白鞋、红鲱鱼，是两种经验分布。在补类上拟合完美，推不到乌鸦那一侧仍会分对。假设类的归纳偏置要先决定从哪一类抽样；等价改写不会自动送出这个偏置。乌鸦悖论在工程里的对应，不是又一个颜色谓词，而是「阳性实例」与「补类实例」被逻辑说成同一个假说的两种证据。

参考文献#

• Hempel, Carl G. "A Purely Syntactical Definition of Confirmation." The Journal of Symbolic Logic 8 (1943).
• Hempel, Carl G. "Studies in the Logic of Confirmation." Mind 54 (1945): 1–26, 97–121.
• Nicod, Jean. Le problème logique de l'induction. Paris: Alcan, 1924.
• Nicod, Jean. Foundations of Geometry and Induction. London: Kegan Paul, Trench, Trubner & Co., 1930.
• Hosiasson-Lindenbaum, Janina. "On Confirmation." The Journal of Symbolic Logic 5 (1940).
• Good, I. J. "The White Shoe is a Red Herring." The British Journal for the Philosophy of Science 17 (1967).
• Goodman, Nelson. Fact, Fiction, and Forecast. Harvard University Press, 1955.
• Hume, David. An Enquiry Concerning Human Understanding. 1748.
• Popper, Karl. The Logic of Scientific Discovery. Hutchinson, 1959; first published as Logik der Forschung, 1934.