推論（すいろん、英語: inference）とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。

推論の正しさを妥当性という。あらゆる事柄は言語において表現されるのであるから、妥当な推論には、その推論が指し示す事柄が妥当であること（意味論）、その推論が行われた状況において妥当であること（語用論）、その推論の構文が妥当であること（構文論）、が考えられる。

論理学の古典論理では、ある言語によって表現された文章内容が「真偽を問えるもの」であった場合、それを命題と呼び、ある命題から他の命題を導くことを推論という。このとき、導かれる元の命題を前提または仮定といい、導かれた命題を結論という。

命題には、その内容と独立に常に真であるような命題が存在し、これをトートロジー（恒真式）という。このトートロジーを推論に利用すれば、妥当な推論であるといえることになる。トートロジーを利用した推論のなかでよく使われるものには名前がつけられていて、古典論理の公理系内の演繹の推論規則として利用されている。

「→」は内含、「V」は選言、他は論理式^[要出典]。

数理論理学の「推論」はこれのみを指す。

あるいくつかの命題（前提）から、別の命題（結論）を導く。

1. P→Qを証明する場合、Pが真であるときQが真であることを示す。
2. P→Qが自明であるとき、P→Qが真、かつPが真であるとき、Qが真であることを示す^[要出典]。
3. その他

命題論理においては、${\displaystyle A_{1},\cdots ,A_{n}}$を前提として、結論${\displaystyle C}$が真である事を導く過程のことで、推論が正しいことは、(${\displaystyle A_{1}\land \cdots \land A_{n})\supset C}$が恒真式であることと同値。${\displaystyle A_{i}}$と${\displaystyle C}$は論理式。${\displaystyle A_{1},\cdots ,A_{n}\to C}$と記号化され、推論式（英語版）(英: sequent)と呼ばれる。推論式と意味論的推論(英: semantical inference)を対応づけることで上記の内容が得られる^[1]。

述語論理では、${\displaystyle A_{1},\cdots ,A_{n}}$を前提として、結論${\displaystyle C}$が真である事を導く過程のことで、推論が正しいことは、(${\displaystyle A_{1}\land \cdots \land A_{n})\supset C}$が妥当式であることと同値^[2]。${\displaystyle A_{i}}$と${\displaystyle C}$は論理式。

ふたつ(以上)の命題（前提）から、ひとつの命題（結論）を導く。前提に一つ以上の全称命題を含む事が典型的。

P→R, Q→S が真であるとき、P ∨ Q→R ∨ Sを導く。

P→Q, Q→Pが真であるとき、PとQが同値であることを導く。

実験や経験などによるいくつかの特別な場合から、一般的な法則を導き出す。

仮説を導出する推論。

確率値を振った推論のこと。詳細はベイズ推定（英: Bayesian inference）やベイジアンネットワークを参照。

この節の加筆が望まれています。

• 論証
• 経験
• 想像力
• 三段論法
• 後件肯定 - 前件否定
• ルイス・キャロルのパラドックス
• 事例ベース推論

• 9. 推論　(山陽学園大学　論理学)

表 話 編 歴 科学哲学のトピックス
科学と非科学	線引き問題 反証可能性 科学における不正行為 境界科学 病的科学 疑似科学
帰納の問題	ヘンペルのカラス 斉一性の原理 グルーのパラドックス イドラ
科学理論	パラダイム 通約不可能性 ハードコア デュエム-クワイン・テーゼ
観測	観測選択効果 人間原理
立場	科学的実在論 社会構成主義 道具主義 反実在論
人物	フランシス・ベーコン イマヌエル・カント エルンスト・マッハ チャールズ・サンダース・パース マイケル・ポランニー カール・ポパー ネルソン・グッドマン トーマス・クーン スティーヴン・トゥールミン ラカトシュ・イムレ ポール・ファイヤアーベント イアン・ハッキング バス・ファン・フラーセン 内井惣七 村上陽一郎 戸田山和久 伊勢田哲治 野家啓一
分野	物理学の哲学 セントラルサイエンス 生物学の哲学 数学の哲学 論理学の哲学
言葉	仮説 経験 推論 論理的推論 論証 妥当性 健全性 誤謬 モデル 数理モデル 理論 科学理論 アドホックな仮説 演繹 帰納 アブダクション オッカムの剃刀 検証と反証の非対称性 検証 反証 内部観測 自然 時間 空間
causality（因果性）	先後関係と因果関係 決定論と非決定論 因果律 EPRパラドックス シュレーディンガーの猫
関連項目	認識論 記号論 心の哲学 プラグマティズム 論理学の哲学 宗教哲学
Category:科学哲学

この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。

• 表示
• 編集