知道行动的一种一阶认知逻辑分析

摘要：

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

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

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金10ZD073

在线出版日期：2015-11-23（万方平台首次上网日期，不代表论文的发表时间）

页码：115-120