查看: 16707|回复: 34
上一主题 下一主题 跳转到指定楼层

海猫经典推理战——亨佩尔的乌鸦(补完动画所遗漏的推理过程)

53

主题

147

存在感

23

活跃日
 4 

SOS团一星级★

发帖: 621
SOS币: 28473
注册: 2009-04-28
访问: 2012-02-04

楼主
发表于 2009/09/19 | 编辑

猜你喜欢: 海猫 乌鸦, 亨佩尔的乌鸦, 亨佩尔的乌鸦 海猫



动画版将这段精彩的推理简化的太多了,有必要进行一下补完。


过程

1.战人既不愿意相信魔女是凶手,也不愿意相信亲属等18人中存在凶手,提出:“六轩岛上存在第19人,凶手就是人类贝阿朵莉切”。
2.罗诺威要求战人拿出“第19人存在”的证据。
3.战人拒绝提供证据,理由是“第19人可能藏身在无法找到的地方”,这是“恶魔的证明”。
4.罗诺威和贝阿朵莉切提出“亨佩尔的乌鸦”:战人的论点是“18人中没有凶手的话,第19人就是凶手”,那么用换质位法可以变换成为“第19人不是凶手的话,凶手就在18人中”。因此接下来,贝阿朵莉切只要证明“战人所提出的第19人不是凶手”。
5.战人提出:“岛上人数是不定的,可以是19、20,也可以是无限”,因此“18人以外的人类的不在场证明”就变得无法证明了。
6.贝阿朵莉切提出:“如果用红字将岛上人数限定在一个范围内,18人以外的不在场证明就能得到证明”。
7.战人提出:只要魔女将人数限定在18人内,根据“亨佩尔的乌鸦”就能证明“凶手在18人中”,同时也意味着“魔女不是凶手”,即魔女的败北。
8.战人要求复述:“这座岛上,只有18个人。”
9.贝阿朵莉切拒绝复述。
10.战人要求复述:“这座岛上,存在19个以上的人类。”
11.贝阿朵莉切拒绝复述。魔女未能推翻“六轩岛上存在第19人,凶手就是人类贝阿朵莉切”这一论点。


关于“亨佩尔的乌鸦”


海猫中的版本是:要证明“所有的乌鸦都是黑色”,只要证明“非黑色的鸟不是乌鸦”。其实原始版本的“亨佩尔乌鸦”更为有趣:

“亨佩尔的乌鸦”又被称为亨佩尔悖论(Hempel’s paradox)或乌鸦悖论(Raven paradox),是德国科学哲学家、逻辑学家卡尔・古斯塔夫・亨佩尔(Carl Gustav Hempel)在20世纪40年代提出的,他指出了逻辑学的归纳推理法和直觉相矛盾的问题。这条悖论的完整描述是:

