《可能世界的名字》述评CSSCI

刘新文,祝瑞,可能世界的名字,2017年,北京:中国社会科学出版社混合逻辑(hybrid logic)是模态逻辑中一个十分活跃的分支,它为模态逻辑的许多经典结论都提供了良好的改进方法。混合逻辑的基本观点,即“对命题变元分类”和“词项用作公式”,来自于上世纪六十年代的逻辑学家普莱尔(A.Prior)在时态逻辑领域中所做的工作。     

意外考试悖论的普莱尔刻画

20世纪著名哲学家、逻辑学家A.N.普莱尔(A. N. Prior)在其遗作中对意外考试悖论给出了一种新的形式刻画。这种刻画同卡普兰与蒙塔古的经典刻画之间的差异在于,后者依赖于一个复杂的自指句,而前者依赖于若干个非自指简单句的合取,并明显诉诸时间因素。因此,卡普兰与蒙塔古的推导必须在可表达自指的形式算术中进行,而普莱尔的推导则只需一阶逻辑框架。普莱尔刻画的独特价值在于,一是表明了意外考试悖论可以建构为非自指悖论,二是表明该悖论与知道者悖论虽有紧密联系,但具有本质差异,需要进行独立研究。