动态认知逻辑的一个批评

• 作者: 胡义昭
• 来源期刊: 重庆理工大学学报(社会科学版)
• 学科: 哲学
• 关键词: 认知逻辑 动态认知逻辑 关于知识的推理 认知行动 知识的变化
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 逻辑学与科学方法论
• 页码范围: 34-38
• 页数: 5页
• 分类号: B81
• 字数: 6023字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425.2010.02.007

摘要

对于现代逻辑研究来说,理论计算机科学以及人工智能曾经并且正在为它提供的理论动机,在数量和范围上,已经远远超越了数学曾经和能够为它提供的理论动机.认知逻辑作为刻画关于知识和信念的推理的形式体系,可以被看作是逻辑研究应用到理论计算机科学和人工智能等领域的一个重要的形式工具.而动态认知逻辑更在认知逻辑的静态基础之上,扩展以表现各种认知动作及其相应认知变化的算子,得到一系列的形式体系.在此从探寻认知逻辑的理论动机出发,追问我们应该在什么地方应该停止对于"新"逻辑体系的创新,由此对于动态认知逻辑把认知动作纳入形式体系的做法提出了批评:从认知逻辑的应用来说,对认知行动的形式刻画是多余的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡义昭	中国社会科学院哲学研究所	8	7	2.0	2.0