推論：前提から結論へ至る推理

主な形式

• 演繹 — 前提から必然的に導かれる結論。前提が真で推論が妥当であれば、結論は必ず真となる。三段論法が例である。
• 帰納 — 観察された事例から、より広い規則へ一般化すること。確実ではなく蓋然的な結論を生む。たとえば、多数の白い白鳥を観察して、すべての白鳥は白いと推論する場合である。
• アブダクション — 観察に対する最良または最も可能性の高い説明を推論すること。診断や仮説形成でよく用いられる。

実際には、これらの区分は重なり合う。演繹的議論は妥当性と健全性によって判断される一方、帰納的・アブダクション的推論は、その強さ、もっともらしさ、裏付けとなる証拠によって評価される。

特徴と仕組み

形式的推論では、命題論理におけるモーダス・ポネンスなどの明示的な規則と、証明論およびモデル理論で研究される記号体系が用いられる。統計的推論は、標本データからパラメータを推定し、または仮説を検定する。ベイズ推論は、新しい証拠が得られたときに確率を更新する。計算機の文脈では、推論エンジンが知識ベースに規則を適用し、機械学習モデルは入力を予測出力へ対応付けることで推論を行う。

歴史と発展

推論の体系的研究は、アリストテレスの三段論法をはじめとする古代の哲学者にまでさかのぼる。近代的な形式的扱いは、中世スコラ学者、19世紀および20世紀の論理学者の研究を通じて発展し、さらに現代の統計的・アルゴリズム的推論を支える確率論と計算的手法の発展によって広がった。

用途、例、区別

推論は、科学における仮説の形成と検証、法における証拠からの結論の導出、医学における診断、AIにおける推理と予測の中心をなす。重要な区別として、確実性と確率、手続きの正しさである妥当性と前提の真実性を含む健全性、モデルについての推論と基礎にある現実についての推論の違いがある。こうした区別を理解することは、主張を評価し、異なる問題に適した方法を選ぶ助けとなる。