超赋值与复合命题的语义预设

按传统观点,如果一个命题的预设为假,则该命题无意义。但从超赋值的观点看,它表明某些赋值使它为真,某些赋值使它为假,即命题可真可假。若超赋值可以指派真值,则可以进一步研究各复合命题的真值情况。

基于超赋值理论的模糊位置描述形式化与推理机制

基于位置描述进行空间定位是大数据时代位置服务向智能化转型的关键。针对不同语境中位置描述模糊性差异显著而难以定位的问题,本文提出一种面向模糊位置描述的形式化方法与推理机制。首先,通过梳理人类空间认知规律,明确自然语言中位置描述时关注的要素类型,研究模糊位置描述的形式化表示。然后,基于超赋值理论,从空间对象、距离关系和方向关系3个方面构建模糊位置描述的推理机制。顾及位置描述的上下文语义,利用观察值阈值开展空间推理实现定位。最后,设计收集位置描述的问答系统对方法进行验证。结果表明,本文方法能够依据实际应用场景及时调整位置描述的形式化表示粒度,空间推理结果贴合直观认知。

超赋值与悖论度

克里普克在利用超赋值模式对真谓词进行构造时,使用了含糊谓词精确化的技术过程,但这种精确化一直缺少一个通过取舍点来分割语句的模型,这使得这种精确化在哲学上站不住脚。通过借助悖论度的概念,建立真谓词论域中的悖论语句这类特殊的边界情形中的偏序关系,从而给出了以悖论度作为取舍点来分割语句的精确化模型,为真谓词的超赋值构造提供了哲学上的辩护。

内涵与外延之辩:基于含糊性语义解释演进的分析

在含糊性问题研究领域,多值语义解释和超赋值语义解释是两个经典的研究进路。相较多值语义中的经典三值解释和基于概率赋值的模糊逻辑解释,范启德(1975)给出的超赋值语义由于引入了基于可能世界语义的可精确化结构,具有更强的表达力,能够弥补三值和模糊逻辑处理的很多不足。距离超赋值语义发表40余年后,秋叶研(2017)给出了同样满足可精确化结构条件的一个布尔多值解释。由于超赋值语义一直被当作典型的内涵语义处理方式,而在含糊性问题研究领域,布尔多值方法却在大多数时候被认为是模糊逻辑这个基于概率处理的典型的外延语义的复杂版本,内涵语义与外延语义的殊途同归,非常值得仔细思考和探究。本文将结合含糊性问题研究领域的多值语义解释和超赋值语义解释的演进过程,以内涵语义和外延语义的区分为切入点,最终指出,(当下主流定义下的)内涵语义与外延语义的界限是模糊的,而在原有界定基础上,对内涵语义增加“内涵语义要可以表达非线序的偏序结构”这一限制,能够进一步对内涵语义和外延语义进行区分。

三值量子逻辑进路探析

量子测量实验显示部分经典逻辑规则在量子世界中失效。标准量子逻辑进路通过特有的希尔伯特空间的格运算揭示出一种内在于微观物理学理论的概念框架结构,也即量子力学测量命题的正交补模或弱模格,解释了经典分配律的失效,它在形式化方面十分完美,但在解释方面产生了一些概念混乱。在标准量子逻辑进路之外,赖欣巴赫通过引入"不确定"的第三真值独立地提出一种不同的量子逻辑模型来解释量子实在的特征,不是分配律而是排中律失效,但是他的三值量子逻辑由于缺乏标准量子逻辑的上述优点而被认为与量子力学的概率空间所要求的潜在逻辑有很少联系。本文尝试引入一种新的三值逻辑模型来说明量子实在,它有以下优点:(1)满足卢卡西维茨创立三值逻辑的最初语义学假定;(2)克服赖欣巴赫三值量子逻辑的缺陷;(3)澄清标准量子逻辑遭遇的概念混乱;(4)充分地保留经典逻辑规则,特别是标准量子逻辑主张放弃的分配律。

关于存在预设失效的语义学探究

存在预设在经典逻辑中有着重要的地位。存在预设失效了的逻辑系统就会成为一种自由逻辑系统,不得不面对空名与真值间隙问题。本文基于这些自由逻辑系统讨论了如何为存在预设失效提供一个合适的语义解释:首先通过语义预设的概念来定义存在预设、将真值间隙定义为二值原则失效,而后比较了为真值间隙赋值的不同方案,最终在虚构主义的立场上指出,超赋值语义学在把空名看作虚构对象名称的同时保留了逻辑真,是较为理想的语义解释。

容差性、连锁悖论与模糊性理论

连锁悖论是一种与模糊性谓词有关的悖论。一个关于模糊性谓词的精确理论通常也蕴涵着对连锁悖论的解。但是,如果从连锁悖论的消解出发,却并不需要一个完整的模糊性理论。只需对模糊性谓词的容差性(容忍小幅变化)进行较为充分的阐释,即可说明连锁悖论中的条件前提(或归纳前提)何以为假:该前提并不是对模糊性谓词的容差性的正确刻画。从模糊性谓词的容差性的角度考虑,可以得到对超赋值论的一种新辩护。因为与认知主义和多值逻辑相比,超赋值论在保留模糊性谓词的容差性方面更有优势。