単語記事: 悪魔の証明

編集
[テンプレ名]

警告!

いわゆる「悪魔の証明」は学術的根拠のある言葉ではありません。

以下で述べるように、「無知に訴える論証」とも別物です。

法律の誤解が生んだ用法のため、人によって意味が違います

理性を尊ぶ意思があるのなら、使用を推奨しません。この言葉を用いることで議論が分かりやすくなる気がするのは思い込みです。

疑似科学等を否定するために、一見もっともらしい非論理的な用を使うようでは疑似科学と同じであり、本末転倒です。

悪魔の証明ラテン語probatio diabolica)とは、

  1. 法律で、所有権の明が困難であることをいうための喩。なぜ困難かは由来を参照。
  2. 法律で、困難な明全般を喩的に表す言葉。消極的事実明をすこともあるが、消極的事実明だから立責任を免れるというわけではなく、立責任の配分において考慮すべき一要素でしかない。また消極的事実明だからといって、必ずしも困難とはみなされていない。
  3. (ここから先は、本来の意味を誤用したものである)2から「消極的事実明は一般に困難である」という誤解が広まり、議論ルールとして広く使われるようになってしまったもの。科学論理学とは関係がないし、一般論として用いるのは誤りであるが、科学者はエッセイやブログ疑似科学を否定する際などにわりと使ってしまうようだ。論理学者は、このような曖昧な概念を嫌う。
  4. 3から「あると明できないなら、(悪魔の証明理なのだから)いと決めつけていい」とするために用いられることもある。これは「無知に訴える論証」(根拠く新しいをすること)で、誤りである。ただし一般的にいと思われているものの場合は、「い」説は新しいでないので論理は通っているが、紛らわしい。
  5. 3からの生と思われるが、無知に訴える論証のうち「いと明できないならあると言っていい」というタイプ批判する意味で悪魔の証明と呼ぶ人もいる。これは論理は通っているが、やはり紛らわしい。

このように、非常にややこしい状況となっている。法律ではあるのだが、法律上の意味は違うものだし、一般に流布している意味は元が誤用であるため人によって意味が違ううえに、間違った概念も混じっている。科学者などの論理的であるべき者が言葉の定義に頓着であることは、最もめられるべきことだろう。

悪魔の証明を認めたらオカルトでも何でもありになってしまう!という人がいるが、3などの誤った論理は論外だし、4の正しい場合や5の場合を言いたければ無知に訴える論証を使えばすむ。こちらは正正銘の論理学者が用いている言葉で、学術的に意味が規定されているので人によって意味がバラバラになったりはしにくい。

概要

一般的に「ないこと」を明するより「あること」を明する方が簡単な場合が多い…という誤解がある。「い(いない)ことを明しろ!」は無茶振りである、というわけである。

しかし現実には論理学でも数学でも科学でも、「い」ことの明は普通に要され、普通に実行されている。アインシュタインエーテルの存在の否定から、光速度不変の原理を確立した。N線や永久機関はどこにもない。

法律はどうかといえば、訴訟法においても、冒頭で述べたとおり消極的事実する側にも立責任がある。消極的事実明だからといって一般的に困難だとは考えられていない。アリバイ明のように、積極的事実明することがそのまま消極的事実明になる場合もある。これは例外と言えるほど希少なケースではない。さらに、本来の意味での悪魔の証明は、積極的事実明であるのにほぼ不可能明である。積極的事実明が簡単とは限らない。

もし経験則的にいくらかの合理性があり、将来論理学的根拠が明らかにされると仮定しても、現状では例外がいくらでもあって毎回適するか否かやどれくらい寄与するかを判断せねばならないようなものは、原則とは言わない。

それなら余計な概念をもてあそぶ前に事実に即して普通に検討すればいいだけの話である。裁判もそのようになっている。そういう話についていけない人を理やり黙らせるための言葉ならば、疑似科学のやり口と変わらない。

お化けでもUFOでも超能力でも、既存の科学知識と矛盾する上に実に散々失敗してきたのだから、理論でも実験でも新しい根拠がいのなら当面は「い」と見るのが当たり前の理屈である。科学者が肯定的な意味ではそれらにあまり興味を示さないのもそのためである。

