求闻百科
搜索
切换搜索
切换菜单
切换个人菜单
查看“道义逻辑”的源代码
求闻百科,共笔求闻
更多语言
阅读
查看源代码
查看历史
页面
讨论
更多操作
←
道义逻辑
因为下列原因,您没有权限编辑本页。请逐条确认下列问题是否解决后再试。
您所请求的操作,仅限具有
注册用户
权限的
用户
执行。
若您尚未登录求闻百科账号,请您
登录
求闻百科账号后操作。
您尚未完成实名制验证,因此操作受限。请尽快
完成实名制验证
,或联系
裁决委员会
以
获取操作权限
。
注:若您是非中国大陆用户,您应当联络电子邮件staff
qiuwen.org以获得帮助。
您尚未完成
电子邮件确认
,因此操作受限,请尽快
完成电子邮件确认
。
若您无法完成前述手续,请参考
帮助文档
,或通过适当渠道请求管理员或裁决委员协助。
您可以查看和复制此页面的源代码。
若您无权编辑本页面,您可以
提出编辑请求
,提请有权限者代为编辑。
'''道义逻辑'''是一种非标准的[[模态逻辑]]。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的[[逻辑]]。 == 符号化 == 应该(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 == 资料参考 == 《逻辑学》(第二版)人民大学出版社 [[Category:逻辑学]]
返回
道义逻辑
。