普莱尔早期的时态逻辑思想

摘要

普莱尔是时态逻辑的创始人，他认为原子命题和带有时态算子的命题都是同样的命题，原子命题只有现在时态，命题的真值随时间的不同而变化。他否定永恒的个体存在，主张充当命题逻辑主语的专名只能指称现存的对象。普莱尔用模态逻辑的方法处理时态命题，比经典逻辑更好地刻画了自然语言表达和日常推理。但是普莱尔的方法也带来了一些问题，比如说它不能命名不再存在的个体似乎有违自然语言的习惯，如何确定时间的单位也成为有争议的话题。尽管如此，时态逻辑仍然发展成内容丰富的逻辑学分支，在许多领域都有着巨大的应用价值。