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

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

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

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

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

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

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

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

略论语言交流的逻辑

语言交流的逻辑旨在处理日常的自然语言现象 ,进而提供日常表达和理解的逻辑理论 ,它是现代的逻辑、语法和修辞相结合的产物 ,是伴随着现代的语形学、语义学和语用学的兴起而逐步发展起来的。语言交流逻辑的核心是要解决表达和理解的问题 ,它至少涉及形式和描述两个研究层面 ;语言交流的逻辑是一个意义重要而又广泛的研究课题 ,随着理论研究的深入 ,语言交流逻辑在正确思维和有效交际过程中的功能将得到进一步发挥     

形式语义学的历史渊源和理论框架

传统语义学认为自然语言不适合进行形式分析 ,蒙太古 (Montague)等人开创的形式语义学一反传统 ,提出“英语也是形式语言”。形式语义学的主要观点来源于逻辑学、模型理论和语言哲学 ,其基本理论框架包括广义量词、函项结构、范畴语法和组合原则等。形式语义学近年来在国外影响很大 ,本文主要介绍其起源和经典理论的基本框架     

基于句法和语义对应的汉语CCG研究

句法和语义对应的原则是形式语义学中最为重要的原则之一,组合范畴语法CCG更是彻底地延续了这个思想,为自然语言的计算机处理提供了句法和语义的透明接口。汉语的CCG处理在贯彻该原则时产生的问题是：句法方面获得长足进展,而语义方面却相对滞后。以汉语多重介词短语句为例,动词论元的灵活语序现象是句法和语义对应的难点之一。Hoffman提出的多重论元集CCG方法是解决灵活语序的有效手段,但在这种处理方法中,需要找出一些方法来简化形式语义的表述方式,这样才能获得与句法范畴推演相对应的语义类型推演。     

语言逻辑方法论

文本认为语言逻辑的方法是一种符号学方法.第一,符号学方法是语形学、语义学、语用学方法的三合一.第二,自然语言的符号性、指谓性、交际性以及其它逻辑工具的局限性决定了以自然语言为研究对象、逻辑分析为研究手段的语言逻辑必须采用符号学方法.第三,卡普南索引词逻辑系统的形成表明符号学方法在语言逻辑研究中具有广阔的应用前景.     

多模态范畴语法和汉语部分“的”字研究

范畴语法是对自然语言信息进行可计算处理的逻辑语义体系。从20世纪70年代的蒙太古语法开始基于句法范畴和语义类型的对应来尝试处理英语部分语段,到目前多模态范畴语法对组合范畴语法和范畴类型逻辑的结合,都是为了能够取范畴语法体系中具有不同结构性质的类型逻辑系统的长处,以便更好地处理自然语言的句法和语义。汉语中独有的虚化成分“的”的可计算研究正体现了范畴语法的发展思路。     

蒙他丘语法、系统语法、功能语法和交际语法梗要——近代各学派语法理论概述与简评之三

蒙他丘语法7.1 有些逻辑学家曾经采用逻辑的方法来讨论人工语言;一般的语言学家或逻辑学家则认为这种讨论人工语言的方法并不能直接用来分析自然语言。只有美国的R.Montague认为自然语言也能在句法和语义学的逻辑传统之内进行探讨。1970年左右,他先从英语的一个片断(包括量述、命题动词等)开始,进行这种探     

解析Austin语用哲学的缘起

Austin是语用学科的导引者和奠基人,他以哲学的视角创立了语用学研究的核心理论-言语行为理论,借以阐释游离于形式逻辑之外的自然语言。分析了Austin形式逻辑存在的困顿,阐述其语用论的意义观,在此基础上分析了Austin言语行为理论的基本特征,认为Austin言语行为理论扩大了语言意义的维度,加深了音义结构的句法深度。     

悖论的语言结构:递归否定

