评《语言的现代逻辑-哲学分析》

自然语言的逻辑-哲学分析,在现代逻辑、方法论和科学哲学中占有中心地位。P.帕维辽尼斯的专著《语言的现代逻辑-哲学分析》(莫斯科《思想》出版社1983)告诉了这一问题的范围,阐述了在哲学、逻辑学和语言学的交叉点上产生的、旨在研究自然语言的语义问题的当代理论的批评性研究成果,同时说明和论证了解决自然语言语义问题的新方法。在逻辑学、语言学和语义学方面的基础研究发展过程中     

组合原则

组合原则是逻辑语义学的基本原则,表现为函项的思想和句法与语义的对应。就构造逻辑系统而言,组合原则是一种方法论。作为延伸到自然语言形式语义学的产物,组合原则起到一种核心灵魂的作用。组合原则在理论层面和应用领域皆获得一些有价值的结果。自然语言违反组合原则的实例主要表现为歧义现象、语用因素和句法与语义不对应的情况,这正是调整组合原则的适用条件从而促进形式语义学发展的契机。     

自然语言逻辑的新尝试──语旨逻辑

自然语言逻辑的新尝试──语旨逻辑弓肇祥现代逻辑在很大程度上朝自然语言方向发展。这从本世纪７０年代初就已成为明显的事实。逻辑向自然语言方向发展的第一项重大成果是蒙塔古的形式语法。它是７０年代初由美国逻辑学家理查德·蒙塔古（ＲｉｃｈａｒｄＭｏｎｔａｇｕｅ）提出的,其目的是为自然语言确定模型论语义学。从方法论上看,蒙塔古最重要的观点是：语言理论的根本任务是为语义理论提供必要的框架。在此框架中,复合表达式的解释不仅依赖于对它的构成部分的解释,而且依赖于对它的语法分析。语法分析告诉我们;构成给定表达式的子表达式是什么,据以形成该表达式的规则是什么,并且以怎样的次序合成该表达式。因此,在这个意义上,语义理论就预先假定了某种语法理论。在蒙塔古那里所需要的语法是范畴语法。人们都承认,蒙塔古语法是经典的模型论语义学最发展和最详细的自然语言语义理论。８０年代中期,在自然语言逻辑研究方向上,又出现了两部有影响的著作。这就是巴威斯（Ｊ·Ｂａｒｗｉｓｅ）和佩里（Ｊ·Ｐｅｒｒｙ）的《境况与态度》（１９８３）;塞尔（Ｊ．Ｒ．Ｓｅａｒｌｅ）和范德维肯（Ｄ·Ｖａｎｄｅｒｖｅｋｅｎ）的《语旨逻辑基础》（１９８５）。前一部著作奠定了境况语义学的     

动词体的球态语义学

本文介绍由塔斯基的立体几何导出的球态语义学,并将其应用于自然语言中的动词体现象。球态语义学特别适合应用于英语的进行体。这种方法有以下优点（i）它扩展了区间式语义,并同时避免了其缺陷,（ii）它解决了未完成体难题,（iii）它的解决方法无需诉诸最终结果策略。逻辑方法一般被认为难于处理自然语言的动词体问题。基于点的时间结构以及建立在该结构之上的经典普莱尔时态逻辑（[18]）太弱了。而基于区间的时态语义则缺乏足够的表达力,并且难以解释进行体（[4,8]）.本文给出一种新的基于球上整体－部分关系概念的模型和时态语义。这种球态语义学建基于塔斯基1927年引入的立体几何之上。与基于点和基于区间的语义不同,在球态语义学中很多动词体区分都由统一的逻辑方法刻画。在一个由封闭球构成的论域中,可达关系由相切性概念给出。相应地,我们可定义外切、内切、外径、内径以及同心等基本概念。与区间式语义不同,球是论域的初始概念,球态语义学不是在时间段而是在球中对事件赋值。因此,仅将时间区间作为初始概念而不承认其端点初性性的问题不复存在。英语中的进行体由球上的连续行动来刻画。行动是非终止的,只要球没有由外切相离。相应地,外切相离刻车动作完成。我们区分在均匀球和非均匀球中发生事件的整体-部分关系。非持续动作视为直径为零的同心球。球态语义学根据动作或执行完成的时刻来定义时间概念,其中不需要时间端点的概念。在保持与基于区间的时间模型类似的基础上,球态语义学暗示了一种关于可能世界的定性概念,并且它有利于解决时间的循环概念问题。     

从代词照应关系的角度看DRT

