【摘 要】
：
普莱尔是时态逻辑的创始人,在形式化时态命题时注意到一些时态词,如“现在”(now)、“那时”(then)、“以前”(ago)、“当前”(present)等,具有表面上的自我中心性。他认为这
【基金项目】
：
国家社会科学基金项目“混合时态逻辑及其多模态推广的相关问题研究”(13BZX063)
论文部分内容阅读
普莱尔是时态逻辑的创始人,在形式化时态命题时注意到一些时态词,如“现在”(now)、“那时”(then)、“以前”(ago)、“当前”(present)等,具有表面上的自我中心性。他认为这种自我中心性是假的,是可以消除的,这为时态逻辑的形式化清理了障碍。从“自我中心的”时间语词和“真的”的比较说明“自我中心性”是虚假的,时间词语也是可以省略的。普莱尔这一观点根源于他一贯的主张:命题真值可以随时间而变化,A时间序列比B时间序列更为根本。这也是他所认为的时态逻辑合法性的基础。
其他文献
在我国经济的不断发展下,公路桥梁工程的建设数量也越来越多。随之而来的,各种施工问题也越来越多,为了保证工程的施工质量,就需要做好工程的施工管理。基于此,本文对市政路
本文结合我国当前铁路发展的情况，分析我国铁道改扩建过程中接触网的施工技术，分别从铁路区间换边处的施工、车站改造时铁路接触网的施工、原有接触网线材的更换施工三个方面介
《了不起的盖茨比》是美国现代伟大的小说家弗·司各特·菲茨杰拉德(F.Scott Fitzgerald)最优秀的作品,它描绘了一幅20世纪20年代的美国众生相。本论文尝试用原型理论,从人物
目的：观察二甲双胍联合甲硝唑治疗老年2型糖尿病合并牙周炎对患者血糖代谢水平的影响。方法：选取2016年5月～2017年5月我院收治确诊为2型糖尿病合并牙周炎老年患者217例,给予口服