推論体系

「推論体系」の英語

「推論体系」は英語で system of logic と言います。数学や哲学で、公理と推論規則に基づき妥当な結論を導く形式的な枠組みを指す、やや専門的な表現です。日常的には論理の構成全体を指すこともあります。

「推論体系」の英語の使い分け

「推論体系」の例文

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由来で「理性や推論」を指し、推論の規則と構成要素から成る枠組みを表す。

コラム

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

「推論体系」のレベル別の例文

「推論体系」を英語にするときのよくある間違い

  • × This is system of logic for valid inference.

    ○ This is a system of logic for valid inference.

    単数の可算名詞 system には、通常 a などの冠詞が必要です。

「推論体系」の英語についてよくある質問

Q. 「推論体系」を英語で一言で言うと？
system of logic と言うのが一般的です。数学や哲学などで使われる、やや専門的な表現です。
Q. 「推論体系」と system of logic は同じ意味ですか？
概ね近い意味ですが、system of logic は論理の体系全般を指し、文脈によっては証明体系に近い意味で使われることもあります。
Q. 「推論体系」を英語の論文でどう言いますか？
system of logic が使えます。形式的な体系であることを明確にする場合は formal system of logic と言います。

「推論体系」と関連する日本語の英語

ほかの日本語から英語を引く

おすすめの単語帳

1 / 1