存在问题的逻辑语言维度

存在问题在分析哲学的背景下取得了深入细致的研究成果。在“何谓存在”问题上,围绕“存在”是不是个体的属性从而是不是逻辑谓词的争论呈现出三派观点:弗雷格、罗素等从一阶逻辑出发,认为“存在”不是逻辑谓词,而是量词;皮尔士、斯特劳森等结合精致的自然语言分析,认为“存在”在某些特殊情况下表达了个体的属性,是一种特殊的谓词;自由逻辑学家则从自由逻辑的角度给出了肯定的答案。在“何物存在”问题上,蒯因“存在就是约束变项的值”的本体论承诺标准机智地揭示了存在问题的语言学实质。可以说,利用一阶逻辑解释存在问题的方法是比较成功的。如果将弗雷格、罗素的一阶语言扩展到高阶语言,则既能与蒯因的理论连贯一致,又能避免无谓的“存在”本体论纷争。这种做法的结果是“存在”具有了层次性的特征。掌握一定的逻辑学基础知识,有助于我们深入研究西方哲学。     

关于语境的一个逻辑模型

本文从对一元价值谓词“好”、“坏”和二元价值谓词“更好”之间的关系出发,首先回顾了偏好逻辑中用二元价值谓词定义一元谓词的各种方案。然后,文章介绍了vanBenthem利用语境从一元谓词定义二元谓词的工作。文章着重分析了在这一背景下语境的概念和性质,并提出了两种逻辑的方法刻画语境。本文重点给出了语境的模态语言、语义模型,并对涉及语境变化的三条有效规则进行了深入讨论。     

《逻辑哲学论》思想结构之谜——从“语言的球(囚)笼”到“诸对象的逻辑建筑学”

《逻辑哲学论》(Tractatus logico-philosophicus,1921,以下简称TLP,引用时只标明节数)是维特根斯坦生前唯一公开出版的专著,也是20世纪的哲学经典。关于该书的研究文献可谓汗牛充栋,然     

类型逻辑语法竖线算子的推广

逻辑和自然语言是两个不同的符号系统:逻辑抽象严格,自然语言生动丰富;逻辑和自然语言是密切相关的,逻辑的精确化特性对分析自然语言的句法语义问题来说具有方法论的作用。在这个视角下出现了下述研究模式:(1)基于自然语言自身的句法构造来考察自然语言的语义问题;(2)用基本属于逻辑的方式来表现自然语言的语义规律。如对汉语句所有人是会死的,第二种模式对此抽象成逻辑公式(H→D),而第一种模式则基于该汉语句的句法生成,并行推演出其语义表达所有(人,会死的)。本栏目三篇文章前两篇属于第一种模式,第三篇是第二种模式。     

类型逻辑语法的词汇主义思想

类型逻辑语法(Type Logical Grammar)是经典范畴语法(Basic Categorial Grammar)的一个现代版本,是范畴语法与类型逻辑语义学联姻的产物。利用加贝(D.Gabbay)[1]给出的加标演绎表述,类型逻辑语法实现了句法生成和语义组合的并行推演,句法生成基于Lambek演算提供的范畴运算,而语义组