1.假设命题P“所有的乌鸦都是黑色的”,那么它的等价命题Q就是“非黑色的东西就不是乌鸦”(根据直接逻辑的反对置法,P→Q ⇔ ¬ Q→¬ P)。
2.根据等价条件原则(The Equivalence Condition),如果命题X能够证明命题Y的正确性,那么命题X可以证明任何“逻辑上与Y等价的命题”的正确性。
3.根据“尼科准则”(Nicod's Criterion),对于“所有P是Q”形式的命题,某个事实“P是Q”可以增加这条命题的有效性。
4.提出证据A“我的宠物乌鸦Nevermore是黑色的”,以及证据B“我看到一个绿苹果”——即“这个绿色(而不是黑色)的东西是一只苹果(而不是乌鸦)”。
5.根据上述4条,“所有的乌鸦都是黑色的”可以推得“这个绿色(而不是黑色)的东西是一只苹果(而不是乌鸦)”,以及推得“只要我看到一只绿色的苹果,就能证明所有的乌鸦都是黑色的”。

“亨佩尔的乌鸦”在逻辑上完全正确,但是因为“不是黑色的东西”数量太过庞大,人们无法对宇宙中所有的事物一一进行调查来证明“不是黑色的东西就不是乌鸦”,从而就无法证明“所有的乌鸦都是黑色的”。“无法证明的理论”同时又是“正确理论”,因而人类的直觉无法接受这种理论,将其视作悖论。




[ 此贴被jerry2在2009-09-19 13:38重新编辑 ]

73

主题

92

存在感

34

活跃日
 5 

SOS团二星级★★

1楼
发表于 2009/09/19 | 编辑
不对...所有的乌鸦都是黑色的和非黑色的东西就不是乌鸦不对...
看完再回帖忽然忘了怎么论述 ..先占楼!


...对了...黑色不单只是乌鸦...就这样... 也就是黑色的也可以是非乌鸦...

1

主题

84

存在感

23

活跃日
 4 

SOS团一星级★

2楼
发表于 2009/09/19 | 编辑
原来如此,光看动画,根本不知道为什么魔女不敢复述战人的话.

看了楼主的贴子才明白了.复述了战人的话就输了.

人不小了,但还是想保持对动画的热情.保持童真的一面.来这受大家的感染,熏陶!

73

主题

92

存在感

34

活跃日
 5 

SOS团二星级★★

3楼
发表于 2009/09/19 | 编辑
18人中没有凶手的话,第19人就是凶手和第19人不是凶手的话,凶手就在18人中的关系不也是不对等么...如果直接用岛上人数是不定的,可以是19、20,也可以是无限..那么就说明18人中没有凶手的话,第19人就是凶手和第19人不是凶手的话,凶手就在18人中不能包含所有可能...就是存在其他可能么...
其实我没有看动画噢..

53

主题

147

存在感

23

活跃日
 4 

SOS团一星级★

4楼
发表于 2009/09/19 | 编辑
引用第3楼lovehongkong2009-09-19 00:39发表的“”:
18人中没有凶手的话,第19人就是凶手和第19人不是凶手的话,凶手就在18人中的关系不也是不对等么...如果直接用岛上人数是不定的,可以是19、20,也可以是无限..那么就说明18人中没有凶手的话,第19人就是凶手和第19人不是凶手的话,凶手就在18人中不能包含所有可能...就是存在其他可能么...
其实我没有看动画噢..



这个“亨佩尔的乌鸦”确实是经过改造的版本。海猫的版本是:要证明“所有的乌鸦都是黑色”,只要证明“非黑色的鸟不是乌鸦”;原版本是:只要证明“非黑色的东西不是乌鸦”。


[ 此贴被jerry2在2009-09-19 03:43重新编辑 ]

73

主题

92

存在感

34

活跃日
 5 

SOS团二星级★★

5楼
发表于 2009/09/19 | 编辑
啊咧... 忽然就听不懂了...

53

主题

147

存在感

23

活跃日
 4 

SOS团一星级★

6楼
发表于 2009/09/19 | 编辑
就是说贝阿朵莉切所谓的“亨佩尔的乌鸦”已经把范围限定在“人类”了(就像把“东西”替换成“鸟”),有点偷换概念的意思。

124

主题

76

存在感

35

活跃日
 4 

SOS团一星级★

7楼
发表于 2009/09/19 | 编辑
如这样说的话凶手百分之百是人类,就是说明杀人手法百分之百是人类手法。
[img][/img]


0

主题

34

存在感

12

活跃日
 1 

参观生

8楼
发表于 2009/09/19 | 编辑
脑子不够用了……
亨佩尔的乌鸦,玩游戏的时候明白了,结果看TV的时候反而迷糊了

1

主题

54

存在感

12

活跃日
 5 

SOS团二星级★★

9楼
发表于 2009/09/19 | 编辑
好妙的一场对峙,看来动画是让各位原作FANS失望了

关于我们|无图版|SOSG WIKI

Copyright © 2006-2021 SosG.Net
Total 0.012970(s) query 8, Gzip enabled,  沪ICP备07006640号-3