アブダクション

アブダクション（逆行推論）（、）とは、演繹法が前提となる事象に規則を適用して結論を得るのに対し、結論となる事象に規則を適用して前提を推論する方法である。論理的には後件肯定と呼ばれる誤謬であるが、帰納法と並び仮説形成に重要な役割を演じている。なお、アブダクションの語は誘拐の意味に使われるので、英語圏ではレトロダクションという言い換えが使われることが多い。

概要 
古くはアリストテレスがアパゴーゲー（）について議論している。のちに、アパゴーゲーはアブダクション（abduction）と英訳された。チャールズ・サンダース・パースは、演繹・帰納に対する第三の方法として、アブダクションの語をもちいた。

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

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

論理的推論 

 演繹法（Deduction）
 演繹は、事象Aと規則「AならばB」から事象Bを導く。このとき事象Aと規則「AならばB」を前提、事象Bを結論と言う。二つの前提（事象Aと規則「AならばB」）が真であれば結論（事象B）は常に真である。
 （枚挙的）帰納法（Enumerative Induction）
 帰納は、観測した範囲内で事象Aが常に事象Bを伴うとき、規則「AならばB」を推論する。帰納は、演繹法で前提となる事象と結論となる事象との組から前提となる規則を導くものである。この推論は常に正しいとは限らない。
 逆行推論法（Abduction or Retroduction）
 逆行推論は、結論となる事象Bと規則「A→B」から前提となる事象Aを推論する。逆行推論は、演繹法で結論となる事象と前提となる規則とから前提となる規則を導くものである。この推論は後件肯定の誤謬なので常に正しいとは言えないが、仮説を作る方法として帰納法とともに重要である。

 なお、論理関係と因果関係は一見似ているが別のものであるので注意したい。思考の前提は事象の原因と異なり、思考の結論は事象の結果と異なる。因果関係がない所に因果関係を見てしまうのは認知バイアスの一つである。例えば、前後即因果の誤謬がある。枚挙的帰納法を狭義の帰納法とした上で、逆行推論を広義の帰納的推論に分類することがある。

論理に基づいたアブダクション 
論理学では、説明はある領域を表現する論理的理論 、および観察の集合 、 から行なわれる。アブダクションは  についての説明の集合を  にしたがって導き、そしてそれらの説明のうち、捨象され得ずに残る一つを最終的に選択していく過程である。  が  にしたがいつつ  の説明であるためには、  は二つの条件を充足しなければならない。

  が、 かつ 、から導かれる。
  が  と無矛盾である。

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

脚注

注釈

出典

関連文献 

 
 
 
 

 
 戸田山和久「第2章、2　ここで演繹と帰納について復習しよう」、「第2章、3　科学方法論としての仮説演繹法」『科学哲学の冒険』日本放送出版協会、2005年。
 
 
 
 米盛裕二「第四章、四　論証の三分法」、「第四章、五　アブダクション」『パースの記号学』勁草書房、1981年。

関連項目 

 演繹
 オッカムの剃刀
 科学的方法
 帰納

 後件肯定
 最尤法
 探究
 類推

外部リンク 
 ロンリのちから第7回 仮説形成 - NHK高校講座

科学哲学の概念
仮説
記号学
知識
言語哲学の概念
認識論の概念
チャールズ・サンダース・パース
方法論
論理学の概念
理性
信念修正