そこで「いと明できないのならあるかもしれない」と反論されても「それは根拠なく新たなを認めさせようという無知論証だ。現状ではいとしか考えられない」で終わる。それでも納得しないような相手と議論を続けても意見は変わらないだろう。

なお、お化けはともかく、霊魂の存在などについては古くからの信仰心に根ざすものがあり、むやみに否定するものではない。

由来

所有権を明するためには、A:前の持ちから適法に所有権を譲り受けたこと、B:前の持ちが所有権を持っていたこと、この二つを明しなければならない。

ところが、Aは簡単だろうが、Bを明するためには、前の持ちがさらに前の持ちから適法に所有権を譲り受けたことを明しなければならなくなる。以下、他の要素で明が不要になるまで、限に前の持ちをさかのぼって明しなければならなくなってしまう。これが悪魔の証明と呼ばれるものである。

中世欧州の法学者が、古代ローマ法ではこの問題を考慮していくつかの法制度が生み出されたという解釈を論じており、この時に「悪魔の証明」という言葉を初めて使ったとされる。

その後、この言葉が転用された末、現在一般に知られる用法も生じた。このあたりは冒頭に記したとおりである。

なぜ「悪魔の」なのか

中世の法学者がなぜ「悪魔の証明」という表現を作り出したのかは定かではない。何となく意味合いが伝わってきて覚えやすくもある、というところかもしれない。

ある説によれば、中世宗教劇では、魂を奪った悪魔に対して人などが論争を仕掛け、悪魔が魂の所有権を明できずに退散するというものがあったからだという。

物理学などでは、ラプラス悪魔マクスウェルの悪魔など、普通ではありえないことを起こすいたずら者を思考実験で仮定するときに「悪魔」という言葉を用いる事がある。これらの「悪魔」は、「ある間における宇宙の全物質の力学的状態とを知ることができ、かつそれらのデータを解析できる」などの越的なを与えられている。「悪魔の証明」というのはこのような越的なのある悪魔でないと不可能という意味があるのかもしれない。

ただし繰り返すが、消極的事実明がこんな印的な表現をされるほどつねに難しいということはない。

補足

検証と反証の非対称性

まれに混同されることがあるが、「検と反の非対称性」についてのたとえは、帰納法の検というしらみつぶしでしか確認できないことを取り上げて論じているものであり、別の話である。

論理以前の問題

議論の上で役に立つ概念などを知るのはけっこうだが、実際の議論というものはそこまでまともなものではない。ぶっちゃけると、論理どうこう以前に根拠となるデータがまともでないは、科学論文ですら少なくないと言ってもいいのである。Natureという世界でもトップクラスの権威ある科学雑誌が騙されることですら、しいことではない。なおシステマティック・レビュー(SR)ではそうしたことも含めて検討し、科学者個人や特定の論文のなどよりも信頼性が高い結論を導く。

ましてや、政治経済など社会についての議論においては、心理的バイアスやステークホルダーの思惑が入り乱れることもあり、カオスとしか言いようがなく、まともな議論をする土壌を醸成したり、まともな根拠を探すのが最初に取り組むべき仕事である。経済学者ピケティが脚を浴びたのは、それまで感覚や印や個人的思想を根拠に論理や数式をこね回していた経済学者と違い、あくまでも実的なデータを積み上げて簡潔な結論をまとめたとされているからである。

例えば現代日本少年の心の闇をるのがなぜ滑稽なのかといえば、こういう事実があるからである。こうした基礎的データも知らずに印社会問題をっても間違いしか生まれない。論理的であっても前提が間違っていては、とんでもない結論が導かれかねない。数式で論じることができないような文系分野でも、根拠をきちんとするだけで議論の質は跳ね上がる。それは地味な作業になるが、きわめて価値のある仕事である。

筑波山とアゲハチョウ

