【摘 要】
：
普莱尔较早较系统地创立了时态逻辑。蒯因认为模态逻辑的产生面临三个等级的牵涉,但是这并没有阻碍普莱尔构建时态逻辑。普莱尔出于哲学的和技术的考虑在时态逻辑的基础上进
【基金项目】
：
国家社科基金项目(13&BZX063)
论文部分内容阅读
普莱尔较早较系统地创立了时态逻辑。蒯因认为模态逻辑的产生面临三个等级的牵涉,但是这并没有阻碍普莱尔构建时态逻辑。普莱尔出于哲学的和技术的考虑在时态逻辑的基础上进一步建立了混合时态逻辑。混合时态逻辑在人文和计算机科学中有着重要的应用,但它又引起了进一步的牵涉,普莱尔对此没有给出充分的说明,本文将追寻普莱尔提出混合时态逻辑的过程并对其合理性进行论述。笔者认为逻辑牵涉是形式化方法必然会带来的问题,但是多半是可以化解的。
其他文献
近代德国教学以科学至上的文化传统曾一度使其成为世界的科学中心，由科学达至修养，应是其教学价值取向的精炼概述。本文以大学教学学术为切入点，回顾和评析近代德国大学教学价值
文章在实证基础上，通过对比分析互动式教学与传统的课堂教学的异同及其基本特征，表明互动式教学在提高学生语言习得能力中所起的作用。实验发现在互动式课堂中信息差的设置可以
和谐政治就是政治系统诸要素之间以及政治系统与外在环境之间关系的平衡、协调的状态和过程。构建社会主义和谐社会内在地要求建设和谐的政治。和谐政治在构建社会主义和谐社
论述了用ＰＷＭ供电进的直流电动机暂态过程的特性，用计算机数值计算和实验证明：ＰＷＭ供电的电机暂态过程的特性依然由电路时间常数和机电时间常数决定，若保持电枢电路电压平均值不变，改变ＰＷＭ的
在证成逻辑的研究中,加号所扮演的角色总是需要特别加以说明.在这篇文章中我们将厘清加号的功能,并提出一个新的证成逻辑系统,在此系统中加号将被解释为较符合直觉的证成集的
本文试图论证两个论点：一、放弃斯托内克对条件句概率的主张不应该是解决平凡性结果的唯一办法；二、“必输赌注契约论证”并不构成一个支持经典概率理论的充分理由。自刘易斯提
杨衒之在《洛阳伽蓝记》里,心念旧都,悲怆往昔,以状记佛寺警醒时局,记叙历史。作者虽有排佛之迹,然而其书中对佛教灵异事件详加描述,无不流露出他对佛教某种神秘力量的肯定,
维持性血液透析（Maintenance hemodialysis MHD）患者中心血管疾病的病死率较普通人群高10～20倍[1],是威胁患者生存质量和预后的重要因素。为此我们在2010年1月至2010年6月,观察
为提高城市道路系统的安全、经济和环保功效，采用协调性理论对城市道路系统进行协调性分析非常必要。运用人一机一环境系统工程理论和系统学科的理论和方法，对城市道路交通系统