道義邏輯(英文:Deontic logic)是一種非標準的模態邏輯, 屬於哲學邏輯的領域, 涉及「應該」、「可以」或 「許可」、「禁止」 這樣一些道義概念。

符號化

編輯

應該(obligate)p:Op

允許(permit)p:Pp

禁止(forbid)p:Fp

應該...不...(obligate...not...)非p:O¬p

允許...不...(permit...not...)非p:P¬p

禁止...不...(forbid...not...)非p:F¬p

基本公式

編輯

「不應當不A」等值於「許可A」; ¬O¬A↔PA

「不許可不A」等值於「應當A」; ¬P¬A↔OA

「應當A」等值於「禁止不A」;OA↔F¬A

「禁止A」等值於「應當不A」。 FA↔O¬A

資料參考

編輯

《邏輯學》(第二版)人民大學出版社