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

作　　者：郭佳宏[1] 邹崇理[2] 

机构地区：[1]北京师范大学哲学学院 [2]中国社会科学院哲学所

出　　处：《哲学研究》2015年第10期115-120,共6页Philosophical Research

基　　金：国家社科基金重大项目"自然语言信息处理的逻辑语义学研究"(编号10ZD073)的阶段性成果

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

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

分 类 号：B81[哲学宗教—逻辑学]