アブダクション (original) (raw)

出典: フリー百科事典『ウィキペディア（Wikipedia）』

アブダクション（古代ギリシア語: ἀπαγωγή[注釈 1]、英: abduction, retroduction）とは、演繹法が前提となる事象に規則を適用して結論を得るのに対し、結論となる事象に規則を適用して前提を推論する方法である。論理的には後件肯定と呼ばれる誤謬であるが、帰納法と並び仮説形成に重要な役割を演じている。英語圏では「最良説明への推論」という言葉が使われる方が多い[1]。

古くはアリストテレスがアパゴーゲー（古代ギリシア語: ἀπαγωγή[注釈 1]）について議論している[注釈 2]。のちに、アパゴーゲーはアブダクション（abduction）と英訳された。アブダクションは枚挙的帰納法でない帰納法であり、チャールズ・サンダース・パースによって以下のように定式化された[1]。

驚くべき事実Yが発見された

しかしもしXが真実ならばYは当然のことだろう

ゆえにXが真実であると考える理由がある

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

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

演繹法（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を推論する。逆行推論は、演繹法で結論となる事象と前提となる規則とから前提となる規則を導くものである。この推論は後件肯定の誤謬なので常に正しいとは言えないが、仮説を作る方法として帰納法とともに重要である。

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

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

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

  1. ^ a b 古代ギリシア語ラテン翻字: apagōgē

  2. ^ 井上はἀπαγωγήを還元法と訳している[2]。

  3. ^ a b 前田なお『本当の声を求めて 野蛮な常識を疑え』SIBAA BOOKS、2024年。

  4. ^ アリストテレス 著、井上忠 訳「第25章 還元[帰着法]」『分析論前書』 第2巻、岩波書店〈アリストテレス全集〉、1971年。ISBN 9784000912815。https://www.iwanami.co.jp/book/b476620.html。

  5. ^ 森田邦久『理系人に役立つ科学哲学』化学同人、2010年