(有)未来検索ブラジルが運営するあらゆる言葉についての記事を閲覧・編集したり、コメントをしたりするサイトです。

単語記事: 悪魔の証明

編集

悪魔の証明ラテン語probatio diabolica)とは、「ある事実・現全くないことを明させてはならない」という論争上の原則の一つ。

概要と使い方

一般的に、「ないこと」を明するより「あること」を明する方が簡単な場合が多い。

例えば「全ての屋外が写っている動画に1本は幽霊が映っているものがある」をめぐって「ある」と「ない」が対立した場合を考える。
ここで「ない」がそれを立するには、現在777万本以上存在する動画の中から屋外を映している動画全てを探して閲覧し、その全てに幽霊が登場しないことを確認する必要がある。
対して、「ある」が立するには屋外で撮影された心霊フィルムや怪奇映像などの動画から一本探して示せばよい。

このように「存在する説」と「存在しない説」が対立した時、それらには立する際の難易度に大きな差があることが多い。
そこで、こういった論争と明について、その困難さなどを考慮すべきという原則を「悪魔の証明」と呼ぶ。「ない」が立できないからといって、「ある」が常に正しいとは限らないのだ。

要するに「無い(いない)ことを明しろ!」は無茶振りである、というわけである。

由来

悪魔の証明」における悪魔とは、喩表現の「悪魔(diabolica)」の事である。
そのは古代ローマにあり、当時の法において「所有権」という概念が非常にあいまいだったことに端を発する。

古代ローマでは、所有権という概念に契約などが使われることは非常に稀であった。この為、ある人物Aが受け取った物品が盗品であるかどうか疑わしい場合、それ以前にそれを所有しAに譲り渡した人物Bの言が必要になる。しかしその人物Bの所有権についても疑わしい場合、さらにBに譲り渡した人物Cの言が必要になり、結果元の所有者と取得権利を辿ることは「悪魔でないと」難しいとされた。これが大元である。

宗教的な説明

古来より、多くの悪事の原因や災禍の原因を「悪魔」に転することが日常的にあった。
特に、その地域に根付いている宗教によっては、信仰するに敵対する存在を挙げることが多く、特に二元論を含む教義では「(悪魔のような存在は)いると信じるのが当たり前」であった。

例えば、ある教会の鐘がひとりでに落ちて、偶然下にいた祭の飼い犬ジョン(3さい)が圧死したとする。
もしこれが祭によって「悪魔の仕業だ」とされた場合に、「悪魔なんていない」とする者がいれば、他の信徒から(悪魔が鐘を落としたという説について)「悪魔の仕業ではない、つまり悪魔が居ないことを明しろ」と言われることになる。

宗教議論に限らず、何かが「存在する」と「存在しない」の意見が対立した場合、「存在する」とする側が明を行い、明出来なかった場合は「存在しない」と暫定的に決定するのが常識となっている。
何故なら、「存在する」事の明は1つだけ実物や現を見つけてくれば明が成り立つが、「存在しない」事の明は考え得る全ての場合を残らず検し、全てにおいて存在しない事を明しなければならない。

そういう訳で、本来なら「存在する」とする側がするべきである証明を「存在しない」とする側にやらせようとすること、およびその明の事を「悪魔の証明」と言う。

関連動画

関連項目

携帯版URL:
http://dic.nicomoba.jp/k/a/%E6%82%AA%E9%AD%94%E3%81%AE%E8%A8%BC%E6%98%8E
ページ番号: 3701003 リビジョン番号: 1536765
読み:アクマノショウメイ
初版作成日: 09/06/16 22:43 ◆ 最終更新日: 12/05/23 20:00
編集内容についての説明/コメント: 概要の比較対象が少数だったので例示をもう少し大きくするよう変更、合わせて概要の整理
記事編集 / 編集履歴を閲覧 /

悪魔の証明について語るスレ

230 : ななしのよっしん :2012/05/23(水) 03:36:37 ID: J5nilaQUP/
>>ID: DWfZzdFD4l
うーん、ごめん、よく分からない
>>222の場合、存在する明より存在しない明のほうがずっと難しいと思うんだけど、
この場合「いない」が存在しない明が出来ないことを以って「存在する」と結論づけていいの?
231 : ななしのよっしん :2012/05/23(水) 12:34:54 ID: DWfZzdFD4l
うーん、頭から間違いだと決め付けて、ちゃんとレスを読んでない人が多いような…。よっぽど悪魔の証明が何か論理学常識と思ってる人が多い??

>>229
排中を認めるなら、宇宙は滅びるか滅びないかどちらかだよね?その両方の場合について明したんだけど…。だから実際に宇宙が滅びるかに関係なく成立する明だよ。

>>230
うん。存在証明の方が簡単な場合、不存在証明の方が簡単な場合、両方があると思うよ?でもそれは全くケースバイケースだから、問題の内容に関係なく立てられる針なんてないよってこと。
>>222の場合はたまたま前者に当たるケースだね。後者ケースは既に2つ例を挙げたよね。
232 : ななしのよっしん :2012/05/23(水) 13:09:14 ID: 4hjzpqHvhP
>>223>>227>>228>>231
ごめん、嫌味じゃなくてにだが。
「不存在証明」というのは初めて聞くが、「非存在証明」の間違い?
それとも本当に「不存在証明」という言葉が存在する?

辞書や百科事典には出てなかったけれど、ネット上だと
この単、あちこちでみる。

