隐喻的概念层表达式“X BE Y”研究

隐喻,是使用"是"、"成"等词把某事物比拟成同其有相似关系的另一事物的一种修辞表达。隐喻总是显性或隐性地包含着概念层表达式"X BE Y";其中,X和Y分属两个不同范畴。表达式"X BE Y"成为隐喻概念层表达式有两个主要理据:谓词BE能够进行外延—内涵性双重逻辑解读①,保证了表达式"X BE Y"既可在表面上利用Y的外延对X进行述说又可利用Y的内涵属性对X进行述说;其识解依赖人类常规关系认知范式,这种常规关系或知识结合语境限制因素解决了"X BE Y"中喻体Y部分属性的提取问题。

一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。

论内涵逻辑的发展及其限度

外延主义一直是逻辑发展的一个重要方向,即逻辑要求摆脱内涵的束缚,走外延的形式化之路。然而现代模态逻辑的出现,揭示了外延主义逻辑的局限性,宣布了构建内涵逻辑的可行性,但外延主义处理不了模态词,因此只能求助于内涵的分析。与外延逻辑追求的有效性不同,内涵逻辑追求的是恰当性,追求恰当性是内涵逻辑发展的直接动力。然而传统内涵逻辑也面临替换失效性问题,因为内涵逻辑本身也过于追求形式化,忽视了对语境的要求。目前看来,语境要素可能是突破内涵逻辑限度的可行性方案之一。

组合逻辑中的抽象运算Ⅱ

本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用另外两个弱外延规则以代替（ξ＿ｃ）的角色，再研究相应的问题。

情境语义学对外延模型论和可能世界语义学的批判

情境语义学(situationsemantics)是20世纪80年代诞生的一种新的语义理论。情境语义学产生的最根本原因在于对既有逻辑语义研究的不满。巴威斯等对外延模型论语义学和可能世界语义学的批判,揭示了既有逻辑语义研究的不足,促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。

传统直言命题的制的逻辑剖析(英文)

传统直言命题A、E、I、O作为“命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而至今还存在种种逻辑理论上的问题．我们根据主词S外延的不同将传统直言命题二分为外延命题和内涵命题两大类．当直言命题的主词S的外延是可进一列举的有限集时为外延命题．与A、E、I、O相对应的外延命题依次为：P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)∨P(e2)∨…∨P(ei)∨…∨P(em)，P(e,)∨P(e2)∨…∨P(ei)∨…∨P(em)．当主词S的外延是无限集、不可进一列举的有限集或空集时为内涵命题．与A、E、I、O相对应的内涵命题依次为：S（x）P（x）、S（x）P（x）、S（x）！P（x）、S（x）！P（x）．已经验证了，四种外延命题和主调可空而不自相矛盾的四种内涵命题全都满足传统的推理格式．

分布式实时系统设计的一种扩展方法

介绍了分布式实时系统设计的一种扩展方法。在转化设计的基础上 ,支持系统的扩展及系统规范的改变。新的系统需求规范使用轨迹逻辑 ( Trace logic)描述系统轨迹 ,用 DCI( Durationcalculus implementable)描述其对时间的要求 ,在原有的系统设计规范的基础上应用一组标准的扩展规则得到新的设计规范。系统设计的正确性可由扩展过程本身得以保证。

一种基于扩展不完全Kripke结构的三值逻辑模型检测方法

多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法。与已有的三值逻辑模型检测算法相比,该算法降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性。

组合逻辑形式系统CLξ_w的外延性

考虑组合逻辑形式系统CLξw的外延性问题.由于在标准转换的意义下形式系统CLξw弱于形式系统λβ和λβη,因此采用三种方式对形式系统CLξw进行外延,前两种使之与形式系统λβ等价,后一种与形式系统λβη等价.作为推论,笔者亦证明了前两种外延系统是定理等价的.

外延语句与部分内涵语句的逻辑语义新构造

在蒙太格的方案中,利用了意义公设对外延语句与内涵语句进行了区分,这种做法不免显得繁琐。通过利用存在谓词和可能算子,对外延语句中的外延动词和内涵语句中的宾语对象直接进行逻辑语义处理,是在蒙太格语法的基础上进行的发展。该方案一方面简化了逻辑语义的翻译过程,另一方面体现出了外延语句和内涵语句的一个基础直觉,即外延语句宾语对象为实存对象,内涵语句对象既可为实存对象也可为虚构对象。

德国古典哲学外延逻辑批判的总线索

以三段论为基本模型的形式逻辑推理被指认存在着两项弊端,一是默认大前提中的知识内容先天为真,二是默认从前提到结论的推理形式先天为真。在通常的见解中,人们习惯于分别指出这两者的存在,但并不探讨两者的内在联系,仿佛它们是漠不相关的两个方面。与这种看法相反,我们强调将两项弊端看作同一弊端———脱离内容而进行推理的弊端———的重要性,因为只有这样,才能抓住德国古典哲学逻辑学改造的根本线索。近代哲学创始人与德国古典哲学家进行外延逻辑批判的路径既有差异,又是进入这一线索的钥匙:培根和笛卡尔"绕过"对形式逻辑同一律的反省,单纯进行形式推理大前提批判;从康德到黑格尔则"围绕"形式逻辑同一律,通过引入推理前提内容的产生及真理性考察来实现对两项弊端的共同批判。具体来说,康德的批判途径是在传统逻辑与先验逻辑之间"划界",费希特和谢林是以"自我=自我"扬弃"A=A",黑格尔是以"具体的同一"扬弃"抽象的同一"。培、笛二人与德国哲学家的最终目的一致,即为科学奠基,说明和寻找知识的创生源泉;路径则是不同的,只有后者才更为准确地达到了目的地,进而为马克思《资本论》的创作奠定了逻辑基础。

胡塞尔对弗雷格外延主义数论的批判

西方arithmetic的本义和实质是数论(number theory),因为arithmetic奠基于数的内涵与本质。在把握数概念和把握为数学奠基的逻辑时,内涵主义与外延主义表现为两种不同的理性方式。胡塞尔从内涵把握的立场认为,弗雷格的外延主义数论和逻辑不能把握内涵意义本身,也不能为数学和科学奠基。