ピクシブ百科事典

悪魔の証明

あくまのしょうめい

「完全な反証が出来ない限り、あらゆる『仮説』は認められる」というもの。 「ある事実・現象が『全く無い(無かった)』」というような、『無い』を証明する事が非常に困難な命題を証明する事。
目次[非表示]

概要

事実証明のうち積極的事実、すなわち「~~はあった」に対し、消極的事実、「~~はなかった」ということの難解さを説いた比喩表現
所有権帰属の証明の困難性を比喩的に表現した言葉でもある。
いわゆる全称命題立証の難解さ、及び検証と反証の非対称性を組み込んだ思考実験の一種。

一番わかりやすい説明を頼む

悪魔実在するのかどうかは、今日でも様々な分野で議論が続いている問題であるが、理屈理論の上では、悪魔の存在を証明するのは難しいことではない。
悪魔を実際に連れてくる、または悪魔実在の物的証拠を提示し、全ての人間に悪魔は実在すると信じさせればいいのだ。
が、これに対し、『悪魔が実在しないことの証明』となると、これは理論上でさえも困難な話になる。何故なら『悪魔が存在しない物的証拠』は直接的には存在しないためである。対象がそもそも実在しないのなら物的証拠が無いのも当然である。

ところが「悪魔は存在する」と主張する文書証言などは大量に存在している。これらに対しては個別に『悪魔によるものではない』と証明することにより否定することは可能であるが、すべてを否定することは困難を伴う。
そこで「我々が見つけていないだけで、今もどこかに悪魔が隠れ住んでいるのだ」という主張を、証拠もなく誰も否定することはできない。否定したければ証拠たる『存在しないことの証明』をするしかないのだ。

つまり悪魔の証明とは、『何かが存在しないという証明は、何かが存在するという証明よりも難しい』という考え方を比喩を交えて表した概念なのである。

そんな説明で大丈夫か?

一般的にはこの理論は『そういうことを説いているだけ』の例え話に過ぎず、何らかの議論解決させるためのとして作られた訳ではない。
たとえ悪魔が存在しない証拠がないからといって、それが悪魔の実在を証明する証拠になる訳ではない
この理論はあくまで比喩表現・ものの考え方の一つに過ぎないということを、ここに注役しておく。

『逆は必ずしも真ならず』

また、「悪魔なんてそう簡単に連れてこれる訳でもないし、悪魔の存在を証明するのも困難なんじゃ?」という疑問もあるが、この理論は理屈の上での話であるし『ないことの証明』に重点を置いた言葉なので的外れである。この場合「悪魔」を絶滅動物なり都市伝説上の存在などに変更すればわかりやすくなる。例えばニホンカワウソなど。
言い換えれば、「存在する」という命題は一つの事象でも証明可能となるが、存在しない、という命題は間接証明のみであり、一つの例外により崩壊しかねない、ということである。

実例

フェルマーの最終定理
3以上の自然数nについて、x^n+y^n=z^nを満たす自然数の組(x,y,z)は存在しない、という定理。この定理を証明することは、文字通り悪魔の証明であり、世の中に知れ渡ってから証明されるまでに実に300年もかかった。なお、1995年にアンドリュー・ワイルズ教授が証明したが、その方法は、谷山=志村予想が証明されれば、フェルマーの最終定理も証明されるというものである。

関連タグ

悪魔 証明 比喩
例え話 パラドクス( パラドックス )
あるある ねーよ 逆は必ずしも真ならず うみねこのなく頃に

関連記事

親記事

証明 しょうめい

兄弟記事

pixivに投稿された作品 pixivで「悪魔の証明」のイラストを見る

このタグがついたpixivの作品閲覧データ 総閲覧数: 313429

コメント