模态语境下的指称暧昧问题及其解决

词项的指称在模态语境下会发生游移,蒯因称之为"指称暧昧",具体表现为模态命题中会出现单独词项同一替换原理失效和表达式量化存在概括原则失效,并认为模态逻辑无法解决该问题,因此质疑其合法性.蒯因把指称暧昧视作无解难题,源于其秉承的经典外延主义逻辑观,只要对这种逻辑观进行有限发展,引入可能世界语义学及其哲学解释,就可以准确刻画模态语境下的词项指称,从而无矛盾地解决指称暧昧问题.     

析克里普克解悖方案

克里普克<真理论纲要>一文批评了塔斯基的经典解悖方案,提出了解决悸论的新方案,在语义悖论乃至整个悖论研究中产生了重要影响.通过剖析克里普克解悖方案的3个核心概念--"真值间隙"、"有根性"、"固定点",有助于我们深入探讨悖论语句的特点.通过与塔斯基经典方案的比较,可以发现克里普克解悖方案在技术上和直观上的优点.     

从历史因果的名称理论看先秦儒家名学思想

先秦名学注重从“名实关系”出发系统地考察名,因此可以将其看作一种意义理论,进而可以从逻辑哲学的角度加以解读。历史因果的名称理论是逻辑哲学中一种重要的名称理论,以其为参照系来分析先秦儒家的两位代表人物孔子和苟子对名称的社会历史性的论述,可以对先秦名学研究做一番新的解读。     

基于控制流信息的克里普克结构生成方法

恶意程序检测是信息安全技术研究的重要内容,基于程序行为特征的检测可以弥补二进制特征码检测方法的很多不足。使用模型检验技术可以对程序的操作行为做属性验证,它需要对目标程序进行建模,得到一个符合克里普克结构的迁移系统。通过对模型检验技术和克里普克结构的研究分析,提出了一种以完整控制流信息为基础、采用贪婪归一策略的克里普克迁移系统生成方法。测试分析表明,利用该方法生成的迁移系统可以完整地描述控制流信息,也可以精确地刻画系统状态的改变。