アブダクション
![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2023年3月) |
アブダクション(古代ギリシア語: ἀπαγωγή[注釈 1]、英: abduction, retroduction、逆行推論)とは、演繹法が前提となる事象に規則を適用して結論を得るのに対し、結論となる事象に規則を適用して前提を推論する方法である。論理的には後件肯定と呼ばれる誤謬であるが、帰納法と並び仮説形成に重要な役割を演じている。なお、アブダクションの語は誘拐の意味に使われるので、英語圏ではレトロダクションという言い換えが使われることが多い。
概要
古くはアリストテレスがアパゴーゲー(古代ギリシア語: ἀπαγωγή[注釈 1])について議論している[注釈 2]。のちに、アパゴーゲーはアブダクション(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]。
論理に基づいたアブダクション
論理学では、説明はある領域を表現する論理的理論