アブダクション

アブダクション（逆行推論）（、）とは、演繹法が前提となる事象に規則を適用して結論を得るのに対し、結論となる事象に規則を適用して前提を推論する方法である。論理的には後件肯定と呼ばれる誤謬であるが、帰納法と並び仮説形成に重要な役割を演じている。なお、アブダクションの語は誘拐の意味に使われるので、英語圏ではレトロダクションという言い換えが使われることが多い。
概要.
古くはアリストテレスがアパゴーゲー（）について議論している。のちに、アパゴーゲーはアブダクション（abduction）と英訳された。チャールズ・サンダース・パースは、演繹・帰納に対する第三の方法として、アブダクションの語をもちいた。
アブダクション、結果や結論を説明するための仮説を形成することを言うこともある。哲学やコンピュータの分野でも定義づけされた言葉として使われている。アブダクションの意味や思考法は、演繹法や帰納法ともまた異なるものであり、失敗の原因を探ったり、計画を立案したり、暗黙的な仮説を形成したりすることにも応用できる。例えば、プログラムの論理的な誤りを探し出し直す（デバッグ）という過程では、アブダクティヴな解釈と推論が行われており、一般的な立証論理の手法と通じるものがある。他にも、推理小説やミステリ映画などでも真相に迫る過程（推理）のアブダクションを体験できることが醍醐味となっている。
アブダクションは、関連する証拠を（真である場合に）最もよく説明する仮説を選択する推論法である。アブダクションは観察された事実の集合から出発し、それらの事実についても尤もらしく、ないしは最良の説明へと推論する。またアブダクションという用語は、たんに観察結果や結論を説明する仮説が発生することを意味するためにもときおり使われる。だが哲学やコンピュータ研究においては、前者の定義がより一般的である。心理学や計算機科学などではヒューリスティクスと呼ばれている。
論理に基づいたアブダクション.
論理学では、説明はある領域を表現する論理的理論 formula_1、および観察の集合 formula_2、 から行なわれる。アブダクションは formula_2 についての説明の集合formula_4を formula_1 にしたがって導き、そしてそれらの説明のうち、捨象され得ずに残る一つを最終的に選択していく過程である。 formula_4 が formula_1 にしたがいつつ formula_2 の説明であるためには、 formula_4 は二つの条件を充足しなければならない。
形式論理学では、 formula_2 と formula_4 はリテラルの集合であると想定されている。これら二つの文は formula_4 が理論 formula_1 にしたがいつつ formula_2 の説明であるための条件である。通常これら二つの条件を充足する可能な説明 formula_4 に対して、他の最小限の条件が課せられるが、これは（ formula_2 を内含することに寄与しない）的外れな事実がそれらの説明に含められることを避けるためである。アブダクションは formula_4 の要素を選択する過程でもある。「最良の」説明を表現する一要素を選択する基準には、単純性が、より蓋然的であることが、ないしはその説明の説明力が、含まれる。