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

作　　者：刘奋荣[1] 

机构地区：[1]清华大学哲学系

出　　处：《世界哲学》2010年第3期35-43,共9页World Philosophy

基　　金：教育部人文社科基金青年项目<动态认知逻辑的基本理论及应用研究>(项目编号:08JC72040002);国家社科基金青年项目<面向知识更新和信念修正的动态逻辑研究>(项目编号:09CZX033)的资助

摘　　要：本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,说明了并非所有的逻辑算子都能找到归约公理,有时候我们需要丰富基本语言的表达力。而且,我们从如何给出一个逻辑的角度提出,动态认知逻辑实际上是在"动态化"认知逻辑,这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例,说明了这一过程是如何实现的。

关 键 词：动态认知逻辑 动态偏好逻辑 公开宣告逻辑 归约公理 动态化 

分 类 号：B815.3[哲学宗教—逻辑学]