【摘 要】
：
普莱尔是时态逻辑的创始人,他认为原子命题和带有时态算子的命题都是同样的命题,原子命题只有现在时态,命题的真值随时间的不同而变化。他否定永恒的个体存在,主张充当命题逻
【基金项目】
：
国家社会科学基金“混合时态逻辑及其多模态推广的相关问题研究”(13BZX063)
论文部分内容阅读
普莱尔是时态逻辑的创始人,他认为原子命题和带有时态算子的命题都是同样的命题,原子命题只有现在时态,命题的真值随时间的不同而变化。他否定永恒的个体存在,主张充当命题逻辑主语的专名只能指称现存的对象。普莱尔用模态逻辑的方法处理时态命题,比经典逻辑更好地刻画了自然语言表达和日常推理。但是普莱尔的方法也带来了一些问题,比如说它不能命名不再存在的个体似乎有违自然语言的习惯,如何确定时间的单位也成为有争议的话题。尽管如此,时态逻辑仍然发展成内容丰富的逻辑学分支,在许多领域都有着巨大的应用价值。
其他文献
<正>"如今的城市新区已有了很大的改变,一座座高楼拔地而起,城市道路宽敞通畅,学校、广场、车站、公厕等基础设施逐步完善……"近日,綦江区市民刘平告诉笔者,城市新区的变化
锥栗(Castanea henryi Rehd&Wils.)，属山毛榉科栗属植物，营养价值高，是福建北部特有产品和天然绿色食品。由于花期授粉不良和花期营养不良，常导致锥栗空棚。锥栗花序的生长发育状
【正】四川省甘孜州康定县档案馆所藏历史档案有3个全宗,314卷。起止年代从康熙三十九年至1949年。主要有三部分: 一、藏文档案89卷。包括康熙三十九年制定的关于土司、官员
[目的]探讨不同蒸制时间的首乌对鼠肠蠕动的影响.[方法]采用肠道炭末推进法分析不同蒸制时间首乌对小鼠排便次数、小肠墨汁推进率和大鼠结肠墨汁推进率的影响.[结果]生首乌组
"网络安全"上升为国家安全战略,网络安全效益放大。网络作为犯罪对象,嵌入公共安全的新时代含义;网络空间作为"第五空间",整体上体现一国对网域的控制权,当网络空间这一最新"
在企业业务外包风险事件分析的基础上,通过利用风险矩阵的方法对业务外包风险及风险事件子风险进行量化评估,从而为外包决策提供依据以及便于外包过程中对风险进行有针对性的
[背景]观察白细胞单采术治疗高白细胞白血病的疗效.[病例报告]于化学治疗前给6例高白细胞白血病患者实施白细胞单采治疗,其中5例临床症状有不同程度的缓解,肝脾缩小,外周血白
无权仲裁在谱系类型上应当包括因管辖机构和裁决事项两类原因而导致的四种情形,我国现行立法仅对其中三种无权仲裁之情形提供司法救济,对非属当事人约定的仲裁机构擅管双方争
十九大报告中提出产业兴旺、生态宜居、乡风文明、治理有效、生活富裕的总要求。随着"休闲"一词走进我们的生活,无论是从必要性还是重要性来说,发展农村休闲农业是符合时代潮
在分析我国当前餐厨垃圾现状及问题的基础上,指出餐厨垃圾具有很大的利用价值,构建了市场机制下的餐厨垃圾回收处理模式,同时提出了相应的餐厨垃圾回收管理对策。