この項目では、論理学における推論について説明しています。

横田めぐみの拉致問題を扱ったドキュメンタリー映画については「めぐみ 引き裂かれた家族の30年」をご覧ください。

宇宙人による誘拐については「未確認飛行物体」をご覧ください。

.mw-parser-output .pathnavbox{clear:both;border:1px outset #eef;padding:0.3em 0.6em;margin:0 0 0.5em 0;background-color:#eef;font-size:90%}.mw-parser-output .pathnavbox ul{list-style:none none;margin-top:0;margin-bottom:0}.mw-parser-output .pathnavbox>ul{margin:0}.mw-parser-output .pathnavbox ul li{margin:0}推論 > 論理的推論 > アブダクション.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "アブダクション" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL（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]。
論理に基づいたアブダクション

論理学では、説明はある領域を表現する論理的理論 T {\displaystyle T} 、および観察の集合 O {\displaystyle O} 、 から行なわれる。アブダクションは O {\displaystyle O} についての説明の集合 E {\displaystyle E} を T {\displaystyle T} にしたがって導き、そしてそれらの説明のうち、捨象され得ずに残る一つを最終的に選択していく過程である。