关于“现在”算子冗余性的一个注记

A Note on the Redundancy of“Now”Operator

关于“现在”算子的技术分析始于坎普(H.Kamp)。他在研究“现在”算子的冗余性问题时,通过引入■-tense的概念,把真值联结词和时态算子作为一种情形进行处理,造成了证明的晦涩。本文利用伯吉斯(J.Burgess)证明“现在”算子的冗余性思路,重新对“现在”算子在时态命题逻辑中的冗余性定理进行证明,补充了简化公式存在性这一关键步骤的证明,并利用证明中的处理方式,来分析自然语言中的时态语句。

The technical analysis of the“now”operator originated from Hans Kamp.When Kamp researched the redundancy problem,he introduced the concept of ■-tense,which makes the proof cramped.This paper proves that the“now”operator is redundant in the temporal propositional logic following John P.Burgess’s idea,and provide the proof of the existence of reduced formulas,which is an essential step.And we use the method in the proof to analyze the tense sentences in natural language.