For faster navigation, this Iframe is preloading the Wikiwand page for
道义逻辑.
道义逻辑(英文: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
{{bottomLinkPreText}}
{{bottomLinkText}}
This page is based on a Wikipedia article written by
contributors (read/edit).
Text is available under the
CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
{{current.index+1}} of {{items.length}}
Thanks for reporting this video!
This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:
An extension you use may be preventing Wikiwand articles from loading properly.
If you're using HTTPS Everywhere or you're unable to access any article on Wikiwand, please consider switching to HTTPS (https://www.wikiwand.com).
An extension you use may be preventing Wikiwand articles from loading properly.
If you are using an Ad-Blocker, it might have mistakenly blocked our content.
You will need to temporarily disable your Ad-blocker to view this page.
✕
This article was just edited, click to reload
Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}
Follow Us
Don't forget to rate us
Oh no, there's been an error
Please help us solve this error by emailing us at
support@wikiwand.com
Let us know what you've done that caused this error, what browser you're using, and whether you have any special extensions/add-ons installed.
Thank you!