论文部分内容阅读
费奇悖论的形成原因是没有将证实原则和摩尔句子进行准确刻画。证实原则“真命题都是可知的”并不是指每个真命题都在当下可能被知道,而应该是指对每个真命题来说都存在一个时间点使得在这个时间点上此命题被知道。摩尔句子“p并且主体不知道p”应该是指“p并且在t时主体不知道p”。利用混合逻辑的技术可以对认知算子进行时间标记,进而可以形式化出证实原则和摩尔句子的准确思想,最终可以消解费奇悖论。