Deontic Logic｜道義邏輯：『應該、允許、禁止』也能像真假命題一樣進入形式推理
WHAT 這是什麼
SEP 說明 deontic logic 研究 obligatory、permissible、forbidden、optional、supererogatory 等規範概念如何影響『什麼能從什麼推出』，並延伸到權利、責任、行動與評價等正式關係。
WHY HERE 為什麼屬於底域的世界
它把規範語言變成可分析的系統，能連到倫理、法律、制度規則與自動化政策判斷。
BLIND SPOT 補了哪一塊少看的視角
Deontic logic 不會直接告訴我們哪些行為在道德上真的對；它形式化的是規範結構，不等於提供規範內容。