悪魔の証明という言葉こそ使っていないが、養老氏はよく筑波山アゲハチョウがいるかいないかを例にあげ、いないことの明には山全体を区画分けして「いない」ことを確認せねばならないと言っている。しかしこれは較的長距離を飛べ、広い範囲で生育できるありふれた種であるから成り立つ例えである。そのアゲハチョウですら、南極にはいないと断定されている。まさか南極を区画分けしてすべて確認したわけではないだろう。

多くの生物種には厳しい生育条件があり、例えば山の標高を見るだけで、「ここより上には一匹もいない」と生態に関する既存のデータをもとに断じる事ができるものも少なくない。そういう場合、「一匹見つけてくればいいから存在証明は簡単だ」などと言って何十年探しても駄である。

標高は関係ないが、筑波山神戸もぐらをいくら探しても、おそらく見つかるのはあずまもぐらだけであろう。東日本あずまもぐらの支配地域だからである。ただしもぐら情勢の変化で界線が移動することはありうる。

関連動画

参考リンク

悪魔の証明 - Wikipedia

悪魔の証明と消極的事実の証明

悪魔の証明の由来

関連項目


【スポンサーリンク】

携帯版URL:
http://dic.nicomoba.jp/k/a/%E6%82%AA%E9%AD%94%E3%81%AE%E8%A8%BC%E6%98%8E
ページ番号: 3701003 リビジョン番号: 2221439
読み:アクマノショウメイ
初版作成日: 09/06/16 22:43 ◆ 最終更新日: 15/06/19 19:48
編集内容についての説明/コメント: 概要下部の、根拠のない主観的主張の部分を削除
記事編集 / 編集履歴を閲覧

この記事の掲示板に最近描かれたお絵カキコ

お絵カキコがありません

この記事の掲示板に最近投稿されたピコカキコ

ピコカキコがありません

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