の調べた資料ではなく、他の辞書や科辞典にはあるのか?
それとも、本当は「不存在証明」が正しくて「非存在証明」が間違ってる?

悪魔の証明」や「アリバイ」などにおける存在の有無を表す場合、本当は「非存在証明」ではなく「不存在証明」と使うのか?
(省略しています。全て読むにはこのリンクをクリック!)
233 : ななしのよっしん :2012/05/23(水) 13:26:16 ID: kjSaN7i+Hp
検索すると悪魔の証明と法ヒットする。
234 : 232 :2012/05/23(水) 15:03:06 ID: 4hjzpqHvhP
>>233
の書き方が悪かったな。要約して書き直す。

一点が「不存在証明」って単は実在するのかどうか、ネット上だけの単じゃないのか。

二点が、上記単が実存するとして、「悪魔の証明」を説明する際には「不実在明」じゃなくて「非実在明」の単を使うんじゃないのか。

日本語が今まで間違っていたんじゃないのか、ってかなり本気で悩んでいる。
235 : ななしのよっしん :2012/05/23(水) 22:22:47 ID: DWfZzdFD4l
>>234
意味が曖昧になることは無いから気にしてなかったけど、ググれば「不存在定理」「非存在定理」は両方使われてるからどっちでもOK。
ただアルクJST科学技術用日英対訳辞書によると、nonexistenceの訳は「非存在」になってる(参考までに「非可算集合存在証明」は「argument for the existence of uncountable sets」だってさ)。

でも「悪魔の証明」は信頼できるソースが今後見つかったりしない限り、使用を奨めないよ。これは元の意味を見ると存在不存在でなく無限遡及の問題に思えるし、由来がはっきりしないし、「何かするなら根拠を示せ」で済むところをややこしくする。

あと、ググってたら論理式で表現してるサイト見つけた。この人も悪魔の証明って言葉は知らなかったみたい。
http://d.hatena.ne.jp/tri_iro/20070328/p1

236 : ななしのよっしん :2012/05/23(水) 22:26:59 ID: DWfZzdFD4l
一応言っとくけど科学は怖いもので、常に学界の想像を絶する発見がある。また科学は知識でなく方法だから、普通に反可能性や再現性に配慮してESPや生まれ変わり研究もされて継続的に議論されている(ランセット誌に肯定的論文が載ったりする)。

加えて、人間が古くからやってきた事には気付きにくい意義がある場合も多いから、>>227みたいな理屈を聞いたからってるのをやめたりするのは御体を放り捨てた福沢諭吉と同レベルで浅はかだよ、念のため。
「願うことだけは私がどこにいてもどうなってもできることですから 私が死んでも魂はストラウスの幸せを」(ヴァンパイア十字界)みたいに情表現や心の支えにもなるんだからそういうのは大事にしてくれ。

三浦教授なんか、ゾンビ論法を引き合いに出した上で、ある意味での輪廻転生を著書で明している。多くの人が納得しないと思うが、こういうに、あまり論理を駆使する議論は結構怪しい面もある。

疲れたから自分はこの辺で…w。ともあれ、気になったら「無知に訴える論」と意味が同じなのか考
(省略しています。全て読むにはこのリンクをクリック!)
237 : ななしのよっしん :2012/05/24(木) 22:48:19 ID: 4hjzpqHvhP
>>235
いや、ゲーデルの場合は「不完全定理」であって「非存在定理」ではない。
これは「命題Gは命題によって明できず」であり、「不」だから、「明に非ず」ではない。だから「不完全定理」であって、「非」は使わない。
ゲーデルで「非存在定理」と書いているのは日本語として間違い。ゲーテル以外ならありえるかもしれないが、ゲーテル以外での命題明定理をは知らない。

と、話を戻して、
この用法でいけば、
「不存在証明」は「未存在」であって、
「非存在証明」は「非存在証明」となるわけだ。

この形から考えれば、「未存在」というのは「いまだ存在せず」であって、「悪魔の証明」においての「不存在証明」といった使い方が正しいのかどうか、だ。

(省略しています。全て読むにはこのリンクをクリック!)
238 : ななしのよっしん :2012/05/25(金) 00:18:51 ID: J5nilaQUP/
記事の例は「写っているものが幽霊かどうか」でまた面倒な議論をしなきゃいけないから、
もうちょっと具体的というか、はっきりしてるものを引き合いに出した方がいいと思う
239 : ななしのよっしん :2012/05/25(金) 19:07:19 ID: DWfZzdFD4l
なんか変な摘があったので…

>>237
""をつけて検索すれば不存在・非存在両方出てくる。
面曲線の非存在定理
・取引不存在定理(参照→http://www.esri.go.jp/jp/tie/nishimura/nishimura_t1_2.pdf

現実数学経済学で使われていても気に入らないなら、「存在しない事の明」と言えばよいだろう。

だいたい、存在を問題とする場合は混乱が生じやすい。数は現実に存在するか?命題現実に存在するか?人間が頭で考えてるだけの想像物ではないか?「存在」の定義は?哲学では全く結論が出ていないから、存在論をる場合以外はなるべく「存在」という概念を避ける。存在論以外で使う「存在」というは、ほぼ無内容な概念だ。

こういう混乱しやすい話を論の仮定に持ち込む「悪魔の証明」概念は、論理の基本などではないだろう。
「無知に訴える論」という概念だけで十分で、「悪魔の証明」は意味がこれと異なり大
(省略しています。全て読むにはこのリンクをクリック!)
ページトップへ戻る