演繹、帰納、そしてアブダクション
演繹
は、 a の帰結として b を導くことを可能にする。 ほかの言い方をすると、演繹は仮定されたことの諸帰結を導く過程である。 妥当な演繹は、諸仮定が真であれば結論も真であることを保証する。
帰納
は、ある a が b を必然的に伴うときに、 b のいくらかの事例を挙げることから a を推論することを可能にする。 帰納はいくらかの後件を観察した結果として蓋然的な前件を推論する過程である。
拓海の春休み
地上の星
竹の子ちゃんコンピュータ社会
茶色の小びん
朝虹の日記
徹子の部屋
天の川
天下無敵の悠馬君
天使のしっぽ
天体望遠鏡
電車男
冬の星座
冬を待つ季節
東京ドームに夢
桃と花子
桃子の一押しニュース
透明人間
奈々の氷山の一角
二十面相
虹色のジュータン
アブダクション
は、 b についての説明として a を推論することを可能にする。 このために、アブダクションは「a は b を必然的に伴う」の前提条件 a がその帰結 b から推論されることを可能にする。 このように、演繹とアブダクションは、「a は b を必然的に伴う」のような規則が推論のために使われる方向が異なる。 アブダクションそれ自体としては、形式的には論理学でいう後件肯定の誤謬に等しい。 このように、アブダクティヴな推論はそこで提起される原因が疑わしいので、「前後即因果の誤謬」という時間の前後関係を因果関係と混同した虚偽の論法に似ている。
論理学では、説明はある領域を表現する論理的理論 T および諸観察の集合 O から行なわれる。 アブダクションは T にしたがって O についての諸説明の集合を導き、そしてそれらの説明のうちの一つを選択する過程である。