記号論理学
「記号論理学」の英語
「記号論理学」は英語で symbolic logic と言います。論理を記号で厳密に扱う学問を指し、数学や計算機科学の文脈でよく使われます。
「記号論理学」の英語の使い分け
論理を記号で表し、真偽や推論の妥当性を扱う学問名です。
Symbolic logic is useful in computer science.
「記号論理学」の例文
He studied symbolic logic at university to strengthen his mathematical reasoning.
彼は大学で記号論理学を学んで数学的推論力を高めた。
コアイメージ
論理命題や推論を記号で表し、形式的に真偽や妥当性を扱う学問
英英
The branch of logic that represents propositions and arguments with formal symbols and systems to analyze validity and inference.
語源
symbolic logicは、symbol（記号）とlogic（ギリシャ語logos「言葉・理性」）の結合で、19世紀にブールやフレーゲらが論理を記号化して数学的に扱ったことから成立。
コラム
- 記号論理学は論理を記号で表して厳密に扱うため、数学的証明や計算機科学の理論的基盤として利用される
「記号論理学」のレベル別の例文
- 中学
I learned about symbolic logic in class today.
- 高校・英検2級
Symbolic logic helps researchers analyze complex arguments precisely.
- TOEIC・ビジネス
The course introduces symbolic logic as a foundation for artificial intelligence.
- 日常会話
Have you ever studied symbolic logic?
「記号論理学」を英語にするときのよくある間違い
× symbol logic
学問名としては symbolic logic が一般的です。
× sign logic
日本語の「記号」を sign と直訳する表現は通常使いません。