SOS动漫社团 › 博物馆 › 龙骑士07专区 › 海猫经典推理战——亨佩尔的乌鸦（补完动画所遗漏的推理过程）

查看: 22019|回复: 34

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

53 主题	147 存在感	23 活跃日

SOSG招收字幕组人员

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重新编辑 ]

回复编辑

屏蔽签名屏蔽头像只看该作者

lovehongkong

73 主题	92 存在感	34 活跃日

SOSG招收字幕组人员

SOS团二星级★★

1楼

发表于 2009/09/19 | 编辑

不对...所有的乌鸦都是黑色的和非黑色的东西就不是乌鸦不对...

看完再回帖忽然忘了怎么论述

..先占楼!

...对了...黑色不单只是乌鸦...就这样...

也就是黑色的也可以是非乌鸦...

回复编辑

屏蔽签名屏蔽头像只看该作者

菜鸟

1 主题	84 存在感	23 活跃日

SOSG招收字幕组人员

SOS团一星级★

2楼

发表于 2009/09/19 | 编辑

原来如此,光看动画,根本不知道为什么魔女不敢复述战人的话.

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

回复编辑

屏蔽签名屏蔽头像只看该作者

lovehongkong

73 主题	92 存在感	34 活跃日

SOSG招收字幕组人员

SOS团二星级★★

3楼

发表于 2009/09/19 | 编辑

18人中没有凶手的话，第19人就是凶手和第19人不是凶手的话，凶手就在18人中的关系不也是不对等么...如果直接用岛上人数是不定的，可以是19、20，也可以是无限..那么就说明18人中没有凶手的话，第19人就是凶手和第19人不是凶手的话，凶手就在18人中不能包含所有可能...就是存在其他可能么...

其实我没有看动画噢..

回复编辑

屏蔽签名屏蔽头像只看该作者

jerry2

53 主题	147 存在感	23 活跃日

SOSG招收字幕组人员

SOS团一星级★

4楼

发表于 2009/09/19 | 编辑

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

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

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

回复编辑

屏蔽签名屏蔽头像只看该作者

lovehongkong