| 从方法论的角度看动态认知逻辑的研究 |
| |
| 引用本文： | 刘奋荣. 从方法论的角度看动态认知逻辑的研究[J]. 世界哲学, 2010, 0(3): 35-43 |
| |
| 作者姓名： | 刘奋荣 |
| |
| 作者单位： | 清华大学哲学系 |
| |
| 基金项目： | 教育部人文社科基金青年项目《动态认知逻辑的基本理论及应用研究》(项目编号:08JC72040002); 国家社科基金青年项目《面向知识更新和信念修正的动态逻辑研究》(项目编号:09CZX033)的资助 |
| |
| 摘 要： | 本文主要探讨动态认知逻辑技术结果背后的思想，着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论，重点考察了归约公理的意义，揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例，说明了并非所有的逻辑算子都能找到归约公理，有时候我们需要丰富基本语言的表达力。而且，我们从如何给出一个逻辑的角度提出，动态认知逻辑实际上是在“动态化”认知逻辑，这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例，说明了这一过程是如何实现的。
|
| 关 键 词： | 动态认知逻辑 动态偏好逻辑 公开宣告逻辑 归约公理 动态化 |
Dynamic Epistemic Logic from a Methodological Point of View |
| |
| Liu Fenrong. Dynamic Epistemic Logic from a Methodological Point of View[J]. World Philosophy, 2010, 0(3): 35-43 |
| |
| Authors: | Liu Fenrong |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
