多模态范畴逻辑研究

一、多模态范畴逻辑的背景介绍自上个世纪70年代以来,逻辑和语言的交叉研究获得长足发展。该领域的基础是范畴语法:作为开端的蒙太格语法,其思想来源于范畴语法;而蒙太格语法以后的类型-逻辑语义学及语法逻辑均是范畴语法序列的延伸。近20来年,关于自然语言的范畴语法分析已在计算机信息处理领域内获得了应用。同时,对范畴语法进行逻辑系统的抽象,并构造可能世界的框架语义解释,就形成了所谓多模态范畴逻辑。可以说,范畴语法是多模态范畴逻辑产生的背景。范畴语法是一种使用运算和推演的手段描述语言的形式化工具。运算的概念与数学相关,所…     

可能世界语义学与语言逻辑的研究

大家知道,现代逻辑产生以后,逻辑与语言的联系日益密切,对语言的逻辑分析的层面逐渐加深,而且在方法上也日趋严密。但是它也有一个很大的缺陷,就是由现代逻辑所发展起来的外延理论,把逻辑因而也在相当程度上把语言看作思维的逻辑演算,面对语言表达式的内涵问题、意义问题的研究相对薄弱,因而在将逻辑运用于自然语言的分析时常常会遇到许多难以克服的困难,自然语言逻辑的建立由此也显得步履维艰。这种状况直到本世纪60年代由逻辑学家坎格尔(S、Kangerl)、克里普克、刘易斯、欣梯卡等人提出了一种可能世界语义学的理论之后,局面才为之改观。不少逻辑学家认为,可能世界是个强有力的理论概念,它能阐明     

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

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

情境语义学

情境语义学邹崇理一情境语义学（ＳｉｔｕａｔｉｏｎＳｅｍａｎｔｉｃｓ，简称ＳＳ）是国外８０年代出现的一种新的语义理论，创始人是美国逻辑学家ＪｏｎＢａｒｗｉｓｅ和ＪｏｈｎＰｅｒｒｙ，代表作是８３年出版的《情境与态度》（ＳｉｔｕａｔｉｏｎｓａｎｄＡｔｉｔｕ...     

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

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

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

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

论逻辑语义

符号、由符号构成的某类表达式及其语义是语言哲学和符号哲学研究的一个重要方面 ,逻辑符号、由逻辑符号构成的某类表达式及其逻辑语义则是逻辑哲学研究的一个重要方面。逻辑 ,特别是现代逻辑 ,通常是用形式语言和形式系统表述的。但逻辑学家建立逻辑的目的是为了刻画人的思维规律和推理能力 ,这必然要涉及形式语义和形式系统的逻辑语义。逻辑语义可以分为两大类 :直观语义和形式语义。很少有论文专门论述逻辑语义中的直观语义以及它们与形式语义的关系。本文主要讨论这些问题。给定一个形式语言L。我们知道 ,从本质上说 ,L由一堆抽象符号…     

关于语言逻辑问题

一、语言逻辑研究的历史和现状逻辑从它创立的时候起,就是同语言的研究紧密地结合在一起的。在以后的发展中,传统逻辑始终没有完全脱离自然语言。在这个意义上,我们不妨说传统逻辑是古典的语言逻辑。数理逻辑产生以后,一些哲学家用来分析自然语言,研究思维和语言的内在联系。五十年代,美国语言学家乔姆斯基借助于类似逻辑的手段,创立了转换生成语法,引起语言学的一场革命。从乔姆斯基学派分化出来的生成语义学派,则更多地使用逻辑的方法研究语言。     

逻辑和语言

逻辑和语言有着十分密切的关系。限于篇幅,这里让我们把逻辑仅理解为形式逻辑这门科学,譬如指亚里士多德逻辑、中世纪逻辑、传统逻辑、现代逻辑;并且仅从语言学和表述语言的角度理解语言:前者指围绕语言研究形成的一套关于语音、语法、语义的理论(本文重点指语法学),后者指人们日常交际使用的自然语言和专门科学使用的人工语言,譬如现代     

《逻辑、语言与意义》出版

正L.T.F.哈姆特著,满海霞、张璐等译《逻辑、语言与意义》一书于2017年11月由商务印书馆出版。该书从自然语言的语义研究入手,探究了现代逻辑的新发展,共分为两卷:《第1卷:逻辑入门》《第2卷:内涵逻辑与逻辑语法》。两卷书可独立阅读,第1卷介绍了经典命题逻辑与谓词逻辑,是语义研究的理论基础;第2卷是对第1卷的现代逻辑拓     

