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

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