定言論理
「定言論理」の英語
「定言論理」は英語で categorical logic と言います。定言命題や、それに基づく推論を扱う論理学の分野です。アリストテレス論理学と深く関係しますが、完全に同じ意味ではありません。
「定言論理」の英語の使い分け
categorical logic
定言命題や定言三段論法などを扱う論理学を指す、最も基本的で正確な表現です。
コアイメージ
アリストテレス論理学を指し、命題と三段論法を基盤とする古代の形式的推論体系
英英
A system of reasoning attributed to Aristotle that emphasizes terms and syllogisms as the primary means to derive conclusions in classical logic.
語源
Aristotelian logicは、哲学者アリストテレスに帰せられる論理体系の名で、アリストテレスの教説に基づき三段論法を中心に展開されたことに由来する
コラム
- アリストテレス論理学は三段論法を重視するため、現代の記号論理が扱う命題の代数的操作とは方法や着目点が異なる点がある
「定言論理」のレベル別の例文
- 中学
Aristotle wrote about categorical logic.
- 高校・英検2級
In a history course, students compared categorical logic with modern symbolic logic.
- TOEIC・ビジネス
The report examines the role of categorical logic in the development of legal reasoning.
- 日常会話
A: What is categorical logic? B: It is a branch of logic that studies categorical propositions.
「定言論理」を英語にするときのよくある間違い
× Aristotle logic
Aristotle をそのまま名詞の前に置く Aristotle logic は標準的な表現ではありません。「定言論理」は categorical logic と言います。