西方逻辑史语言逻辑思想概观——现代阶段语言逻辑思想及其特点(二)

如果说以罗素,维特根斯坦(Wittgenstein 1889～1951年)为代表的分析哲学家对日常语言的逻辑分析直接导致了“语言逻辑”这一术语的诞生,那么萨默斯(Sammers)、卡尔纳普(Carnap 1891～1970)、斯特劳森的工作则分別从传统逻辑、人工语言和日常语言的角度开始了语言逻辑研究的尝试;如果说现代指号学奠基人莫里斯(Moris)的“指号三分法”(语形、语义、语用)为语言逻辑描述了一个大致轮廓,那么转换生成语法创始人乔姆斯基(N.Chomsky),及其弟子生成语义学创始人莱柯夫(George Lakoll)和蒙太格语法的创始人R、蒙太格(R、Montague)的工作则分别从语法学、语义学和内函语义语境的理论方面大大充实了现代语言逻辑的内容。而在其     

评“语言学家关于逻辑想要知道而又羞于去问的一切知识”

在最近十多年的时间里,逻辑语义学无疑是语言学研究中发展最快的领域之一。然而,分析越复杂,越显得缺少合适的导论性的课本,即由语言学家为语言学家所写的课本。自1981年以来,我们终于有了试图填补这一空白的两本书:道蒂(Dowty)、沃尔(Wael)和彼得斯(Peters)合著的《蒙塔古语义学引论》和麦考莱(Mecawley)的逻辑课本。这两本书都以语言学家已有的关于句法的知识为基础,同时,它们也都着重在逻辑方法对于自然语言分析的适用性。     

索姆斯问题及其解决

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

自然语言逻辑的多元化发展及对信息科学的影响

自 2 0世纪 70年代初创建蒙太格语法以来 ,自然语言逻辑经历了近 30年的发展 ,已形成包括若干理论流派的学科群体 ,对现代逻辑、理论语言学以及计算机人工智能科学等研究领域产生了广泛而深刻的影响。本文需要论述的是 :首先 ,自然语言逻辑是一门新兴学科 ,迄今还处于草创阶段 ,各派学说林立 ,多种理论并存 ,类似百家争鸣的战国时代。即便是一种理论内部也显示出不同的研究方向 ,有的偏向语言学的题材 ,有的侧重逻辑的趣味。自然语言逻辑呈现出多元化的发展态势。其次 ,自然语言逻辑在国外已成为一股日益扩大的研究潮流 ,其强大的生命力是信…     

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

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

组合原则

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

自然语言与话语主体的逻辑

对于处理各种相互关联的议程,语言学和时下流行的主体逻辑颇为有用。语义学和语用学可以受益于一种内涵更为丰富的一般观点,这一观点涉及语言过程及其主体;而论述语言表达式的策略语义学和语用学,由于其与人类行为相伴随,并对之进行指导,则可以令各种主体逻辑从中获得良多教益。     

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

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

逻辑决定论的蹊跷性

逻辑决定论是宿命论的两种形式之一,其表述形式可以区分为激进版本（包含模态词“必然”）和温和版本（包含时间概念“总是”）。既有对逻辑决定论的解决方式大致可方便地区分为语义学和逻辑学两类方案,这些方案都或多或少会导致其他困难。进一步的分析表明,一个基于激进版本的推论会导致矛盾的模态关系,从而导致激进版本被排除。而在温和版本中,“总是”存在着物理的和非物理的理解,真值作为非物理对象一旦被给予具体的时间属性,就会导致麦基式的蹊跷性（queerness）,由此构造的命题表达式将全部是假的。因此,逻辑决定论不成立。     

意义的体系——维特根斯坦的《逻辑哲学论》与形式语义学

人们把一般形式语义学的起源追溯到弗雷格、塔尔斯基、蒙塔古和戴维森等哲学家。但是人们忽略了维特根斯坦的《逻辑哲学论》。维特根斯坦在这本著作中提出了一种特定的关于语言、意义和世界的看法,它牵涉到普遍论、内涵指称论和组合原则等重要的哲学假定,而这样的哲学假定也是形式语义学先驱的著作中所假定的。因此,维特根斯坦的意义理论对于形式语义学的基本原则和哲学假定的确立是至关重要的。斯托克霍夫教授的研究不是历史性的,而是系统地比较了维特根斯坦的意义理论和形式语义学的先驱的著作。