资源描述：
《对普莱尔初期的时态逻辑思想梳理》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、对普莱尔初期的时态逻辑思想梳理 新西兰着名逻辑学家A.N.普莱尔(ArthurN.Prior)是时态逻辑的创始人,他之所以能提出时态逻辑,在于他对命题的真值有不同于经典逻辑的看法.经典逻辑的创立者弗雷格认为,命题或句子的真值就是命题的指称,句子的涵义是思想,而思想是无时间性的,因此命题的真值不随时间的变化而变化.罗素认为,真值是命题的性质和标志,命题的真值也不能随时间而变化.现代经典逻辑关于命题真值的看法一度成为主流.但是,经典逻辑显然不能很好地处理用自然语言表达的日常推理,因为自然语言中的句子和经典逻辑中的句子或命题有很大区别.经典逻辑中的命题没有时态的标志,其真值不会受时态的
2、影响,而自然语言中的陈述句显然并非如此.普莱尔吸收了古代逻辑学家和近现代逻辑学家的一些有益的思想,用模态逻辑的方法建立了时态逻辑,其影响是深远的.本文将对普莱尔早期的时态逻辑思想进行梳理.在此需要提示读者,命题、句子和陈述在不同的逻辑学家看来有不同的含义,为了叙述的方便本文对三者不加区分. 一、关于命题的真值 经典逻辑学家认为命题的真值不能随时间而变化,导致经典逻辑不能很好地处理自然语言中的时间因素和日常推理.为了更好地刻画自然语言中的推理,逻辑学家对经典逻辑进行了补充. 罗素认为,自然语言中的句子更像命题函数而不是命题,如苏格拉底是不死的可以看作如果t是任何时间,苏格拉底在
3、t时活着[1].蒯因持有和罗素类似的观点,认为时间可以和地点、个体一样成为专名,真正的命题是包括时间因素的,命题的真假没有时间的问题. 普莱尔指出,从文艺复兴时期开始人们就有了类似上述的观点,逻辑学家不再对模态和时间因素感兴趣了.如波尔-罗亚尔逻辑认为,动词(在陈述句中)的唯一普遍的功能是表达断定,是(is)作为纯粹的动词是命题中主要的形式元素.这时的逻辑学家可能是受观念论的影响,认为命题是通过系词把两个观念连接起来的,时间因素不应进入系词,而应进入词项之中[2]104-105.普莱尔引述了哈密尔顿派的逻辑学者怀特利(Richardansel)、博文(FrancisBoasFoa
4、neyesterday转化为Heisoneformerly-honest和Heisthepersoneyesterday,普莱尔认为这种转化会带来一定的问题,假如当he指称的对象在过去那个时间之后去世了,把这样的句子转化为现在时态后,其主语就是不存在的对象[2]106,按照弗雷格或罗素的观点,这样的句子是无意义的或假的.福勒对此似乎不能给出满意的说明.文恩注意到命题真值可以随时间而变化,但他并不认为这有什么特殊的重要性,因为我们也可以和对待时间一样对待地点.约翰逊(ill)认为,我们断定的过去、现在和未来不是主语或谓语所表示的东西,而是整个句子要表示的东西.可是,这种思想在当时没有
5、引起足够的重视,没有发展出时态逻辑[2]107.凯恩斯(J.N.Keynes)认为判断(judgment)包含着对时间的指称,一个判断在一定的时间内为真,在另一些时间为假.他还引用博桑斯特(Bosanquet)的观点,在判断的时间和谓词的时间之间做出了区分.布尔在AnInvestigationoftheLama;看作X为真的时间完全包含在γ为真的时间中,他把每个命题符号看作代表该被符号化的命题为真的时间[2]108-109. 另一个值得注意的逻辑学家是皮尔士(CharlesSandersPeirce),他虽然没有提出时态逻辑,但认为时间因素应该是逻辑学感兴趣的问题.
6、 他说,没有发展到对其形式引进时态修饰的逻辑会导致极大的混淆.他还把时间和模态联系起来.皮尔士与文恩和麦科尔(HughMacColl)一样都认为两个命题之间的蕴涵关系应该被看作全称直言命题的主项和谓项之间的关系.他还进一步认为所有条件句都包含一个暗含的量化,如果没有其他的东西,就是在可能事态上的量化,可以引进时间作为这样的变量[2]112.这些思想是普莱尔时态逻辑思想的重要. 此外,斯特劳森的思想也对普莱尔有所启发. 普莱尔认为,1906年之后,形式逻辑学家对于时间相当一致地采取了凯恩斯-约翰逊-罗素(Keynes-Johnson-Russell)路线,直到斯特劳森(P.F.S
7、traent)关系是不充分的,会带来通常所说的蕴涵怪论问题[4].斯特劳森认为衍推理论必须由指称理论去补充,这里的指称是指时态以及这里、那里、他、这个、我等代词.从形式上看,斯特劳森的逻辑与罗素和文恩的逻辑并没有什么本质的不同[2]116-117. 普莱尔关于命题的真值随时态的不同而变化的思想主要于古希腊逻辑和中世纪经院哲学.他指出:古代和中世纪逻辑学家认为如下两条是理所当然的:(i)时态-差别是逻辑思考的真正主题,(ii)在一个时间为真的东西在另一个时间为假,反之
