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

• 作者: 霍书全
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 普莱尔 时态逻辑 真值 巴坎公式
• 年，卷（期）: 2014,（7）
• 所属期刊栏目: 逻辑与科学方法论主持人:中国逻辑学会会长 邹崇理 研究员
• 页码范围: 22-27
• 页数: 6页
• 分类号: B81
• 字数: 6959字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2014.07.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	霍书全	安徽大学哲学系	21	21	3.0	4.0