悖论是逻辑学、基础数学、哲学、语言学中的重要问题,从根本上看是一个认识论问题,因此仅仅从人工语言的角度来认识悖论是不充分的,因为人工语言不能解决元语言这一根本问题。自然语言是最根本的元语言,悖论更需要从自然语言的角度来认识,尤其是从自然语言结构的递归性来认识。通常把悖论分成逻辑悖论(集合悖论)和语义悖论两大类,但这种分类界限并不严格。实际上这两类悖论从语言生成的角度看都具有递归否定的特点,因此可以用递归否定这一语言结构性质来统一语法悖论和语义悖论。罗素的类型论和塔尔斯基语义理论主要涉及产生悖论的层阶性质,不能概括悖论的递归否定性质。自然语言和形式语言都是从有限规则和有限符号到无限句子的系统,不可能避免层阶循环或递归,因此悖论的消除不可能通过类型论或元语言层阶来解决,考虑递归否定的性质是消除悖论的一个途径。     

论形式化文本意义理论的可能性及其运用

当前第五代计算机的研制中发展起来的符号动力学、计算语言学、模糊逻辑、形式语义学等学科,以及人工智能对自然语言意义所作的处理,为传统的符号学方法和形式分析探寻文本意义结构提供了强大的技术手段;极大地推动了文本意义理论向符号化、形式化和公理化方向发展.一种建立在当代高新技术手段上的文本意义理论形式系统,将有效地补正重经验直观轻逻辑分析的传统批评的缺陷.     

论形式逻辑与物的世界的关系

任何一种逻辑都要面向一个世界,形式逻辑也不例外,它主要面向物的世界,物的世界是形式逻辑的存在基础。物的世界是一种理论世界,它的产生具有“合法性”,符合人类的自然倾向,那就是对确定性的渴求。形式逻辑是物的世界的逻辑支撑,形式逻辑的发展程度和样式制约着物的世界的具体形态,物的世界的理论发展和形式逻辑的发展具有内在一致性。物的世界是一种必然的世界、自然的世界、知识的世界。作为一种面向物的世界的逻辑,形式逻辑在本性上与物的世界相契合,它具有必然性、可控制性、可计算性等。     

逻辑叙事:历史的比较和学科的比拟--兼评马佩老师的逻辑观

中国西方逻辑的研究有两次引入,二次断层,西方逻辑的发展则有三次高峰,一次断层.逻辑的社会文化功能主要在其批判性,而不是对逻辑的普遍诉求.逻辑的发展是一个学科依赖的过程,分别依赖于语言、数学、自然哲学和法学,法学有可能成为逻辑学发展的新模式.辩证逻辑是哲学逻辑的一个分支,保持自由的心灵是发现和发明的条件.     

论亚里士多德的大逻辑思想

亚里士多德逻辑思想是研究各类科学知识的工具 ,它是适应古希腊演讲、论辩之需要而产生的。亚里士多德逻辑思想是大逻辑思想 ,除了证明推理外 ,还有辩证推理、归纳、定义、辨谬等内容 ,并涉及了预设理论、问题逻辑、语境与逻辑等现代逻辑关注的问题。逻辑研究应提倡兼容 ,数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。     

百分比量化逻辑初探

传统逻辑和标准量化逻辑在分析自然语言命题时,只使用全称和存在两种量词,把自然语言中的非全称的量化命题都当作存在命题来处理,然而在自然语言中除了全称量词和存在量词外,还有复量词、百分比量词等。自然语言中许多根据复量词和百分比量词的逻辑意义而进行的直观上正确的推理在传统逻辑和标准量化逻辑中都是无效的。显然,复量词和百分比量词不能当作存在量词来处理,它们有着不同的逻辑意义。     

论意义组合原则中的若干问题

组合原则是逻辑语义学和自然语言形式语义学中的一条指导性原则,它在逻辑语义学和自然语言句法和语义接口研究中有广泛的应用,但同时这条原则所体现出的方法论性质又备受争议。该原则对逻辑和自然语言成立吗?这一问题不可能给出直接的回答,因为对这条原则的阐述其本身就十分的含糊。逻辑学家和语言学家可以根据自己的理解和表达来表述这条原则。事实表明,组合原则不是一种经验上可证实的限制性原则,而是一种描述系统中的句法和语义应当如何加以设计的方法论原则。