ヒロシとミカの対話で読む、哲学のデータベース

トップ > 概念 > 反証可能性

反証可能性

01概要カード

科学理論の条件は「当て続けられること」ではなく「外れうること」にある、というポパーの基準。

「すべての白鳥は白い」という主張は、白い白鳥を何羽観察しても証明が終わらない。ところが黒い白鳥が1羽現れれば、その場で崩れる。哲学者カール・ポパーはこの非対称性に注目し、科学理論の条件を「反証可能性」に置いた。理論が科学的であるためには、「こういう観察が出たら自分の間違いを認める」とあらかじめ言えなければならない、という提案である。それは理論の正しさの保証ではなく、科学とそうでないものの線引きの基準として提示された。

No. 081 分野 科学哲学 種別 概念 時代 20世紀 難易度 標準 初出 ポパー『科学的発見の論理』(1934年)

このページのポイント

タグ: ポパー / 科学と疑似科学 / 帰納の問題 / 線引き

関連エントリ

02対話編:ヒロシとミカ

(帰り道。ヒロシがスマホの占いアプリの結果を見せている)

ヒロシのアイコン
ヒロシ
今日の占い、「あなたは絶対にいいことある」だって。昨日も当たったし、この占い精度高いわ。
ミカのアイコン
ミカ
「いいこと」が何を指すか決まってないと、当たったかどうかも決まらないよ。ポパーなら、その時点で科学失格って言いそう。
ミカのアイコン
ミカ
そう。「すべての白鳥は白い」は、白鳥を何羽見ても証明できないけど、黒い白鳥が1羽出たら終わり。この非対称が核だよ。
ヒロシのアイコン
ヒロシ
その反証可能性で言うとさ、俺の「このゼミ、俺は発言しなくても単位くる説」は? 落とされたら反証されるから科学的ってこと?
ミカのアイコン
ミカ
条件は満たすね。満たすだけで、正しいとは一言も言ってないけど。
ヒロシのアイコン
ヒロシ
……科学的だけど落単まっしぐらな説ってことか。じゃあ反証可能性って、褒め言葉じゃないんだな。
ミカのアイコン
ミカ
うん、最低条件のほう。私も最初、正しさの太鼓判みたいに読んでたから同じとこでつまずいた。
ヒロシのアイコン
ヒロシ
でもさ、「どんな結果でも説明できます」って言い張る占いのほうが、むしろ便利ではあるんだよな。外れないから。
ミカのアイコン
ミカ
外れない代わりに、何も賭けてない。賭けてない主張は、試しようがないってことだね。
ヒロシのアイコン
ヒロシ
分かった、占いは娯楽として楽しむわ。反証は…俺の単位数で起きる前に止めたい。

03データ編

定式化:検証と反証の非対称性

オーストリア出身の哲学者カール・ポパーは、1934年の著書『科学的発見の論理』(原著はドイツ語)で、帰納の問題への応答として反証可能性を提示した。何羽の白い白鳥を観察しても「すべての白鳥は白い」という全称命題は証明できない(帰納の限界)。しかし、黒い白鳥が1羽見つかれば、この命題は決定的に反証される。肯定例の蓄積による「検証」と、反例1つによる「反証」の間には、論理的な非対称性がある。ポパーはここから、科学理論の資格を「観察によって誤りと示されうること」に置いた。理論は禁止事項を言わなければならない。つまり「こういう出来事は起きない」と言える理論だけが、現実に対して賭けをしている。

主張の種類と反証可能性

基準にも難しさがある。確率を含む理論や存在命題は、1回の観察では反証しにくい。またポパー自身が例に挙げたように、占星術や当時の精神分析の一部は、あらゆる結果を後付けで説明できてしまうため、何も予測していないに等しいとされた。反証可能性は理論の正しさを保証する基準ではなく、科学的であるための条件の提案である点に注意が要る。

主張の型例検証反証
全称命題すべての白鳥は白い観察を重ねても証明は終わらない反例1つで可能
存在命題黒い白鳥が存在する1つ見つければ可能探し尽くすことができないため困難
確率的主張この薬は約7割の人に効く1回の結果では決着しない1回の失敗では反証できない

アドホックな修正とその後の批判

理論が反証されそうになるたびに例外条項を追加して理論を守る手直しは「アドホックな修正」と呼ばれる。ポパーはこれを禁じ手としたが、現実の検証では、観察結果が理論と食い違っても、測定器や前提となる補助仮説の不備を疑うことができる(デュエム=クワインの問題)。このため「反証によって理論は直ちに捨てられる」という単純な図式は成り立ちにくい。

後の科学哲学はこの点を修正してきた。トーマス・クーンは科学がパラダイムのもとで営まれ、反例だけでは枠組みが交替しないことを指摘した。イムレ・ラカトシュは、個々の理論ではなく「研究プログラム」全体の進歩・退行で評価すべきだと提案した。反証可能性は、これらの批判を経た現在でも、疑似科学を見分ける際の有力な考え方の1つとして参照され続けている。

04AI分析

意見が分かれる分岐点

分かれ目は、反証可能性を科学であるための厳密な条件と見るか、健全な理論の目安と見るかである。厳密に取るほど基準は明快になるが、確率的理論や実践中の科学の振る舞いを説明しにくくなる。

前提の違い

現代への接続

※ AI分析は事実の整理と解釈の提示であり、特定の立場への断定ではありません。

05出典・参考文献

書籍リンクは収益ゾーンとしてこの出典セクションに置く方針(試作では実際のリンクは入れていません)。