话语表现理论(Discourse Representation Theory,简称DRT)是20世纪80年代初由荷兰逻辑学家坎普(Hans Kamp)开创的一种动态语义学理论。DRT是一种关于自然语言的语义观,它的产生源于蒙塔古语法及其语义观。在对自然语义的解释中,格赖斯(Grice)等关联理论研究者都将常规意义从语用     

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

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

20世纪语言逻辑的发展:世界与中国

语言逻辑(The Logic of Language)又叫自然语言的逻辑(The Logic of Natural Language),是以自然语言中的逻辑问题为研究对象的一门新兴学科。逻辑是研究推理的科学,语言逻辑就是研究自然语言中的推理问题的科学。它与一般逻辑之间的区别就在于它以自然语言为研究对象,是自然语言的语形学、语义学、语用学三者的综合。研究自然语言中的推理问题,既可以用描述的方法,说明推理的过程,阐述推理的机制;也可以用形式化的方法,构建形式系统和语义模型,证明形式系统的一致性和完全性。用前一种方法形成的语言逻辑可以称为描述的语言逻辑,用后一…     

悖论,类型论以及解救悖论的其它方法(续)

罗素的观点看来是主张,类型论提供了避免一切悖论的方法,此外类型论在本质上还是这种方法的理论基础。让我们依次来考虑这两点。晚近的作者在所谓“语义悖论”和集合论悖论之间作出了区分,而罗素没有这样做。埃匹曼尼德悖论被称为语义悖论,因为它在本质上涉及到真的概念(谎话是不真的);并且“真”被称作一种语义关系,因为它是     

谈词的色彩义

1.1 传统语义学认为,词义(词汇义)是由两部分内容构成的,即由理性意义和色彩意义构成。其中,理性意义是词的语音形式所确定的概念内容,是词义内容的核心,是人们对客观事物的理性认识。而色彩意义则是词义中的附属意义,是指感情态度的那部分内容,是人们对客观世界的主观评价和感性认识在语言中的反映。现代语义学把词汇义分为基本语义和附加语义。基本语义就是传统语义学所讲的词的理性意义,是人们对自然界、社会、人的精神世界中的现象、情况、变化的理性认识在语言中的反映。附加语义是人对事物的理性认识或感性认识的成果。所以,现代语义举认为理性意义这样的名称不妥,它认为有的附加语义也是理性意义。 1.2 传统语义学把词义内容划分为理     

涉及态度报道的替换规则——情境语义学变革性之实证探析

确立逻辑规则是进行逻辑推理的前提,遵守逻辑规则是逻辑推理有效性的保证。倘若完全遵循了逻辑规则的推理是无效的,则问题应在于逻辑规则本身。逻辑哲学对此问题的解决有二：一是直接限制逻辑规则适用的范围,比如使其只适用于形式推理;二是给出逻辑规则有效性的依据,并澄清逻辑规则适用的范围。后者明显是对前者的推进,但这涉及到逻辑规则的基础,即语义学问题,需要对语义学进行变革才会使这样的推进取得成效。情境语义学立足于语义质朴性原则,将自然语言中的心智要素纳入到语义学考察范围,深度分析了涉及态度报道的逻辑规则,充分澄清了逻辑规则的现实依据及其有效性。据此,我们能够很好地理解情境语义学在语义学上所引发的重大变革。     

Fluted逻辑与自然语言

尽管自然语言没有形式语言那样严格,在某些情况下甚至会造成歧义,但日常生活中,我们不可能放弃自然语言而采取形式语言作为人际交流的媒介。事实上,形式语义学的研究表明,自然语言本身也存在着多种值得研究的形式结构。自然语言有很多吸引人的特点,例如其中不含形式语言中那样的变     

索姆斯问题及其解决

自然语言的意义是当代哲学、逻辑学、语言学、认知科学和人工智能所关心的重要问题之一。迄今为止,人们发展了多种意义理论和学说,其中形式语义学试图用逻辑方法和逻辑模型形式化地定义自然语言的意义。形式语义学内部也有多种不同理论,但蒙塔古等学者所引入的内涵依然是目前关于意义的标准定义。然而,内涵作为自然语言的意义是不充分的,有不少问题无法解决,其中包括哲学家索姆斯提出的一个问题(简称为索姆斯问题)。本文首先介绍内涵概念的形成及索姆斯问题的产生,然后基于结构化命题方法定义两种更为充分的意义——解释义和结构义,从而一般地解决与命题态度相关的许多问题,包括索姆斯问题。     

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

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

重论分析性与综合性(上)

