公理的論理

「公理的論理」の英語

「公理的論理」は英語で axiomatic logic と言います。公理を出発点として、推論規則に従って命題を導く論理体系や考え方を指します。

「公理的論理」の英語の使い分け

「公理的論理」の例文

The debate relied on formal logic rather than emotional appeals.

その議論は感情的な訴えではなく形式論理に基づいていた。

コアイメージ

形式論理は記号を用いて論証を表現し、機械的検証や数学的証明に適した形式化を行う考え方

英英

Logic that encodes arguments in symbolic form and formal languages so that validity and proofs can be checked mechanically or mathematically.

語源

formal logicは、formal(形式的な)とlogic(論理)の結合から成り、19世紀の記号論理と公理化の流れの中で現在の意味が確立した

コラム

  • 計算機科学ではformal logicが仕様記述や自動証明に利用され、自然言語の説得力とは別に厳密さが重視される

「公理的論理」のレベル別の例文

「公理的論理」を英語にするときのよくある間違い

  • × We do axiomatic logic to check the argument.

    ○ We use axiomatic logic to check the argument.

    この場合、英語では do より use のほうが自然です。

「公理的論理」の英語についてよくある質問

Q. 「公理的論理」を英語で一言で言うと?
axiomatic logic が直接的な表現です。公理と推論規則を基礎にして論理体系を組み立てる考え方を指します。
Q. formal logic と symbolic logic の違いは?
formal logic は形式化された論理全般を指し、symbolic logic は特に記号を使って表す論理を指します。両者には重なる範囲もあります。
Q. 「公理的論理」を論文でどう言いますか?
論文では axiomatic logic と言えます。公理から組み立てた体系そのものを指す場合は、axiomatic system(公理系)という表現も使われます。

「公理的論理」と関連する日本語の英語

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

おすすめの単語帳

1 / 1