从方法论的角度看动态认知逻辑的研究

发布时间：2017-10-06 13:18

  本文关键词：从方法论的角度看动态认知逻辑的研究

  更多相关文章： 动态认知逻辑 动态偏好逻辑 公开宣告逻辑 归约公理 动态化

【摘要】：本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,说明了并非所有的逻辑算子都能找到归约公理,有时候我们需要丰富基本语言的表达力。而且,我们从如何给出一个逻辑的角度提出,动态认知逻辑实际上是在"动态化"认知逻辑,这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例,说明了这一过程是如何实现的。
【作者单位】： 清华大学哲学系;
【关键词】： 动态认知逻辑 动态偏好逻辑 公开宣告逻辑 归约公理 动态化
【基金】：教育部人文社科基金青年项目《动态认知逻辑的基本理论及应用研究》(项目编号:08JC72040002) 国家社科基金青年项目《面向知识更新和信念修正的动态逻辑研究》(项目编号:09CZX033)的资助
【分类号】：B815.3
【正文快照】： 一、引论从20世纪80年代开始,在逻辑研究领域发生了所谓的“动态转向”。与先前静态的逻辑系统研究及证明不同,大家开始关注逻辑的动态特征,证明不再被看做是一个人的思考,而被看成是一个动态的过程。多主体的逻辑系统逐渐成为逻辑研究的一个重要内容。特别是,当信息在人们的，

本文编号：982988