現代数学の系譜11 ガロア理論を読む27at MATH
現代数学の系譜11 ガロア理論を読む27 - 暇つぶし2ch289:現代数学の系譜11 ガロア理論を読む
17/01/02 11:54:35.59 MUXssChK.net
>>256 補足
URLリンク(d.hatena.ne.jp)
悪魔の証明とは - はてなキーワード: 記載日不詳
(抜粋)
[英] devil's proof
[ラ] probatio diabolica
悪魔の証明とは、「ある事実・現象が『全くない(なかった)』」というような、それを証明することが非常に困難な命題を証明すること。
例えば「アイルランドに蛇はいる」ということを証明するとしたら、アイルランドで蛇を一匹捕まえて来ればよいが、「アイルランドに蛇はいない」ということの証明はアイルランド全土を探査しなくてはならないので非常に困難、事実上不可能であるというような場合、これを悪魔の証明という。
新約聖書にあるサタンがイエスを試した逸話から来ている。ある論争に際して、そもそも挙証が困難な命題の証明を相手に迫ることもひとつのディベートのテクニックではあるが、それを悪魔の証明だ、と相手が指摘することが挙証責任を転嫁する際の決めぜりふであるということには必ずしもならない。
注意点
「『全くない』ことを証明するのは不可能に近い」のであって、「『全くない』のは確実である」という意味ではない。
また、「ある一連の事実が『全て本当にあった』」ことを証明することも、言い換えれば「その一連の事実に『嘘は全くない』」ことを証明することであり、同様に不可能に近い。
(補注:すなわち「ある事実・現象の有り無しを『100%』確定するのは不可能に近い」ということである)
科学関連議論への補足
ここ数年、疑似科学や似非科学の議論で「悪魔の証明」という用語を多用する人が居るが、これも要注意である。「悪魔の証明」という比喩は、たしかに法律分野ではある程度認知されているが、科学・数学分野では20世紀はじめの有名な大論争を経て、今ではより厳密な用語を使った精緻な議論が可能となっている。
科学の専門家を自称しながら、科学議論であえてこの分野違いで不適切な用語(「悪魔の証明」)を持ち出す人が居たら、それは厳密な議論による追求を避けて何かを誤魔化そうとしているソフィストの類(あるいはその影響下にある人)かもしれない。


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch