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

摘要：

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

关键词：普莱尔、时态逻辑、真值、巴坎公式

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金“混合时态逻辑及其多模态推广的相关问题研究”13BZX063。

在线出版日期：2014-08-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：22-27