推論 推論の概要

推論

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/02/24 23:40 UTC 版)

ナビゲーションに移動 検索に移動

概要

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

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

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

論理的推論

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

演繹的推論

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

推論

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

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

命題論理においては、を前提として、結論が真である事を導く過程のことで、推論が正しいことは、(恒真式であることと同値。論理式と記号化され、推論式英語版(: sequent)と呼ばれる。推論式と意味論的推論(: semantical inference)を対応づけることで上記の内容が得られる[1]

述語論理では、を前提として、結論が真である事を導く過程のことで、推論が正しいことは、(妥当式であることと同値[2]論理式

三段論法

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

両刀論法

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

同値の推論

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

帰納的推論

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

アブダクション(仮説形成)

仮説を導出する推論。

確率推論

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




  1. ^ 清水義夫(1984) 『記号論理学』東京大学出版会 p23〜27
  2. ^ 清水義夫(1984) 『記号論理学』東京大学出版会 p54~56


「推論」の続きの解説一覧




推論と同じ種類の言葉


品詞の分類


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「推論」の関連用語

推論のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



推論のページの著作権
Weblio 辞書情報提供元は参加元一覧にて確認できます。

  
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの推論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2021 GRAS Group, Inc.RSS