普莱尔早期的时态逻辑思想-重庆理工大学学报.PDFVIP

重庆理工大学学报（社会科学）　　２０１４年第２８卷第７期 逻辑与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．２８Ｎｏ．７２０１４ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６７４－８４２５（ｓ）．２０１４．０７．００５ 主持人语： 中国逻辑学会会长　邹崇理 研究员 　　新西兰著名逻辑学家Ａ．Ｎ．普莱尔（ＡｒｔｈｕｒＮ．Ｐｒｉｏｒ）是时态逻辑的创始人，时态逻辑在许多领域都有 着巨大的应用价值。霍书全教授在《普莱尔早期的时态逻辑思想》一文中梳理并解读了普莱尔早期的时 态逻辑思想，有助于我们更好地了解时态逻辑与经典逻辑的不同。作为现代化教育技术的一个重要手 段，逻辑教学软件在逻辑教育过程中发挥着十分重要的作用。进入２１世纪，关于逻辑教学软件的国际性 学术研讨会召开了３次。逻辑软件的开发及在逻辑教学中的应用逐渐成为逻辑教育过程中极为重要的 一个环节。在《逻辑教学软件及其实效性研究》一文中，王湘云博士介绍了一些国际上流行的逻辑教学 软件，以及国内逻辑教学中逻辑软件的使用情况，并讨论了逻辑教学软件的实效性。 普莱尔早期的时态逻辑思想 霍书全 （安徽大学 哲学系，合肥　２３００３９） 摘要：普莱尔是时态逻辑的创始人，他认为原子命题和带有时态算子的命题都是同样的命题，原 子命题只有现在时态，命题的真值随时间的不同而变化。他否定永恒的个体存在，主张充当命 题逻辑主语的专名只能指称现存的对象。普莱尔用模态逻辑的方法处理时态命题，比经典逻辑 更好地刻画了自然语言表达和日常推理。但是普莱尔的方法也带来了一些问题，比如说它不能 命名不再存在的个体似乎有违自然语言的习惯，如何确定时间的单位也成为有争议的话题。尽 管如此，时态逻辑仍然发展成内容丰富的逻辑学分支，在许多领域都有着巨大的应用价值。 关键词：普莱尔；时态逻辑；真值；巴坎公式 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１４）０７－００２２－０６ ＡｒｔｈｕｒＮ．Ｐｒｉｏｒ’ｓＥａｒｌｙＴｈｏｕｇｈｔｏｆＴｅｎｓｅＬｏｇｉｃ ＨＵＯＳｈｕｑｕａｎ （ＰｈｉｌｏｓｏｐｈｙＤｅｐａｒｔｍｅｎｔ，ＡｎｈｕｉＵｎｉｖｅｒｓｉｔｙ，Ｈｅｆｅｉ２３００３９，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ａｓｔｈｅｆｏｕｎｄｅｒｏｆｔｅｎｓｅｌｏｇｉｃ，ＡｒｔｈｕｒＮｏｒｍａｎＰｒｉｏｒｔｈｏｕｇｈｔｔｈａｔａｔｏｍｉｃｐｒｏｐｏｓｉｔｉｏｎｓａｎｄ ｐｒｏｐｏｓｉｔｉｏｎｓｆｏｒｍｅｄｂｙｔｅｎｓｅｏｐｅｒａｔｏｒｓｆｒｏｍｐｒｏｐｏｓｉｔｉｏｎｓａｒｅａｌｌｐｒｏｐｏｓｉｔｉｏｎｓ，ａｔｏｍｉｃｐｒｏｐｏｓｉｔｉｏｎｓａｒｅ ｏｎｌｙｉｎｔｈｅｐｒｅｓｅｎｔｔｅｎｓｅ，ａｎｄｔｈｅｔｒｕｔｈｏｆｐｒｏｐｏｓｉｔｉｏｎｓｗｉｌｌｃｈａｎｇｅａｃｃｏｒｄｉｎｇｔｏｔｈｅｃｈａｎｇｅｏｆｔｈｅｉｒ ｔｅｎｓｅｓ．Ｈｅｄｅｎｉｅｄｓｅｍｐｉｔｅｒｎａｌｉｎｄｉｖｉｄｕａｌｓ，ａｎｄａｄｖｏｃａｔｅｄｔｈｅｖｉｅｗｔｈａｔｗｅｃａｎｎｏｔｐｒｏｐｅｒｌｙｎａｍｅｏｂ ｊｅｃｔｓｗｈｉｃｈｃｅａｓｅｄｔｏｅｘｉｓｔ．Ｐｒｉｏｒｈａｎｄｌｅｄｔｅｎｓｅｐｒｏｐｏｓｉｔｉｏｎｓｗｉｔｈｔｈｅａｐｐｒｏａｃｈｏｆｏｒｄｉｎａｒｙｍｏｄａｌｌｏｇ ｉｃ，ａｎｄｈｉｓｔｅｎｓｅｌｏｇｉｃｄｅｐｉｃｔｓｎａｔｕｒａｌｌａｎｇｕａｇｅａｎｄｅｖｅｒｙｄａｙｉｎｆｅｒｅｎｃｅｓｍｕｃｈｂｅｔｔｅｒｔｈａｎｃｌａｓｓｉｃａｌ 　　收稿日期：２０１４－０３－０３ 基金项目：国家社会科学基金“混合时态逻辑及其多模态推广的相关问题研究”（１３ＢＺＸ０６３）。 作者简介：霍书全（１９６７—），男，河南项城人，教授，哲学博士，研究方向：逻辑学、语言哲学。 引用格式：霍书全．普莱尔早期的时态逻辑思想［Ｊ］．重庆理工大学学报：社会科学，２０１４（７）：２２－２７． Ｃｉｔａｔｉｏｎｆｏｒｍａ