道义逻辑

维基百科,自由的百科全书
跳转至: 导航搜索

道义逻辑是一种非标准的模态逻辑。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的逻辑

符号化[编辑]

应该(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¬p↔Pp

“不许可不A”等值于“应当A”; ¬P¬p↔Op

“应当A”等值于“禁止不A”;Op↔F¬p

“禁止A”等值于“应当不A”。 Fp↔O¬p

资料参考[编辑]

《逻辑学》(第二版)人民大学出版社