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