反証可能性

誤謬性とは、ある理論が間違っていることを証明することができるという科学哲学からの概念です。これにはさまざまな方法があります。最も簡単な方法は、その理論が適用されるはずなのに、なぜか適用されない例を見つけることです。例を挙げてみましょう。白鳥はアヒルやガチョウと関係のある鳥です。今日では、いくつかの白鳥の種が知られています。ヨーロッパのほとんどの人にとって、白鳥は大きな白い鳥です。ヨーロッパで発生する白鳥の唯一の種は白鳥です。数百年前、ヨーロッパの人々は、したがって、すべての白鳥は白であると考えていました。1697年、オランダの探検家ウィレム・デ・ヴラミンがオーストラリアのスワンリバーの海岸で探検中に、白鳥のような黒い鳥を発見しました。後に、この鳥は本当に白鳥であることが判明しました。この発見により、デ・ヴラミンクは、白鳥はすべて白鳥であるという説を覆したのです。

声明や理論を偽ることができない特殊なケースがあります。

クルト・ゲーデルは、論理学の体系の内部にある特定の命題は、その体系の内部では証明できないことを示した。
これと密接に関連しているのは、いくつかの文が決定不可能であるという事実である（この文は偽である、パラドックスを参照）。決定不可能な文は改竄できない

改竄とは、ある理論が間違っていることを実際に証明することです。これは次のような方法で行われます。理論と呼ばれる一連の文（論理的に健全であり、互いに矛盾しないもの）がある。理論と呼ばれる一連の文（論理的に健全で、互いに矛盾しないもの）があり、それが論理的に健全で、理論の中の文の一つと矛盾するものが一つでも見つかれば、その理論は間違っていると証明されます。これは、上の白鳥の例のように、観察によって行うことができます。また，帰納法を用いた数学的論理学を用いることもできる．

カール・ポッパーは、科学的であるのは「反論可能な理論のみが科学的である」という意見を持っていました。偽造可能性とは、科学と他の種類の知識との間にある線引きのことです。多くの現役科学者は、ポッパーが正しかったと考えています。

誰もがこれに同意したわけではありませんでした。ピエール・デュエームとポール・フェイアーベンドは異なる考えを持っていた。ファイヤーベンドの『方法論に反対』（1975年）は、科学的方法は一つではないと主張した。その代わりに、何でもうまくいくものは、何でもうまくいくし、何でもうまくいく。これは認識論的無政府論と呼ばれています。

Duhemの考えはもっと微妙でした。彼は、どのような観測に対しても、膨大で数え切れないほどの説明があると考えていました。デュエムによれば、物理学の実験は単なる観測ではなく、理論的な枠組みによる観測の解釈である。さらに、いくら実験をうまく構築しても、孤立した単一の仮説を実験的に検証することは不可能である。その代わりに、検証されるのは、仮説、背景となる仮定、理論の全体的な連動グループである。このテーゼは、ホリズムとして知られるようになりました。Duhemによると、それは重要な実験を不可能にします。

"すべての白鳥は白い"は虚偽であることを証明することができます。黒白鳥の証拠が虚偽であることを証明しており、そのような証拠を提供することができるので、これは偽造可能な記述です。

ヨーロッパでよく見かける白鳥

質問と回答

Q:反証可能性とは何ですか?

A:科学哲学の概念で、ある理論が誤りであることを証明できるかどうかということです。

Q:反証可能性はどのように証明されるのですか?

A:その理論が適用できるはずなのに、適用できない例を見つけることで、反証可能性を証明することができます。

Q:反証可能性の例を教えてください。
A:オランダの探検家ウィレム・デ・フラミンガがオーストラリアのスワンリバーで白鳥に似た黒い鳥を発見し、白鳥はすべて白いという説を否定したことが反証可能性の一例です。

Q: 偽造可能性のもう一つの重要な例は何ですか?

A:「地球は太陽の周りを回っている」という説も反証可能性の重要な例で、これは太陽系の仕組みを理解するための一歩となりました。

Q: なぜ、ウィレム・デ・フラミングの発見は、白鳥はすべて白いという説を否定したのでしょうか?

A: ウィレム・デ・ヴラミンがオーストラリアのスワンリバーで探検したとき、白鳥に似た黒い鳥を発見し、すべての白鳥が白でないことを証明したからです。