推論体系

例文

A formal system of logic defines the rules for valid inference.

形式的な推論体系は妥当な推論の規則を定義する。

コアイメージ

定められた規則に従って妥当な結論を導くための枠組み

英英

A structured set of rules and principles that specifies how valid conclusions are derived from premises within a logical framework.

語源

system of logicは、systemはギリシャ語systema由来で「体系」を意味し、logicはギリシャ語logike由来で「理性や推論」を指し、推論の規則と構成要素から成る枠組みを表す。

コラム

  • 数学や哲学では公理と推論規則から成る形式的な推論体系を指す一方、日常的には論理の構成や考え方全体を意味することがある。

おすすめの単語帳

1 / 1
QRコード