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

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

类型--逻辑语法的句法特色

论述类型—逻辑语法的句法特色———兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴—希勒尔所创立的经典范畴语法的改进和发展,其表述有多种形式,重点论述在实践中应用广泛的根岑风格的兰贝克演算。     

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

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

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

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

类型-逻辑语法的句法特色

论述类型一逻辑语法的句法特色——兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴-希勒尔所创立的经典范畴语法的改进和发展，其表述有多种形式，重点论述在实践中应用广泛的根岑风格的兰贝克演算。     

论类型逻辑语法对蒙太古语法的继承与发展

蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸显了二者的异同。     

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

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

从转换生成语法看范畴类型逻辑的基本思想

范畴类型逻辑基本思想中的“完整的”和“非完整的”表达式的概念,以及乔姆斯基（Chom-sky）所提出的“完整的功能复合体”（complete functional complex,简称 CFC）的概念,分别是范畴类型逻辑和转换生成语法在句法结构层面的重要理论基础。两者虽有一定相似性但又有不同之处,加上自然语言的句法语义不对称现象,造成自然语言逻辑分析中的一些由于方法论和概念冲突而引起的问题。为此,在语料的基础上分析上述问题,论证范畴类型逻辑作为一种形式化分析自然语言语义的手段的优势和有待改进之处,并举例说明语言学研究和逻辑学研究之间是取长补短、互相促进的关系。     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

关于逻辑语义学的句法系统

逻辑语义学的核心任务是探索自然语言语义的组合原则。逻辑语义学认为,语义不是孤立的,语义与句法之间具有同构关系,采取什么样的句法理论往往决定了语义系统的本质和刻画精度。在过去近半个世纪时间里,逻辑语义学家越来越关注如何吸纳和借鉴当代句法学的理论成就为己所用。Heim和Kratzer等人在生成树上构造的语义系统、Steedman在CCG框架下进行的词汇主义转换以及我们对助动词"有"的讨论都是这方面有益的尝试。     

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

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

当代内涵逻辑的理论发展

内涵逻辑是经典逻辑的一种重要的扩展类型.内涵逻辑是关于必然、可能、时间、空间、行动、知识、信念、义务和其他内涵概念的逻辑研究.内涵逻辑研究的主要目的是分析内涵概念,围绕内涵概念给出相应的形式系统,形式系统的语义模型解释及关于系统的可靠性和完全性证明等问题.内涵逻辑在哲学问题的分析和自然语言语义学及人工智能等领域都有极为重要的应用.本文概述当代内涵逻辑发展的主要类型以及它们之间的内在关联.结论部分给出了关于内涵逻辑与经典逻辑关系的两种观点,有助于人们更深刻地理解内涵逻辑.     

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

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

混合范畴类型逻辑对汉语形名结构及其虚化成分的研究

尽管对形名修饰结构的句法生成与语义解释存在异议,但是学者们都将普通名词和形名结构本身赋予的语义类型.因此,形名修饰结构的研究重心就落在了形容词的语义类型如何确定上.形名结构是自然语言中的普遍现象,而汉语形名结构则体现出自身的特点,比如形名结构中出现虚化成分“的”字等.混合范畴类型逻辑将多模态组合范畴语法的前提敏感特征带入了范畴类型逻辑,使得范畴类型逻辑可以对自然语言现象进行更为准确的刻画,这种逻辑工具对处理汉语这一意合型语言无疑具有值得期待的前景.     

动态语义学的发展和创新思维

动态语义学 (Dynamic Semantics)是 2 0世纪 80— 90年代在西方学术界发展起来的逻辑语法理论。动态语义学主要分为话语表现理论 (Discourse Represen-tation Theory)、动态的谓词逻辑 (Dynamic Predicate L ogic)和量化的动态逻辑(Quantificational Dynamic L ogic)及动态蒙太格语法 (Dynamic MontagueGrammar)等门类 ,这些门类之间展现出一个由此及彼的发展过程 ,促进这个发展的孵化器就是类比想象的创新思维     

略论语言交流的逻辑

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

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

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

弗协调逻辑的发展及现状

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

论情境语义学研究的发展

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

从范畴类型逻辑看蒙太格语法的被动转换规则

蒙太格语法是对范畴语法的继承,其句法规则采纳的是"毗连运算"这种遵循范畴语法函项应用原则的操作。但是在蒙太格语法中体现被动转换操作的扩展规则那里似乎看不到范畴语法的作用,被动转换规则是否遵循范畴语法的规律?以蒙太格语法对英语被动句——"结构被动句"的分析为例,从范畴语法的现代版本——范畴类型逻辑的视角来审视蒙太格语法的转换过程,获得的结论是:范畴类型逻辑提供的工具可以证明被动句转换的合理性,蒙太格语法扩展的被动转换规则同样遵循了范畴语法的规律。