费奇悖论的混合时态认知逻辑分析

逻辑学研究 2020 年第 5 期， 01–10         文章编号： 1674-3202(2020)-05-00001-10

作者：张玉志

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

关键词： 费奇悖论；可知性悖论；摩尔公式；混合逻辑

中图分类号： B81              文献标识码： A