1) Dynamic Deontic Logic
动态道义逻辑
1.
Action、Assertion、Event and Actor——Some Basic Conceptions in Dynamic Deontic Logic;
行动、断言、事件和主体——动态道义逻辑的几个基本概念
2) tense Deontic logic
道义时态逻辑
3) deontic logic
道义逻辑
1.
Research on the Dyadic Deontic Logic System DDFS;
二元道义逻辑DDFS系统研究
2.
Ross s paradox is the first "paradox" of deontic logic.
"罗斯悖论"是道义逻辑中的第一个"悖论",对此中外学者有过诸多研究,见解纷呈。
3.
It is not applied in some actual domain immediately,which does not show that deontic logic has no application value.
道义逻辑不是坏逻辑;道义逻辑不是因为实际应用而产生,它不能够即时的被法律逻辑所应用并不表明它毫无作用;即使是在应用领域同样可以有广阔的前景;在知识表达领域,在多智能主体系统领域都可以看到道义逻辑在发挥作用。
4) dynamic logic
动态逻辑
1.
In order to describe the process of multi action commitments and uncommitments, the concept of transition between model state pairs in action dynamic logic was introduced.
通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理 。
2.
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
该文提出一种论证安全协议之安全性质的非单调动态逻辑 。
5) dynamic logic diagram
动态逻辑图
6) Construction of Moral Logic
道义逻辑建构
补充资料：道义逻辑
一种非标准的模态逻辑。它研究"应当"、"可以"或 "许可"、"禁止" 这样一些道义概念的逻辑性质，是一种与伦理学或道德哲学有密切关系的模态逻辑。
早在12世纪，P.阿贝拉尔就把道义概念与自然界的必然性、可能性联系起来。他认为，自然所要求的就是必然的，自然所许可的就是可能的，自然所禁止的就是不可能的。14世纪的一些逻辑家如奥康的威廉等人已经注意到道义概念之间的逻辑关系。他们认为：
"不应当不A"等值于"许可A"；
"不许可不A"等值于"应当A"；
"应当A"等值于"禁止不A"；
"禁止A"等值于"应当不A"。
对道义逻辑的系统和深入研究，是在20世纪20年代开始的。1926年，德国逻辑学家E.马利最先应用数理逻辑的方法研究道义逻辑。他在其专著《应当的规律，意愿逻辑纲要》中，构造了一个道义逻辑公理系统。但该系统却推出了两个定理①Op→p，解释为:如果应当p,则p是事实上真的；②Op凮p,解释为:应当p,当且仅当p是事实上真的。这些定理背离了"应当"这一道义概念的含义，并导致道义逻辑等值于通常的命题逻辑。30年代A.霍夫斯塔特、J.C.C.麦肯舍、K.格耐里等人发表的几篇关于道义逻辑的论文，也有类似于马利提出的公理系统的缺陷。
1951年,芬兰学者G.H.von莱特在其《道义逻辑》一文和《模态逻辑》一书中，提出了一个不严格的道义逻辑系统，并提出一个判定道义逻辑常真式的方法。1964年,莱特把这一系统加以改进,构造了一个道义命题演算，该演算以 A、B、C、...作为命题变元，代表那些表示事物情况的命题;用～、&、∨、→、凮、作为联结词，分别解释为否定、合取、析取、实质蕴涵、实质等值;O为运算词，解释为应当；PA定义为～O～A。应用这些符号就可以构造出这个演算的合式公式。例如，OA；O～A；OA→OB;O(A&B)∨A。但在O的辖域中不能出现O这个符号。这个道义命题演算的公理是：
A1 ～(OA&O～A)；
A2 O(A&B)凮(OA&OB)。其推理规则为：
R1 公理和定理中的命题变元可用任何不包含 O的合式公式代替；
R2 分离规则；
R3 公理或定理中的命题变元可用和它（在命题逻辑中）等值的合式公式替换；
R4 应用道义命题代替命题逻辑常真式中的命题变元，其结果是一条定理。
这个道义命题演算是可判定的，也就是说，这个演算中的任一合式公式是或不是这个演算中的定理，可以由一个机械程序决定。
在任何包含莱特所提出的系统为子系统的道义逻辑中，都能推出以下定理：①、②和③。①OA→ O(A∨B)。其解释是:如果应当A，则应当（A或B）。由此可得：如果应当帮助人,则应当帮助人或陷害人。②PA→P(A∨B)。其解释是：如果许可 A，则许可（A或B）。由此可推出：如果许可某人抽烟，则许可某人抽烟或某人骂人。
③ O～A→O(A→B)。这一定理是类似于实质蕴涵和严格蕴涵的怪论。这些定理都是违反人们对应当和许可这些道义概念的理解的。
50年代以后,由于莱特著作的影响,不少逻辑学家对道义逻辑产生了浓厚的兴趣，陆续构造了许多道义罗辑的系统。莱特本人也提出了一个条件道义命题演算。他以O(A/B)作为原子命题，并把它解释为：在 B这个事物情况下应当 A。他认为，无条件的道义命题，是条件道义命题的特殊情况。例如，OA就是O(A/B)。这里的 B是一个重言式。
R.H.托马森等人则把道义逻辑和时态逻辑结合起来。他认为，一个人的义务是与他的承诺有关的，而一个人的承诺又与时间有关。因此，为了解决道义逻辑的某些复杂问题，有必要在道义逻辑中加入时间概念。
A.R.安德森则试图把道义逻辑化归为标准的模态逻辑，并提出以下化归模式：
OA呏N(～A→S)他把N解释为模态逻辑中的必然；S是一命题常元，被解释为道德上的坏事或惩罚。这样，其化归模式就解释为：应当 A，当且仅当不 A就必然受到惩罚。
S.坎格尔等人则从语义方面研究了道义逻辑，并提出了道义逻辑的模型理论（见模态逻辑）。
参考书目
R.Hilpinen ed.,Deontic Logic.Introductory and Systematic Readings,D.Dridel Publishing Co.,1971.
R.Hilpinen ed.,A New Studies In Deontic Logic, Norm,Action and Foundation of Ethics, D.DridelPublishing Co.,1981.
早在12世纪，P.阿贝拉尔就把道义概念与自然界的必然性、可能性联系起来。他认为，自然所要求的就是必然的，自然所许可的就是可能的，自然所禁止的就是不可能的。14世纪的一些逻辑家如奥康的威廉等人已经注意到道义概念之间的逻辑关系。他们认为：
"不应当不A"等值于"许可A"；
"不许可不A"等值于"应当A"；
"应当A"等值于"禁止不A"；
"禁止A"等值于"应当不A"。
对道义逻辑的系统和深入研究，是在20世纪20年代开始的。1926年，德国逻辑学家E.马利最先应用数理逻辑的方法研究道义逻辑。他在其专著《应当的规律，意愿逻辑纲要》中，构造了一个道义逻辑公理系统。但该系统却推出了两个定理①Op→p，解释为:如果应当p,则p是事实上真的；②Op凮p,解释为:应当p,当且仅当p是事实上真的。这些定理背离了"应当"这一道义概念的含义，并导致道义逻辑等值于通常的命题逻辑。30年代A.霍夫斯塔特、J.C.C.麦肯舍、K.格耐里等人发表的几篇关于道义逻辑的论文，也有类似于马利提出的公理系统的缺陷。
1951年,芬兰学者G.H.von莱特在其《道义逻辑》一文和《模态逻辑》一书中，提出了一个不严格的道义逻辑系统，并提出一个判定道义逻辑常真式的方法。1964年,莱特把这一系统加以改进,构造了一个道义命题演算，该演算以 A、B、C、...作为命题变元，代表那些表示事物情况的命题;用～、&、∨、→、凮、作为联结词，分别解释为否定、合取、析取、实质蕴涵、实质等值;O为运算词，解释为应当；PA定义为～O～A。应用这些符号就可以构造出这个演算的合式公式。例如，OA；O～A；OA→OB;O(A&B)∨A。但在O的辖域中不能出现O这个符号。这个道义命题演算的公理是：
A1 ～(OA&O～A)；
A2 O(A&B)凮(OA&OB)。其推理规则为：
R1 公理和定理中的命题变元可用任何不包含 O的合式公式代替；
R2 分离规则；
R3 公理或定理中的命题变元可用和它（在命题逻辑中）等值的合式公式替换；
R4 应用道义命题代替命题逻辑常真式中的命题变元，其结果是一条定理。
这个道义命题演算是可判定的，也就是说，这个演算中的任一合式公式是或不是这个演算中的定理，可以由一个机械程序决定。
在任何包含莱特所提出的系统为子系统的道义逻辑中，都能推出以下定理：①、②和③。①OA→ O(A∨B)。其解释是:如果应当A，则应当（A或B）。由此可得：如果应当帮助人,则应当帮助人或陷害人。②PA→P(A∨B)。其解释是：如果许可 A，则许可（A或B）。由此可推出：如果许可某人抽烟，则许可某人抽烟或某人骂人。
③ O～A→O(A→B)。这一定理是类似于实质蕴涵和严格蕴涵的怪论。这些定理都是违反人们对应当和许可这些道义概念的理解的。
50年代以后,由于莱特著作的影响,不少逻辑学家对道义逻辑产生了浓厚的兴趣，陆续构造了许多道义罗辑的系统。莱特本人也提出了一个条件道义命题演算。他以O(A/B)作为原子命题，并把它解释为：在 B这个事物情况下应当 A。他认为，无条件的道义命题，是条件道义命题的特殊情况。例如，OA就是O(A/B)。这里的 B是一个重言式。
R.H.托马森等人则把道义逻辑和时态逻辑结合起来。他认为，一个人的义务是与他的承诺有关的，而一个人的承诺又与时间有关。因此，为了解决道义逻辑的某些复杂问题，有必要在道义逻辑中加入时间概念。
A.R.安德森则试图把道义逻辑化归为标准的模态逻辑，并提出以下化归模式：
OA呏N(～A→S)他把N解释为模态逻辑中的必然；S是一命题常元，被解释为道德上的坏事或惩罚。这样，其化归模式就解释为：应当 A，当且仅当不 A就必然受到惩罚。
S.坎格尔等人则从语义方面研究了道义逻辑，并提出了道义逻辑的模型理论（见模态逻辑）。
参考书目
R.Hilpinen ed.,Deontic Logic.Introductory and Systematic Readings,D.Dridel Publishing Co.,1971.
R.Hilpinen ed.,A New Studies In Deontic Logic, Norm,Action and Foundation of Ethics, D.DridelPublishing Co.,1981.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条