作者KUSURI (UnderTheBurningSky)
看板Expansion07
标题[闲聊] 恶魔的证明
时间Sat Jun 20 06:17:40 2009
虽然前面已经有板友提过"恶魔的证明"的问题
不过最近板上"恶魔的证明"好像又流行了起来 所以特别发一篇来讨论
恶魔的证明的本意是指 "难以被证明的事"
而因为证明"没有"是很困难的 所以才被称为恶魔的证明
而在各EP中
偶而可以看到战人或故事中的人物据此发表暴论
但这些根据恶魔证明强行推进的推论其实相当脆弱
比如说关於18+X的推论 战人就利用"恶魔的证明"来处理X的存在
但结果被魔女的"没有19人以上"的红字给打倒了
因此在海猫的世界中 "没有"不是无法证明的
再回过头来看恶魔证明故事中使用的的意思
指的是"没有是难以证明的"
而这并不等於"没有是无法证明"或就是"有"
充其量来说 使用恶魔的证明
只能肯定"有"的"可能性"存在 并不能作为"有"存在的证明 也不能作为"没有"的否定
也就是说使用恶魔的证明 只能保住自己论点的"可能性"
基本上除了这以外什麽也没证明
所以故事中用恶魔的证明偷渡"有"成立的用法通通是有缺陷的推论
(误用暴论范例 >>> A : 你有罪
B : 证据呢?
A : 恶魔的证明 就算我找不出证据 也不代表你有罪的证据不存在)
从这看起来 恶魔的证明事实上是相当没用且大有问题的工具....
大概跟EP1的翻转棋盘思考一样 是隐含了思考陷阱的误导
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 219.84.255.147
1F：推 caten:就初期来说，恶魔证明对战人是必要的，但是一旦必须去解开谜 06/20 07:56
2F：→ caten:题的话，那麽使用恶魔证明等於自找死路 06/20 07:57
3F：→ caten:翻转棋盘思考不是没有用，假如对方跟绝对魔女一样，会下绝对 06/20 07:57
4F：→ caten:胜利的路径，那麽翻转棋盘就是一种有效周旋的手法 06/20 07:58
5F：→ caten:问题就在本篇魔女风格不能这样使用www 06/20 07:58
6F：→ attacksoil:海猫就是个大型的平行思考游戏 最重要的就是要确定 06/20 08:53
7F：→ attacksoil:什麽是可能什麽是不可能 从这角度来说 使用恶魔的证明 06/20 08:54
8F：→ attacksoil:等同要求对方回答问题提供线索 06/20 08:54
9F：推 caten:但是恶魔的证明所能得到的"是"答案可以有无限多种 06/20 09:09
10F：→ caten:恶魔证明所能得到的对方的回答，顶多只有"不是"这种回答而已 06/20 09:09
11F：→ caten:所以想要真正得到唯一解，恶魔证明就不可以使用 06/20 09:10
12F：→ KUSURI:恶魔的证明几乎可以让所有的主张变成"可能" 这就是问题所在 06/20 09:12
13F：推 sherlockscu:恶魔证明其实不是攻击手段 而是防御手段 06/20 15:27
14F：→ sherlockscu:只是以积极方式进行防御罢了 06/20 15:28
15F：→ keinsacer:就「先不管具体是怎麽做的，总之有这可能性！」 06/20 17:47
16F：推 Runna:靠XD 夏洛克为什麽在这个版XDDD 06/20 19:51
17F：推 attacksoil:在提出可能性的同时 也等於将举证责任推给对方 06/20 20:40
18F：→ attacksoil:不过也只有屁理胜负能这样玩就是了XD 06/20 20:41
19F：→ keinsacer:反正对手是无理性更高的魔女XD 06/20 21:49
20F：→ sherlockscu:我在这个板很久啦...只是没发过专文 06/20 22:01