アブダクションのソースを表示

{{pathnav|推論|論理的推論|frame=1}}
{{出典の明記|date=2023年3月}}
'''アブダクション'''（{{lang-grc|ἀπαγωγή}}<ref group="注釈" name="#1">{{lang-*-Latn|grc|apagōgē}}</ref>、{{lang-en-short|abduction, retroduction}}、'''逆行推論'''）とは、演繹法が前提となる事象に規則を適用して結論を得るのに対し、結論となる事象に規則を適用して前提を推論する方法である。論理的には[[後件肯定]]と呼ばれる誤謬であるが、帰納法と並び仮説形成に重要な役割を演じている。なお、アブダクションの語は[[拉致|誘拐]]の意味に使われるので、英語圏ではレトロダクションという言い換えが使われることが多い。

== 概要 ==
古くは[[アリストテレス]]がアパゴーゲー（{{lang-grc|ἀπαγωγή}}<ref group="注釈" name="#1"/>）について議論している{{Refnest|group="注釈"|井上は{{lang|grc|ἀπαγωγή}}を還元法と訳している<ref>{{Cite book |和書 |author=アリストテレス |title=[[分析論前書]] |url=https://www.iwanami.co.jp/book/b476620.html |series=[[アリストテレス全集]] |year=1971 |publisher=岩波書店 |isbn=9784000912815 |chapter=第25章　還元[帰着]法 |translator=[[井上忠]] |volume=第2巻}}</ref>。}}。のちに、アパゴーゲーはアブダクション（abduction）と英訳された。[[チャールズ・サンダース・パース]]は、[[演繹]]・[[帰納]]に対する第三の方法として、アブダクションの語をもちいた。

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

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

== 論理的推論 ==
{{main|論理的推論}}
; 演繹法（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を推論する。逆行推論は、演繹法で結論となる事象と前提となる規則とから前提となる規則を導くものである。この推論は[[後件肯定]]の誤謬なので常に正しいとは言えないが、仮説を作る方法として帰納法とともに重要である。
:
: なお、論理関係と因果関係は一見似ているが別のものであるので注意したい。思考の前提は事象の原因と異なり、思考の結論は事象の結果と異なる。因果関係がない所に因果関係を見てしまうのは認知バイアスの一つである。例えば、[[前後即因果の誤謬]]がある。枚挙的帰納法を狭義の帰納法とした上で、逆行推論を広義の帰納的推論に分類することがある<ref>森田邦久『理系人に役立つ科学哲学』化学同人、2010年</ref>。

== 論理に基づいたアブダクション ==
論理学では、説明はある領域を表現する論理的理論 <math>T</math>、および観察の集合 <math>O</math>、 から行なわれる。アブダクションは <math>O</math> についての説明の集合<math>E</math>を <math>T</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> の要素を選択する過程でもある。「最良の」説明を表現する一要素を選択する基準には、単純性が、より蓋然的であることが、ないしはその説明の説明力が、含まれる。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist}}
=== 出典 ===
<references />

== 関連文献 ==
*{{Cite journal |和書|author =赤井清晃|year =1999|title =アリストテレス『分析論前書』B25におけるアパゴーゲーについて|journal =シンポジオン|volume =44}}
*{{Cite book|和書|author=アリストテレス|translator=井上忠|title=分析論前書|year=1971|publisher=岩波書店|series=アリストテレス全集| volume=1|chapter=第2巻、第25章　還元[帰着]法}}
*{{Cite book|和書|author=伊藤邦武|authorlink=伊藤邦武|title=パースのプラグマティズム|year=1985|publisher=勁草書房|chapter=第四章　探究の本性とその方法}}
* {{Cite book|和書|author=伊藤邦武|title=岩波哲学・思想事典|year=1998|chapter=アブダクション}}
* {{Cite journal |和書|author =伊東俊太郎|authorlink =伊東俊太郎|year=1975|title =創造の機構　科学的発見の方法論的考察|publisher=[[理想社]]|journal =理想|volume=506}}
* {{Cite book|和書|author=魚津郁夫|authorlink=魚津郁夫|title=現代アメリカ思想|year=2001|publisher=[[放送大学教育振興会]]|chapter=5　パースの「アブダクション」と可謬主義}}
* {{Cite book|和書|author=上山春平|authorlink=上山春平|title=上山春平著作集|year=1996|publisher=[[法藏館]]|volume=1|chapter=アブダクションの理論}}
*{{Cite book |和書|author=NHK『ロンリのちから』制作班|others=野矢茂樹 監修|year=2015|chapter=07　仮説形成|title=ロンリのちから―イラスト・ストーリーで身につく |publisher=三笠書房}}
* {{Cite book|和書|author=戸田山和久|authorlink=戸田山和久|title=論文の教室|year=2002|publisher=[[日本放送出版協会]]|chapter=6-5　ちょっと弱い論証形式の例②（アブダクション・仮説演繹法・アナロジー）}}
* 戸田山和久「第2章、2　ここで演繹と帰納について復習しよう」、「第2章、3　科学方法論としての仮説演繹法」『科学哲学の冒険』日本放送出版協会、2005年。
* {{Cite book|和書|author=西脇与作|authorlink=西脇与作|title=科学の哲学|year=2004|publisher=[[慶應義塾大学出版会]]|chapter=第3章、4　仮説の設定：最善の説明のためのアブダクション}}
* {{Cite book|和書|author=野家啓一|authorlink=野家啓一|title=科学の哲学|year=2004|publisher=放送大学教育振興会|chapter=6. 3　発見の論理}}
* {{Cite book|和書|author=藤本隆志|authorlink=藤本隆志|title=記号学大事典|year=2002|publisher=[[柏書房]]|chapter=アブダクション}}
* [[米盛裕二]]「第四章、四　論証の三分法」、「第四章、五　アブダクション」『パースの記号学』勁草書房、1981年。
* {{Cite book|和書|author=米盛裕二|title=人工知能学事典|year=2005|publisher=[[共立出版]]|chapter=2-10　アブダクション}}
* {{Cite book|和書|author=米盛裕二|title=アブダクション　仮説と発見の論理|year=2007|publisher=勁草書房}}

== 関連項目 ==
{{ウィキポータルリンク|哲学}}
* [[演繹]]
* [[オッカムの剃刀]]
* [[科学的方法]]
* [[帰納]]
* [[後件肯定]]
* [[最尤法]]
* [[探究]]
* [[類推]]

== 外部リンク ==
* [https://www.nhk.or.jp/kokokoza/tv/ronri/archive/chapter007.html ロンリのちから第7回 仮説形成] - [[NHK高校講座]]

{{科学哲学}}
{{authority control}}
{{DEFAULTSORT:あふたくしよん}}
[[Category:科学哲学の概念]]
[[Category:仮説]]
[[Category:記号学]]
[[Category:知識]]
[[Category:言語哲学の概念]]
[[Category:認識論の概念]]
[[Category:チャールズ・サンダース・パース]]
[[Category:方法論]]
[[Category:論理学の概念]]
[[Category:理性]]
[[Category:信念修正]]