[閒聊] 惡魔的證明

[KUSURI (UnderTheBurningSky)]

雖然前面已經有板友提過"惡魔的證明"的問題
不過最近板上"惡魔的證明"好像又流行了起來 所以特別發一篇來討論

惡魔的證明的本意是指 "難以被證明的事"
而因為證明"沒有"是很困難的 所以才被稱為惡魔的證明

而在各EP中
偶而可以看到戰人或故事中的人物據此發表暴論
但這些根據惡魔證明強行推進的推論其實相當脆弱

比如說關於18+X的推論 戰人就利用"惡魔的證明"來處理X的存在
但結果被魔女的"沒有19人以上"的紅字給打倒了

因此在海貓的世界中 "沒有"不是無法證明的

再回過頭來看惡魔證明故事中使用的的意思
指的是"沒有是難以證明的"

而這並不等於"沒有是無法證明"或就是"有"

充其量來說 使用惡魔的證明
只能肯定"有"的"可能性"存在 並不能作為"有"存在的證明 也不能作為"沒有"的否定

也就是說使用惡魔的證明 只能保住自己論點的"可能性"
基本上除了這以外什麼也沒證明

所以故事中用惡魔的證明偷渡"有"成立的用法通通是有缺陷的推論

(誤用暴論範例 >>> A : 你有罪
                  B : 證據呢?
                  A : 惡魔的證明 就算我找不出證據 也不代表你有罪的證據不存在)

從這看起來 惡魔的證明事實上是相當沒用且大有問題的工具....

大概跟EP1的翻轉棋盤思考一樣 是隱含了思考陷阱的誤導


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 219.84.255.147
推 caten:就初期來說，惡魔證明對戰人是必要的，但是一旦必須去解開謎
→ caten:題的話，那麼使用惡魔證明等於自找死路
→ caten:翻轉棋盤思考不是沒有用，假如對方跟絕對魔女一樣，會下絕對
→ caten:勝利的路徑，那麼翻轉棋盤就是一種有效周旋的手法
→ caten:問題就在本篇魔女風格不能這樣使用www
→ attacksoil:海貓就是個大型的平行思考遊戲 最重要的就是要確定
→ attacksoil:什麼是可能什麼是不可能 從這角度來說 使用惡魔的證明
→ attacksoil:等同要求對方回答問題提供線索
推 caten:但是惡魔的證明所能得到的"是"答案可以有無限多種
→ caten:惡魔證明所能得到的對方的回答，頂多只有"不是"這種回答而已
→ caten:所以想要真正得到唯一解，惡魔證明就不可以使用
→ KUSURI:惡魔的證明幾乎可以讓所有的主張變成"可能" 這就是問題所在
推 sherlockscu:惡魔證明其實不是攻擊手段 而是防禦手段
→ sherlockscu:只是以積極方式進行防禦罷了
→ keinsacer:就「先不管具體是怎麼做的，總之有這可能性！」
推 Runna:靠XD 夏洛克為什麼在這個版XDDD
推 attacksoil:在提出可能性的同時 也等於將舉證責任推給對方
→ attacksoil:不過也只有屁理勝負能這樣玩就是了XD
→ keinsacer:反正對手是無理性更高的魔女XD
→ sherlockscu:我在這個板很久啦...只是沒發過專文