367 : ななしのよっしん :2015/03/27(金) 05:13:12 ID: tPX8VmCNNT
>>360
言葉を論理学として捉え過ぎな気がするねえ。まあ、菅直人のそれはそう言っちゃってるから仕方ないけど。
大量破壊兵器が見つかったといえば存在証明とみなし、見つからないと言っても不存在証明ではないと捉える人が少なくない、これは後者が「難しい」んじゃないかと思うよ。
アリバイ明だって、存在証明から「そこに存在していたらここには不在である」というワンステップ分「難しく」なって不存在証明してるし。
明法が限だから、明法の形式に乗るから難しくないってのは暴論だと思うがねえ。や、非現実的ってほどでもないとは思ってるけれど。
368 : ななしのよっしん :2015/04/03(金) 11:45:05 ID: 1lGZsXKtdC
>>364
概要で触れられているが、それは無知に訴える論証らしいぞ
まあ一般的に知られている言葉は悪魔の証明なんだが
369 : ななしのよっしん :2015/04/04(土) 23:37:21 ID: DWfZzdFD4l
>>366
科学的には、作れること=存在することってケースは多いよ。STAPもそれ
例えば理科の教科書のコラムを思い出してみ。◯◯の発見って、◯◯を作ったって話が多い
370 : ななしのよっしん :2015/04/05(日) 00:05:18 ID: DWfZzdFD4l
>>367
>言葉を論理学として捉え過ぎ(以下略
論理学じゃないし法律としても意味違うと知ってて使う人が多いならおk。だが実際は科学者ですら…

>大量破壊兵器が見つかったといえば(以下略
存在証明ムズって先入観ある人(ねらーとか)はそう思う人多いだろうけど、そうじゃない人はどう?
あと多数決は論理や科学の判定基準にならないでしょ。言葉の意味や政治的合意なら多数決でいいけどさ
まして「多くの人はこう思ったようだ」って根拠で不存在証明は難しいとかの法則性はできないよ

>アリバイ明だって(以下略
8725+82376と53987+9437+9430の難しさはあまり変わんないでしょ。おんなじだよ。将棋みたく分岐もないし
そのワンステップに物理的手間とかあるなら別だけど双子の共犯とかはレアだしほぼコストゼロだと思う
同一人物かの判定とかは、すべて存在証明の難しさだし
371 : ななしのよっしん :2015/04/05(日) 00:22:59 ID: DWfZzdFD4l
>>367(続き)
>明法が限だから、明法の形式に乗るから難しくないってのは暴論
正確に言うと「一般的に存在証明より難しい…なんてことは成り立たない」。これなら暴論じゃない

数回に1回は例外があるようなものは法則とか基準にはならないと思う
論理的真理ってのは常にどんな世界でも成り立つものを言う。そんなだいそれたもの…と思うかもしれないけど、
もが日常で知らず知らず使ってる三段論法や背理法はまさしく論理的真理で、前提が正しければ100%正しい

歴史的由来だって本当はどうでもいいんだけど、人によって意味が違うのが最悪
俗に使われてる意味はみんな誤用だから、どれが正しい用法だっていう訂正もになるから意味が収束しない
定義をあやふやにしたまま議論で「それは悪魔の証明だから…」とか持ち出す人って、どう?論理的?
じゃあ毎回説明してコンセンサス取る?そんなことしなくても普通議論すればこんな妙なワード不要なのに
372 : ななしのよっしん :2015/04/05(日) 01:21:51 ID: DWfZzdFD4l
存在証明は難しい…って理論は既存の常識にはい概念ぽいのに正しそうなので、知的好奇心を煽られる
でも適当でもいいから式なり、言い換えなり、概念図なりで表されるの見たこといんだよね
自分も興味持って検討した。結論を言うと、正しさの論理的構造は分かったが非常に限定的な法則になってしまう

意味するのは探索域の大小だろうと考えた。問題は存在証明の定義
物の存在レベルを概念的存在、物理学的存在、有限個数の存在、固有名詞的存在…あたりに分類して、
存在証明の種類を論理的な成立可性、共通性質での判断、現物探索による拠取得、現物直接提示に分類。
存在VS不存在証明の対のうち、有限かつ個数不定の存在の現物探索or直接提示明のみ使える場合に限り、
有限域に有限不定個数の存在があるかないかの明ではアリバイ明も使えないので、
ランダムな探索の労の期待値は不存在証明の方が大。[探索物の大きさ/域の広さ]が小さいほど差は広がる
こんな感じで、条件が厳しくて使用場面は限られる。でも正当性を感じ
(省略しています。全て読むにはこのリンクをクリック!)
373 : ななしのよっしん :2015/04/05(日) 01:43:42 ID: DWfZzdFD4l
追記:上の表現じゃわかりにくすぎるので簡単に言い換えた

1.この現実世界あるいは仮想間において、特定の位置を取って一定の大きさを持つもので、
2.二つ以上ある(今気づいたけど限個でも可かも)と思われるものが、
3.ものの大きさにべて広い、ある場所のどこかにあるかもしれなくて探すことになった場合、
4.探す場所を狭く限定させるような情報が探索域内外問わず入手不可能で(これが実際的には厳しい条件)、
5.探索域以外での個数を簡単に数えられないか数えられても探索域内の個数は分からなくて、
6.現物を見つけて拠を得るか直接の前で見せる事以外が明として認められないとき(これも厳しい)。

こういうケースにおいては、不存在証明存在証明より難しい。
374 : ななしのよっしん :2015/04/05(日) 01:51:02 ID: DWfZzdFD4l
条件2はアリバイ明を除くためだから条件5があればいらないね。他にも見落としとか考え違いあるかも知れないけど、まあこんな感じ
追記
375 : 73 :2015/04/19(日) 16:29:41 ID: Mo0uCwwlL7
>飛ぶスパゲッティモンスター信者ID論者っ二つに分かれて論争するアメリカ人は、この辺をまるで考慮していない。やはり禁酒法を生んだ、幼く歴史のないと言わざるをえない。

 記事本文のこれはこれで…ないなぁと思わなくもない。
 アメリカおよびアメリカ人全般および、歴史の浅い特有の問題ではないと、
『記事本文を論拠』に言わざるを得ない(笑)
376 : ななしのよっしん :2015/05/17(日) 08:11:34 ID: PjZyyXNmjS
何、悪魔の証明とは「自分が悪魔であることの明」ではないのか!?
  JASRAC許諾番号: 9011622001Y31015