论文部分内容阅读
道义逻辑属于广义模态逻辑，是模态逻辑发展到一定阶段的产物，随着对道义逻辑研究的深入，人们开始关注动态道义逻辑。
动态道义逻辑与经典的道义逻辑不同:从发展进程来看，动态道义逻辑是经典道义逻辑充分发展后的新的研究领域，它的产生是人们对道义命题刻画更为精细化的产物;从处理语句的细节来看，动态道义逻辑更加关注行动模态的引入，行动改变着命题的真值，随着行动的引入，命题的真值是不断变化的，这种处理的结果必然产生动态道义逻辑。在经典道义逻辑类型中，不能引入行动，处理这一类道义逻辑所表达的规范是用道义算子来限定一个语句，这种处理的结果就是静态的道义逻辑;从处理命题的结果来看，动态道义逻辑对于规范命题的处理更符合人们的直观，因为人作为个体不是静止不动的，是在不断的实践中改造着世界，既然是实践那么必然涉及行动，行动使得状态或世界产生相应的转变，对它的研究不在于命题主体和世界间的静态关系，而在不断变化的动态行动，以及由行动动态变化引起的世界集的改变。所以动态道义逻辑对于规范行动的处理更符合人们的直观。
动态道义逻辑改变着人们对行动语句、规范命题、事件、主体等一些基本概念和理论的传统理解，动态道义逻辑可以被认为是对道义逻辑的扩充与发展，行动使得人们对规范命题的动态变化，认知信息更新、信念升级、偏好逻辑、模态类型论中的模态词项等问题的研究具有了更大的动力，动态道义逻辑可以深化对道义逻辑的认识和理解。
全文首先概述了道义逻辑的发展脉络以及经典道义逻辑所产生的问题，阐述了“stit”理论处理规范命题的基本思路和困境;然后，较为详细地介绍了一个典型的动态道义逻辑系统以及该系统产生的问题和解困思路或方法;接着，厘清了动态道义逻辑最新的发展进路，即认知进路和模态类型进路;最后，对动态道义逻辑的基本概念和发展过程中产生的若干问题进行了总结和展望。
动态道义逻辑与经典的道义逻辑不同:从发展进程来看，动态道义逻辑是经典道义逻辑充分发展后的新的研究领域，它的产生是人们对道义命题刻画更为精细化的产物;从处理语句的细节来看，动态道义逻辑更加关注行动模态的引入，行动改变着命题的真值，随着行动的引入，命题的真值是不断变化的，这种处理的结果必然产生动态道义逻辑。在经典道义逻辑类型中，不能引入行动，处理这一类道义逻辑所表达的规范是用道义算子来限定一个语句，这种处理的结果就是静态的道义逻辑;从处理命题的结果来看，动态道义逻辑对于规范命题的处理更符合人们的直观，因为人作为个体不是静止不动的，是在不断的实践中改造着世界，既然是实践那么必然涉及行动，行动使得状态或世界产生相应的转变，对它的研究不在于命题主体和世界间的静态关系，而在不断变化的动态行动，以及由行动动态变化引起的世界集的改变。所以动态道义逻辑对于规范行动的处理更符合人们的直观。
动态道义逻辑改变着人们对行动语句、规范命题、事件、主体等一些基本概念和理论的传统理解，动态道义逻辑可以被认为是对道义逻辑的扩充与发展，行动使得人们对规范命题的动态变化，认知信息更新、信念升级、偏好逻辑、模态类型论中的模态词项等问题的研究具有了更大的动力，动态道义逻辑可以深化对道义逻辑的认识和理解。
全文首先概述了道义逻辑的发展脉络以及经典道义逻辑所产生的问题，阐述了“stit”理论处理规范命题的基本思路和困境;然后，较为详细地介绍了一个典型的动态道义逻辑系统以及该系统产生的问题和解困思路或方法;接着，厘清了动态道义逻辑最新的发展进路，即认知进路和模态类型进路;最后，对动态道义逻辑的基本概念和发展过程中产生的若干问题进行了总结和展望。