【摘 要】
：
普莱尔是时态逻辑的创始人,在形式化时态命题时注意到一些时态词,如“现在”(now)、“那时”(then)、“以前”(ago)、“当前”(present)等,具有表面上的自我中心性。他认为这
【基金项目】
：
国家社会科学基金项目“混合时态逻辑及其多模态推广的相关问题研究”(13BZX063)
论文部分内容阅读
普莱尔是时态逻辑的创始人,在形式化时态命题时注意到一些时态词,如“现在”(now)、“那时”(then)、“以前”(ago)、“当前”(present)等,具有表面上的自我中心性。他认为这种自我中心性是假的,是可以消除的,这为时态逻辑的形式化清理了障碍。从“自我中心的”时间语词和“真的”的比较说明“自我中心性”是虚假的,时间词语也是可以省略的。普莱尔这一观点根源于他一贯的主张:命题真值可以随时间而变化,A时间序列比B时间序列更为根本。这也是他所认为的时态逻辑合法性的基础。
其他文献
本文论述实行城市照明节能减排的必要性,通过三明市城市照明改造前后的对比情况,分析其实行节能减排的经济效益以及社会效益,以三明市为例,为更多城市建设改造照明灯提供参考
在我国经济的不断发展下,公路桥梁工程的建设数量也越来越多。随之而来的,各种施工问题也越来越多,为了保证工程的施工质量,就需要做好工程的施工管理。基于此,本文对市政路
建筑最初是人们为了抵御自然环境的影响而出现的,其主要功能就是为人们提供一个安全舒适的生活环境。随着时代的发展,人们对于建筑的功能有了各种各样的新要求,但这些要求都
本文结合我国当前铁路发展的情况，分析我国铁道改扩建过程中接触网的施工技术，分别从铁路区间换边处的施工、车站改造时铁路接触网的施工、原有接触网线材的更换施工三个方面介
本文介绍了旧沥青路面水泥冷再生底基层施工工艺的优点和现场冷再生施工技术和工艺流程，以共同探讨该工艺的发展，达到提高道路的经济效益。
本文指出了基于区域的图像信息隐藏算法的不足。从提高信息隐藏容量的角度出发,采用随机置换待隐藏信息、随机选取隐藏位置的方法对基于区域的算法进行了改进。
本文主要分析地下室渗漏原因，并提出渗漏处理技术，经实际验证，效果显著。
《了不起的盖茨比》是美国现代伟大的小说家弗·司各特·菲茨杰拉德(F.Scott Fitzgerald)最优秀的作品,它描绘了一幅20世纪20年代的美国众生相。本论文尝试用原型理论,从人物
目的观察护理干预对脑栓塞后抑郁患者神经功能康复的影响。方法将2016年1月至2017年1月我院收治的脑栓塞后抑郁患者62例,分为两组,对照组实施常规护理,研究组则强化对患者的
目的：观察二甲双胍联合甲硝唑治疗老年2型糖尿病合并牙周炎对患者血糖代谢水平的影响。方法：选取2016年5月～2017年5月我院收治确诊为2型糖尿病合并牙周炎老年患者217例,给予口服