【摘 要】
：
关于“现在”算子的技术分析始于坎普(H.Kamp)。他在研究“现在”算子的冗余性问题时,通过引入Jtense的概念,把真值联结词和时态算子作为一种情形进行处理,造成了证明的晦涩
【机 构】
：
清华大学人文学院哲学系,西南大学逻辑与智能研究中心
【基金项目】
：
国家社科基金重大项目(17ZDA026和14ZDB016)。
论文部分内容阅读
关于“现在”算子的技术分析始于坎普(H.Kamp)。他在研究“现在”算子的冗余性问题时,通过引入Jtense的概念,把真值联结词和时态算子作为一种情形进行处理,造成了证明的晦涩。本文利用伯吉斯(J.Burgess)证明“现在”算子的冗余性思路,重新对“现在”算子在时态命题逻辑中的冗余性定理进行证明,补充了简化公式存在性这一关键步骤的证明,并利用证明中的处理方式,来分析自然语言中的时态语句。
其他文献
崔世光作为我国具有影响力的钢琴名家之一,创作了大量经典的钢琴作品,深受教学课堂的青睐。崔世光在钢琴改编曲方面做出了卓越的成就,其中《松花江上》就是一首经典的音乐作
以小麦扬麦25为材料,分析脲甲醛复合肥配方施肥与当地常规配方施肥对小麦分蘖及产量的影响。结果表明:脲甲醛复合肥配方施肥对小麦前期分蘖表现出了促进作用,茎蘖数的增加幅
在政治课堂上开展时事教学有利于提高学生学习效率,有利于学生树立正确的价值观,有利于提高学生综合素养,有利于坚定学生社会主义信念。政治教师可以从搜集时事材料、运用时
以四川省9个采集地的野生百合为材料,测定百合鳞茎、茎秆、叶片和花的多酚、总黄酮、总黄烷醇、花色苷含量,采用清除DPPH自由基能力、铜离子还原能力、金属离子螯合能力、抑
人居环境气候舒适度评价具有重要的现实意义。本文选取清镇市1959—2019年气温、湿度、风速、日照等气象资料,利用温湿指数、风效指数、穿衣指数和舒适度指数对清镇市人居环
目的:以三七总皂苷白蛋白微球注射液(PNS-BSA-MS-inj)为研究对象,考察其稳定性。方法:通过影响因素试验(高温、冷藏、冷冻试验)和加速稳定性试验对PNS-BSA-MS-inj的稳定性进
将中国传统文化应用在美术教学中,能够提高学生的人文素养和想象力,加强对学生的德育渗透,锻炼学生的动手实践能力,促进中国传统文化的传承及弘扬。教师在美术教学中应用传统
网络思想政治教育是大学生思想政治教育转型升级的重要方向、适应时代的历史潮流、科学发展的必然趋势;易班平台建设为网络思想政治教育夯实了主要阵地、提供了强大载体、凝
现在,家长对孩子的教育越来越重视,不仅投入大量的教育资金,还有部分家长身体力行地选择陪读。目前,进城妇女的陪读现象已经很普遍。文章分析进城妇女陪读下的学生学习现状,
摘 要：基于新课标的要求，教师在英语教学中要注重开发教学资源，以帮助学生构建知识、发展技能、拓展视野、活跃思维、展现个性，不断提高学生的英语学科核心素养。文章探究开发教学资源、打造英语高效课堂的策略：应用多媒体技术、以学生为主体、运用小组合作学习模式，以此丰富英语课堂教学方法，提高英语课堂教学效率。 关键词：英语课堂;教学资源;策略;效率 中图分类号：G623.31 文献标志码：A