A First Order Cognitive-logical Analysis of the Action of Knowing

　　作者简介：郭佳宏，北京师范大学哲学学院；邹崇理，中国社会科学院哲学所

　　原发信息：《哲学研究》201510期

　　内容提要：文章提出并分析理性主体如何知道一个程序或行动的问题。根据动态逻辑中一些合理的直观，作者将“知道一个行动”这样的概念定义为“知道相应行动的输入输出二元关系”。上述思想在“恒常论域”的一阶认知逻辑框架下获得初步实现。文章用这种方式探讨相关推理有效性的一些基本逻辑原则，并且运用它们总结证明一些关于知道行动推理有效的一般性质；然后研究知道复杂行动和知道它们成分之间的关系，证明了一些有效结果，也为部分无效结果构造相应反例。

　　关 键 词：程序性知识/知道行动/一阶认知逻辑

　　标题注释：本文系国家社科基金重大项目“自然语言信息处理的逻辑语义学研究”(编号10ZD073)的阶段性成果。

　　“知识”一直是哲学和认识论等领域关注的最核心问题之一。传统上，心理学和认识论对“陈述性知识”和“程序性知识”做了一个粗略的划分：前者是关于知道命题，“知道那样(knowing-that)”的知识。后者涉及主体与世界的互动，是“知道如何(knowing-how)”的知识。有些哲学家还对不同类型的知识和程序性知识本身作了更细的区分，探讨不同类型知识的性质和它们之间的关系等。(cf.Stanley and Williamson，pp.411～444；cf.Tang，pp.426～442)关于陈述性知识的形式化研究已有丰富的文献，从古代开始就有对事实性知识的探究，并且随着克里普克语义学的普及以及辛迪卡对知识和信念的分析(cf.Hintikka，pp.40～123)，关于事实性知识的逻辑研究重新兴盛。这方面的研究在认知科学、计算机科学(cf.Halpern，pp.37～68)和博弈论(cf.Aumann，pp.1236～1239)等领域中展开。然而，在计算机科学领域对知识进行研究的同时带来了动态方面的问题，与行动或程序(文中这两个概念等同)有关的逻辑研究属于动态逻辑领域。(cf.Harel，Kozen and Tiuryn，pp.145～190)动态认知逻辑(DEL)自然地把行动和知识结合起来(cf.van Ditmarsch，van der Hoek and Kooi，pp.1～5)，但它还不能直接地处理“知道一个行动意味着什么”这样的问题。