类型—逻辑语法——一种自然语言语义分析的重要工具

类型—逻辑语法是一种建立在类型—逻辑语义学基础上的规范语法,它自上个世纪80年代诞生以来,就以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色,受到了形式语义学、语言学和自然语言理解和处理等领域的广泛关注,并继续保持迅猛的发展势头。该文第一部分简短回顾了范畴语法的发展情况,第二部分主要论述了类型—逻辑语法的核心内容——其句法学和语义学。其语义学的主要内容为简单类型的λ—演算和高阶逻辑:其句法学的主要内容是兰贝克演算。在第二部分的最后,笔者探讨了类型—逻辑语法与逻辑形式系统的深刻联系。总之,类型—逻辑语法对自然语言的语义分析具有比较广阔的发展空间。     

组合范畴语法(CCG)的计算语言学价值

组合范畴语法(CCG)是在AB演算基础上进行扩展而产生的范畴语法.从语法理论视角看,CCG是一种词汇形式化的方法;从计算语言学视角看,CCG属于一类适度上下文相关文法;从逻辑语义学视角看,CCG在句法与语义的接口方面非常融洽.无论是CCG语言的、计算的,还是逻辑的特征,都使得CCG非常适用于自然语言信息处理,对于计算语言学具有很好的理论和实际价值.     

塔斯基的真定义、语义学与逻辑后承

塔斯基关于真理和逻辑后承的里程碑式的著作是对现代语义学研究的最重要的贡献。塔斯基用满足和归纳的方式给出的真理的递归定义,建立在语义模型、逻辑真和逻辑后承基础上的循序渐进的逻辑句法定义构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学,甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理。     

语义学与英语语法教学

本文首先通过对历史上主要英语语法流派的简单回顾,将教学语法(pedagogicalgrammar)与科学语法(non-pedagogicalgrammar)区分开来。本文的重点在于以格语法为例,阐述如何利用格语法来改进传统语法教学的某些方面,说明语义学与语言教学的密切联系。     

逻辑和语言研究的交叉互动

逻辑和语言的研究分为句法、语义和语用几个领域.在语义领域,其主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法.这些理论自上世纪下半叶诞生起就早现出逻辑和语言研究的交叉互动:尽管在形式语义学框架内逻辑始终强势影响着自然语言的研究,但自然语言的丰富性通过形式语义学的研究也一直作用于逻辑工具的创新.     

自然语言逻辑语义学研究述评

自然语言的逻辑语义学是逻辑学、语言学和计算机科学的跨学科交叉研究的产物,研究的对象是自然语言,研究的方法涉及逻辑和计算的概念。近十来年,逻辑语义学的跨学科研究方兴未艾,其中有较大影响的要数范畴语法的三个现代版本的发展：范畴类型逻辑 CTL、组合范畴语法 CCG 和非连续兰贝克演算 DLC。CTL 是从逻辑的高度概括分析语言的形式工具的学说,CCG 是基于特定规则而关注语言事实分析需求的形式语法,DLC 是专门分析语言中非连续现象的形式理论。本述评阐述的就是范畴语法三个现代版本的国内外发展概况。     

语言构造机制的逻辑语义学研究

自然语言的计算机信息处理要求电脑对人脑构造或理解语言的机制进行模拟,这种模拟首先需要逻辑语义学对语言构造机制的先期研究。简言之,语言构造机制显示出两个特征：1.有穷多的词条作为出发点;2.依据有穷多规则去构造和理解无穷多的语句。多年来,逻辑语义学各分支不同程度地描述了语言构造机制的两个特征,但对其中特征1的刻画却不充分,而语言学对此却有不俗的表现。于是逻辑语义学和语言学形成互补局面,“互补”产生了组合范畴语法CCG。本文揭示了CCG对语言构造机制两个特征的兼容并举,从而展示逻辑语义学在理论上对电脑模拟人脑构造语言机制工作的指导作用。     

叙事结构的语言学模式

本文从托多罗夫的叙事句法入手,讨论了"普遍语法"即"叙事作品语法"的理论,在此基础上阐述了格雷马斯注重于语言学理论中关于二元对立的基本概念,借助于逻辑学的方法建立的叙事结构的语义学模式。     

正规模态逻辑完全性理论研究综述

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

论情境语义学研究的发展

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。