アレシック論理
「アレシック論理」の英語
「アレシック論理」は英語で alethic logic と言います。必然や可能など、真理の様相を扱う形式論理を指す専門用語です。知識を扱う epistemic logic や、義務を扱う deontic logic とは区別します。
「アレシック論理」の英語の使い分け
必然や可能など、命題の真理の様相を扱う専門用語です。
コアイメージ
アレシック論理は必然や可能といった演算子を用いて命題の真理の様相を扱う形式論理を指す
英英
The part of modal logic that employs operators to represent whether propositions are necessarily true, possibly true, or otherwise with respect to truth
語源
alethic logicは、ギリシャ語alētheia由来のalethicとlogicの組み合わせで、文字通り真理の様相に関する論理を意味する
コラム
- アレシック論理は真理の様相を対象とするため、知識に関するepistemicや義務に関するdeonticとは扱う対象が異なる
「アレシック論理」のレベル別の例文
- 中学
Alethic logic studies what must or may be true.
- 高校・英検2級
In philosophy, alethic logic examines necessity and possibility.
- TOEIC・ビジネス
The research team applied alethic logic to analyze modal claims.
- 日常会話
What exactly is alethic logic?