分析句与综合句之间的界限是能够得到充分界定的。奎因试图将此种界限模糊化,却是基于一种误解:奎因不是让语义学摆脱掉在卡尔纳普工作中所发现的缺陷,而是否弃自然语言的语义学,用行为主义色彩的语用学加以取代。佩维尔·玛特纳在上篇首先论证:对于科学语言和自然语言的一种逻辑的,即非经验的、非行为主义的分析,是能够得到界定和有效利用的。对于弗雷格涵义—指称图式的一种流行观点的历史重估表明,指示不同于指称,涵义不同于内涵,从而更深入地批判了奎因论题。     

罗素类型论的一种唯名论解释

对于罗素类型论中阶序与类型划分的起源与本质，学界主流的实在论解释主张，阶序与类型划分了不同的命题函项，使之对应于不同层级的实体。但这种解释导致量化规则失效和命题函项歧义。近年来，罗素1903—1908年间手稿的面世为重新审视类型论提供了契机。基于非受限变元原则和语义内嵌方法，类型论的唯名论解释认为，阶序与类型是对变元的划分，是反映变元内在结构的句法标记，谓词变元派生于个体变元。唯名论解释实现了罗素逻辑思想的统一性，体现了逻辑作为普遍科学的理念。     

含“没有”语词的判断形式简析

普通逻辑中有不少含“没有”的判断形式。其中有几种容易引起人们认识上的分歧。这些判断与现代汉语中的否定句隶属于不同的科学体系。但由于思维对自然语言的依附,逻辑与语言在语形上的交结,我们在对这些判断进行分析时,必须结合“没有”的语法意义及判断语句的语义、语境来考虑,才能加深理解。“没有”是个比较特殊的语词。它用在动词、形容词前,是一个副词:用在名词前。则成为两个词——副词“没”与动词“有”,可用肯定、否定相迭发问“有没     

基于逻辑分析的本体论化简以及心理语言的初始词汇

本文把关于语义学与本体论之间关系的某些现代观点,与中世纪晚期唯名论哲学家奥卡姆和布里丹的观点进行了比较。根据所谓的"本体论-语义学对应性的论题",可以把现代观点作如下表征:语义学中的初始(不可定义的)范畴概念界定了实在中的原初实体的范围。本文将证明,中世纪晚期唯名论的"本体论化简"方案,并非被试图从语义分析中"读出"本体论或者试图识别出绝对的语义初始词汇等因素所驱使,尽管流行的误解与此相反。中世纪作者提出了一种更为灵活的、动态的"亚里士多德式的自然主义"观点,它是对"概念部落主义"与"概念帝国主义"这两种并没有什么吸引力的现代观点的挑战。     

对象的明确和方法的更新──论有关中国逻辑史研究的几个问题

最近几年,关于中国逻辑史研究的对象和方法产生了一系列争论。关于中国逻辑史研究的对象主要有以下几种观点：（传统）形式逻辑;非形式逻辑;古汉语的语义学;内涵逻辑;自然语言逻辑;等等。关于中国逻辑史研究的方法主要有以下几种观点：现代逻辑;传统逻辑;自然语言逻辑;语义学;等等。这些争论对于中国逻辑史研究的深入和发展无疑是很有好处的。但是在这些讨论中,在一些基本概念和基本问题上存在着比较严重的模糊认识,这对于中国逻辑史研究的深入和发展无疑又是十分不利的。本文仅就几个基本问题谈谈自己的认识。一、对象问题当我…     

《事件语义学引论》述评

<正>吴平,郝向丽,事件语义学引论,2017年,北京:知识产权出版社。事件语义学是逻辑语义学近些年发展起来的一个理论分支,它对传统逻辑语义学最显著的改造在于"以事件为中心"的理论立足点。自1967年美国哲学家、逻辑学家戴维森提出"事件论元"的思想([2])以来,经过半个世纪的发展,事件语义学在动词–论元关系、谓词分类、谓词的句式语义描写等方面取得了突破性     

论弗雷格的索引词理论

索引词普遍存在于每一种自然语言中,存在于我们的日常语言中,对索引词的哲学思考及逻辑研究既是语言哲学不可缺少的一个构成部分,也是自然语言逻辑以及语义学、语用学不可或缺的一个要件。弗雷格作为现代逻辑的创始人、语言哲学的代表人物,其关于索引词的理论无疑具有重要的学术价值。本文将通过"索引词"与"指示词"的用法入手,在论述弗雷格迷题的索引词理论的基础上,分析弗雷格关于"我"的不可交流的思想,并评说其学术贡献。