mathematical logic

「mathematical logic」の発音・読み方

カタカナ読み（目安）マセマティカル ロジック

「mathematical logic」の意味

「mathematical logic」の例文

He wrote a thesis on mathematical logic.

彼は数理論理学について論文を書いた。

「mathematical logic」のレベル別の例文

「 mathematical logic」のコアイメージ コアイメージ

数学の手法で論理の構造や証明を形式的に扱う学問分野

「mathematical logic」のよく使う型

「mathematical logic」とよく一緒に使う語

「mathematical logic」のよくある間違い

  • ✕ mathematic logic

    ○ mathematical logic

    「数学の」を表す形容詞は mathematic ではなく mathematical が一般的です。

  • ✕ mathematical logics

    ○ mathematical logic

    学問分野を表す場合は通常、不可算名詞として単数形を使います。

「 mathematical logic」の英英 英英

The branch of study that applies mathematical methods to logic, examining formal systems, proofs, models, and computability.

「 mathematical logic」の語源 語源

mathematical logicは、mathematical（数学的）とlogic（論理）を結合した語で、19世紀から20世紀にかけてブールやフレーゲ、ラッセルらの研究を経て論理を数学的に扱う学問として確立された

「 mathematical logic」のコラム コラム

  • 論理を数学的に厳密化した分野であり、哲学の論理学と計算機科学の理論的基盤をつなぐ役割を持つ

「mathematical logic」のよくある質問

Q. mathematical logic の複数形は？
学問分野を指す場合は通常、複数形にせず mathematical logic とします。個別の体系や理論を指す専門的な文脈では mathematical logics と書かれることもあります。
Q. mathematical logic と logic の違いは？
logic は論理全般を指す語で、mathematical logic は数学の方法を用いて論理や推論を研究する分野を指します。
Q. mathematical logic の発音で注意する点は？
mathematical は中央の「マ」を強く発音し、logic は最初の「ロ」を強く発音するのが一般的です。