乌鸦悖论

✍ dations ◷ 2025-09-10 12:42:27 #悖论

乌鸦悖论(英语:raven paradox),也叫做亨佩尔的乌鸦或亨佩尔悖论,是1940年代德国逻辑学家卡尔·亨普尔为了说明归纳法违反直觉而提出的一个悖论。

几千年以来,无数人观察了许多事务,比如地心引力法则,人们趋于相信其极可能是真理。这种类型的推理可以总结成“归纳法原理”:

亨佩尔给出了归纳法原理的一个例子: “所有乌鸦都是黑色的”论断。我们可以出去观察成千上万只乌鸦,然后发现他们都是黑的。在每一次观察之后,我们对“所有乌鸦都是黑的”的信任度会逐渐提高。归纳法原理在这里看起来合理的。

现在问题出现了。“所有乌鸦都是黑的” 的论断在逻辑上和“所有不是黑的东西不是乌鸦”等价。如果我们观察到一个红苹果,它不是黑的,也不是乌鸦,那么这次观察必会增加我们对“所有不是黑的东西不是乌鸦”的信任度,因此更加确信“所有的乌鸦都是黑的!”这个问题被总结成:

余未尝见有紫牛,
然苟余或遇其一,
则云乌鸦俱黑者,
岂其益发可信兮?




解决它和直觉的冲突,哲学家们提出了一些方法。美国逻辑学家纳尔逊·古德曼建议对我们的推理添加一些限制,比如永远不要考虑支持论断“所有P满足Q”且同时也支持“没有P满足Q” 的实例。

其他一些哲学家质疑“等价原理”。也许红苹果能够增加我们对论断“所有不是黑的东西不是乌鸦”的信任度,而不增加我们对 “所有乌鸦都是黑色的”信任。这个提议受到质疑,因为你不能对等价的两个命题有不同的信任度,如果你知道他们都是真的或都是假的。

古德曼,以及其后的威拉德·冯·奥曼·蒯因,使用术语“”来描述这些类似于“乌鸦”和“黑色”的命题,所有这类命题是支持归纳推理法的;而“非projectible predicate”则为与只相反的后者,如“非黑”和“非乌鸦”这些命题并不支持归纳推理法。蒯因还提出一个需要证实的猜想:如果任何命题是projectible的;在无限物件组成的全集中,一个projectible的命题的补集永远是非projectible的。

这样一来,虽然“所有乌鸦都是黑的”和“所有不是黑的东西都不是乌鸦”这两个命题所拥有的信任度必须相等,但只有“黑色的乌鸦”才能同时增加两者的信任度,而“非黑色的非乌鸦”并不增加任何一个命题的信任度。

还有些哲学家认为其实这个命题是完全正确的,出错的是我们自己的逻辑。其实观察到一个红色的苹果确实会增加乌鸦都是黑色的可能性!这就相当于:如果有人把宇宙中所有不是黑的物体都给你看,而你发现所有的物体都不是乌鸦,那你就完全可以断定所有乌鸦都是黑的了。这个“悖论”看上去荒谬只是因为宇宙中“不是黑的”物体远远多于“乌鸦”,所以发现一个“不是黑的”物体只增加了极其微小的对于“乌鸦都是黑的”的信任度,而相对而言,每发现一只黑的乌鸦就是一个有力的证据了。

除了以上的陈述以外,“归纳法原理”还有另一种形式,就是贝叶斯推理。

设 为支持论断 的一个实例,而 表示我们所有的已知信息。

Pr ( | ) {\displaystyle \Pr(\bullet |\circ )} 成立的几率,已知 和 都是成立的,可以推得,

这里 P r ( T | I ) {\displaystyle Pr(T|I)} 是已知成立的情况下, 成立的几率; P r ( X | T I ) {\displaystyle Pr(X|TI)} 和 都已知成立的情况下, 成立的几率;而 P r ( X | I ) {\displaystyle Pr(X|I)} 是已知成立的情况下, 成立的几率。

利用这个原理,这个悖论就不会出现了。如果有人随机选一个“苹果”,那么他看到一个红苹果的几率和“乌鸦”的颜色是完全没有关系的。这时分子等于分母,所以分数等于1,所以以上讨论的几率不会改变。所以看见一只红色的苹果不会增加人们对“乌鸦都是黑色的”的信任度。

而如果那人是随机选择一个非黑的“物件”,那个物件正好是一个红的苹果,那么我们会得到一个分子大于分母的,几乎等于一的假分数。所以在这个情况下,看见一只红苹果确实会极微小地增加我们对“乌鸦都是黑色的”的信任度。

其实,随着一个人看到的不是黑色的东西的增加(并发现其中没有乌鸦),“乌鸦都是黑色的”的几率会趋向于1。

相关

  • 乳酸菌乳酸菌,可能指:
  • 阿布鲁佐阿布鲁佐(意大利语:Abruzzo,发音:)位于意大利中部,北与马尔凯交接,拉齐奥位于其西南,东南部是莫利塞大区,东边则是亚得里亚海。该区于1963年从原阿布鲁齐-莫利塞大区(Abruzzi e Molise
  • 物价升幅通货膨胀(英语:inflation,简称通膨)本意为货币流通数量增加,但也指向因货币流通数量增加,而使得物价水准在某一时期内,连续性地以相当的幅度上涨,也就是物价上升,货币购买力下降的现
  • 北极镇 (漠河市)北极镇原名漠河乡,是中国黑龙江省大兴安岭地区漠河县下属的一个镇,位于漠河北部,北隔黑龙江与俄罗斯相望,东接兴安镇,西接内蒙古,是中国最北的一个镇,在1917-1947年间为中国最北的
  • 四氯化碲四氯化碲是一种无机化合物,化学简式为TeCl4。它具有挥发性,在200 °C(0.1 mm Hg)升华。熔融的TeCl4是离子化合物,可以解离为TeCl3+和Te2Cl102−。TeCl4在气相为单体,和SF4的结构
  • 蒙山都法蒙山都法或孟山都法是化学工业上利用甲醇羰基化制备乙酸的办法;1970年,孟山都公司建造了首个使用铑为基础的催化剂的设备。使用铑或铱代替钴做主催化剂,以碘为活化剂的可溶性催
  • 乔良 (体操运动员)乔良(1968年1月1日-),北京人,中国男子体操运动员。曾担任中国国家体操队副队长,在国际赛事中获得多个奖项。1991年退役后移居美国,在衣阿华州得梅因市的衣阿华州立大学勤工俭学。19
  • 陈积陈积(1976年12月5日-),出生于上海,中国女子手球运动员,曾代表中国参加2004年夏季奥运会女子手球比赛。她也参加了1999年亚洲女子手球锦标赛,获得亚军。
  • 关键第4号《关键第四号》(英语:),是一部于2011年上映的美国青少年科幻片,由D·J·克鲁索执导,动作片名导迈克尔·贝监制作品。演员有亚历克斯·帕蒂弗、提摩西·奥利芬、特雷莎·帕尔默、戴
  • 维托尔德·瓦什奇科夫斯基维托尔德·瓦什奇科夫斯基(波兰语:Witold Waszczykowski,波兰语:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans U