アブダクション

出典: フリー百科事典『ウィキペディア（Wikipedia）』
移動先: 案内、 検索

テンプレート:Otheruseslist アブダクション、アブダクティヴな推論、または最良の説明への推論（テンプレート:Lang-grc/テンプレート:Lang-en-short）は、個別の事象を最も適切に説明しうる仮説を導出する推論。

概要

仮説形成や仮説的推論などと訳されている。古くはアリストテレスがアパゴーゲー（テンプレート:Lang-grc）について議論している[1]。のちにアパゴーゲーはアブダクション（abduction）と英訳された。チャールズ・サンダース・パースは演繹（deduction）、帰納（induction）に対する第三の方法としてアブダクションの語を用いた。

結果や結論を説明するための仮説を形成することを言うこともある。哲学やコンピュータの分野でも定義づけされた言葉として使われている。アブダクションの意味や思考法は、演繹法や帰納法ともまた異なるものであり、失敗の原因を探ったり、計画を立案したり、暗黙的な仮説を形成したりすることにも応用できる。例えば、プログラムの論理的な誤りを探し出し直すという過程では、アブダクティヴな解釈と推論が行われており、一般的な立証論理の手法と通じるものがある。

アブダクションは、関連する証拠を――真である場合に――最もよく説明する仮説を選択する推論法である。アブダクションは観察された事実の集合から出発し、それらの事実についての最も尤もらしい、ないしは最良の説明へと推論する。アブダクションという用語はまた、たんに観察結果や結論を説明する仮説が発生することを意味するためにもときおり使われる。だが哲学やコンピュータ研究においては、前者の定義がより一般的である。心理学などではヒューリスティクスと呼ばれている。

演繹、帰納、そしてアブダクション

演繹

は、 <math>a</math> の帰結として <math>b</math> を導くことを可能にする。ほかの言い方をすると、演繹は仮定されたことの帰結を導く過程である。妥当な演繹は、仮定が真であれば結論も真であることを保証する。

帰納

は、<math>a</math> が <math>b</math> を必然的に伴うときに、 <math>b</math> のいくらかの事例を挙げることから <math>a</math> を推論することを可能にする。帰納はいくらかの後件を観察した結果として前件を蓋然的に推論する過程である。

アブダクション

は、 <math>b</math> についての説明として <math>a</math> を推論することを可能にする。 このためにアブダクションは「<math>a</math> は <math>b</math> を必然的に伴う」の前提条件 <math>a</math> がその帰結 <math>b</math> から推論されることを可能にする。このように帰納とアブダクションは「<math>a</math> は <math>b</math> を必然的に伴う」のような規則が推論のために使われる方向が異なる。アブダクションそれ自体としては、形式的には論理学でいう後件肯定に等しい。このようにアブダクティヴな推論はそこで提起される原因が疑わしいので、「前後即因果の誤謬 (Post hoc ergo propter hoc)」という時間の前後関係を因果関係と混同した虚偽の論法に似ている。

論理に基づいたアブダクション

論理学では、説明はある領域を表現する論理的理論 <math>T</math> および観察の集合 <math>O</math> から行なわれる。アブダクションは <math>T</math> にしたがって <math>O</math> についての説明の集合を導き、そしてそれらの説明のうちの一つを選択する過程である。 <math>E</math> が <math>T</math> にしたがいつつ <math>O</math> の説明であるためには、 <math>E</math> は二つの条件を充足しなければならない。

  • <math>O</math> は <math>E</math> かつ <math>T</math> から導かれる。
  • <math>E</math> は <math>T</math> と無矛盾である。

形式論理学では、 <math>O</math> と <math>E</math> はリテラルの集合であると想定されている。これら二つの文は <math>E</math> が理論 <math>T</math> にしたがいつつ <math>O</math> の説明であるための条件である。通常これら二つの条件を充足する可能な説明 <math>E</math> に対して、他の最小限の条件が課せられるが、これは（ <math>O</math> を内含することに寄与しない）的外れな事実がそれらの説明に含められることを避けるためである。アブダクションは <math>E</math> の要素を選択する過程でもある。「最良の」説明を表現する一要素を選択する基準には、単純性、より蓋然的であること、ないしはその説明の説明力が含まれる。

脚注

  1. ↑ テンプレート:Cite book井上はἀπαγωγήを還元法と訳している。

参考文献

関連項目

テンプレート:Col-begin テンプレート:Col-break

テンプレート:Col-break

テンプレート:Col-break

テンプレート:Col-end

外部リンク

テンプレート:ウィキポータルリンク テンプレート:科学哲学

「http://wikippe.e-do-match.com/index.php?title=アブダクション&oldid=44276」から取得