帰納

出典: フリー百科事典『ウィキペディア(Wikipedia)』

帰納(きのう、Induction)法とは、個別的・特殊的な事例から一般的・普遍的な規則を見出そうとする推論方法のこと。対義語は演繹法。演繹においては前提が真であれば結論も必然的に真であるが、帰納においては前提が真であるからといって結論が真であることは保証されない。

目次

[編集] 帰納とは

一般的にいって帰納は、あくまでも確率・確度といった蓋然性の導出に留まる。例えば、「ネコaネズミを追いかける」「ネコbはネズミを追いかける」「ネコcはネズミを追いかける」という事例が幾つかあるので、「全てのネコはネズミを追いかける」と結論を下すとしよう。ここでは、自分が見たネコだけから「全てのネコ」という全称命題に範囲を飛躍させている。しかし、この先新たにネズミを追いかけない猫が発見される可能性は常にある。したがって、「全てのネコはネズミを追いかける」と定式化することには疑問が残る。

また、次のような例でも同様のことが言える。地上で太陽を観測し、三日かけて次の観測事実を得たとする。「一昨日も、昨日も、今日も、太陽は東の高い山の脇から上ってきた。」。ここから次のように結論するのが枚挙的帰納法である。「太陽はいつも、東の高い山の脇から上る」。 つまり、帰納は一般化に基づく。

一般的に言えば、帰納とは何かしらの知的判断能力を有する生物が行動学習をする際の根本的な原理を定式化したものと言える。フランシス・ベーコンの提出したこの帰納という概念をより人間学的に咀嚼したものがジョン・ロック経験論であると理解出来よう。

[編集] 演繹との比較

帰納という言葉は広義には演繹ではない推論(枚挙的帰納法、アナロジー、アブダクション)全般のことを指すが、狭義には枚挙的帰納法のことを指す言葉として使われる。ここでは演繹を含め、それぞれの推論が持つ特徴を比較する。


  演繹(deduction) 演繹ではない推論(広い意味での帰納 induction)
枚挙的帰納法(狭義の帰納) アナロジー(類推) アブダクション
<前提1>
 AならばB、である。

<前提2>
 Aである。


<結論>
 Bである。
<前提1>
 a1はPである。

<前提2>
 a2もPである。


<結論>
 (たぶん)全てのaはPである。
<前提1>
 aはPである。

<前提2>
 bはaと似ている。


<結論>
 (たぶん)bはPである。
<前提1>
 aである。

<前提2>
 Hと仮定すると、aがうまく説明される。


<結論>
 (たぶん)Hである。
情報量 増えない。
(結論の内容は全て前提の内容に含まれている)
増える。
(結論は、前提に含まれていた内容を超える内容を持つ)
真理保存性
妥当な演繹的推論は、前提が正しければ(健全であれば)、必ず結論は正しい)
×
(前提が正しくても、結論の正しさは保証されない)

[編集] 確証性の原理

このように、帰納とは、個別・特殊的事実の多さから結論がどのくらい確からしいものかを導くための推理といえる。これは確証性の原理とも呼ばれ、次のように定式化されている。「法則に関連する観察が増えれば増えるほど、その法則の確からしさは増大する」。

[編集] 帰納の正当化

帰納とその周辺概念との関係 帰納法と自然の斉一性原理は、その正当化に関して互いに循環する。また斉一性原理はグルーのパラドックスという問題を持つ。

一方、確実性の根拠としての帰納法的証明を試みようとすれば、論理的な困難が生じる。帰納法によってなんらかの仮説を(蓋然的にではなく確実的に)正当化する場合、当の証明者は「全ての物事は、他に事情がない限り、いままで通り進んでいく」という斉一性の原理に従っている(自然の斉一性を参照されたし)。しかし、この原理を正当化するすべは(少なくとも帰納法的証明のうちには)ない。

しかし、その現象に関する理論が存在しない、或いは確実でない場合、演繹は成立しない。そのような場合でも帰納は成立するので、帰納は新しい分野を開発し、新しい理論を模索する場では先ず仮説を立てるための方法として極めて重要である。自然科学では観察実験が重視され、そこからさまざまな仮説が作られ、それがその分野の進歩の基礎となるが、そこから得られる判断は常に帰納的である。

[編集] 帰納法の欠点

確証性の原理をとるにせよ、斉一性の原理をとるにせよ、帰納法で仮説を正当化する企ては、なんらかの壁にぶつかるのである。特によくあるのは、早すぎる一般化である。

帰納法が間違う有名な例として、「ビールには水が入っている」、「ウィスキーにも水が入っている」、「ブランデーにも水が入っている」、よって「を飲むと酔っ払う」というものがある。実際には、「それならば純粋の水を飲めばより強く酔っぱらうはず」という形で実験を行い、その結果次第で判断すればよい。

データから理論を導き出す試み、すなわち帰納的推理はベーコンらによって始められ、J.S.ミル『論理学体系』においてある程度体系化され、その後近代論理学統計学と結びついて研究されている。

[編集] 外部リンク

英語のページ

[編集] 関連項目

[編集] 関連項目 (Recursion/Recursive)

[編集] 参考文献