義務論理
「義務論理」の英語
「義務論理」は英語で deontic logic と言います。義務・許可・禁止を形式的に扱う論理学の専門用語で、法学、情報セキュリティー、倫理的AIなどの説明に使います。
「義務論理」の英語の使い分け
義務・許可・禁止を形式化する論理学の専門用語です。
「義務論理」の例文
Researchers use deontic logic to model obligations in ethical systems.
研究者は義務論理を用いて倫理体系における義務をモデル化する。
コアイメージ
義務論理は命題や状態に対して義務・許可・禁止の関係を記号で表し推論を可能にする形式手法を示す
英英
Logic concerned with the formal representation and reasoning about obligations, permissions, and prohibitions using deontic operators.
語源
deontic logicは、deontic（義務）を表す語根deonと接尾辞-ic、そしてlogic（論理）を組み合わせた語で、1950年代にG. H. von Wrightらによって義務を形式化する枠組みとして確立された
コラム
- 義務論理ではO（義務）やP（許可）といった記号を用いて規範推論を形式化し、法体系の分析やアクセス制御、倫理的AIの仕様検証に応用される
「義務論理」のレベル別の例文
- 中学
Deontic logic explains what people must or may do.
- 高校・英検2級
In legal theory, deontic logic can distinguish duties from permissions and prohibitions.
- TOEIC・ビジネス
The security team applied deontic logic to review employee access rules.
- 日常会話
Could deontic logic help us check these permissions?
「義務論理」を英語にするときのよくある間違い
× duty logic
義務論理という専門用語は deontic logic と言います。