情境语义学的发展

情境语义学最初是作为外延模型论和可能世界语义学的替代理论而创立的,它面向自然语言、面向信息和面向人工智能,是一门交叉性和综合性研究领域.早期情境语义学研究主要是从哲学层面上来阐释语义问题.随着其哲学阐释的成功和解题功能的增强,情境语义学经历了一次研究方向的转折和研究范围的拓展,成为众多学科的关注热点.现在,情境语义学仍然具有巨大研究价值和发展潜力,仍在继续发展.     

弗协调逻辑的发展及现状

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

西方现代逻辑研究动态（笔谈）——西方道义逻辑的形式化研究

一、西方道义逻辑的形式化研究现状 道义逻辑是在数理逻辑的基础上研究含有道义模态词"义务"、"允许"和"禁止"等模态词的一种广义模态逻辑的命题形式和推理规律的逻辑.因此,它和法学、伦理学有着密切的关系.随着模态逻辑理论的日益成熟,这也给道义逻辑的研究提供了许多新的技术和方法,使得道义逻辑的研究在研究方法上也越来越趋向多样化.目前,道义逻辑研究中采用的主要方法之一就是形式化,用这种方法解决各类义务冲突问题,并在道义逻辑的经典系统CDL和标准系统SDL的基础上,通过构造各种各样的道义逻辑的形式系统,使它能够较理想地处理各种各样的道义悖论.本文将西方道义逻辑形式化的研究大致分为以下几种类型:     

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

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

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

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

情境语义学的发展评析

早期情境语义学的研究目标是为自然语言构造标准模型论,转折后的目标则是为自然语言发展出严格公理化的数学理论,其最终目的都是希望满足计算机和人工智能处理自然语言和信息的现实需要。这两个研究目标都偏离了,这与情境语义学研究的基本指导思想密切相关,它表明穷尽可能性的哲学思考与有限的形式技术构造之间存在根本差异。     

论汪奠基对中国逻辑学研究的贡献

汪奠基主要研究传统逻辑和现代逻辑、西洋逻辑史和中国逻辑史,成果最多的学科是现代逻辑和中国逻辑史.在现代逻辑领域,他指出了传统逻辑的局限性,比如使用含混有歧义的自然语言,无法对命题和推理作出精细的分析,不能把一些正确推理形式包括进来,因此无法胜任全面而透彻研究推理的任务.而要想突破传统逻辑的局限,对命题和推理作出透彻的科学分析和阐述,就需要制定人工语言,深入研究命题的联结词和量词,准确了解多种命题的推理规律,把推理归结为规范的简单步骤,而这就是数理逻辑产生的根本原因;在中国逻辑思想史方面,他提出对中国逻辑史的对象研究是"为了尽量吸取历史上的逻辑遗产",因而有意把中国逻辑史的"对象和范围放宽一些"是合理的和有意义的.作为学者,他一向重视科学的思维方法.尽管他研究的领域很广,但他一直把对科学方法和逻辑方法的研究放在突出位置,写出了多种有关逻辑和科学方法的著作.     

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

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

情境语义学能否替代可能世界语义学

情境语义学者认为,可能世界语义学含有语义整体论这一哲学预设,不符合人类认知的实际状态,而且形式语义学把真值当作意义,并不能代表意义的全部内容。因此,他们希望能创建一种新的情境语义理论,以替代可能世界语义学。但从两种语义理论各自最基本的概念和研究方法及现有成果的比较中,我们可以得出这一结论:情境语义学不能替代可能世界语义学。     

中世纪两种语义学及其现代重建

以西班牙的彼得为代表的实在论语义学和以布里丹为代表的唯名论语义学代表了中世纪逻辑领域两种不同的完整语义学。然而,它们在语义学上的不同并不在于其本体论基础或本体论承诺,而在于建构语义学的方法与思路,即范式。我们可以通过不同的逻辑策略消除实在论语义学中不必要的本体论承诺,从而在逻辑学领域实现两者的部分融合|唯名论语义理论因之可以通过副词化的手段从实在论语义学中获得。而对两种语义学合理的现代重建,既可表明唯名论与实在论的区别,又可表明唯名论语义学如何用纯粹自然逻辑的方式恰当地表达现代逻辑标准量词理论。     

平等理论研究的情境语义学分析

以情境语义学作为方法来研究平等问题,可以克服当代西方哲学研究平等问题的局限性。情境语义学要求对平等的考察要作出现实的历史的具体的分析,在具体的时间、空间中,在特定的主体与世界的具体联系中来研究平等。而情境语义学的相对性并不否定客观性,情境语义学为我们研究平等问题,既保证客观性,又保证相对性,提供了一个有力的逻辑工具。     

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

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

约根森难题与真值语义学

约根森难题意味着,一方面规范语句不能作为逻辑推理的前提或结论;而另外一方面,很多包含规范语句的道义推理在直觉上是正确的.真值语义学试图通过假定规范语句可以有真假来评价道义推理的有效性.这种方案的问题在于它没有解决这个难题,而是绕过了它.约根森难题的解决需要一种比真值语义学更为一般的逻辑后承概念,它否认逻辑必须依赖于真概念.     

后蒙塔古语义学的理论发展——兼评福克斯和拉平的内涵语义学

在简述后蒙塔古内涵语义学基本特征的基础上,通过概述福克斯和拉平的内涵语义学思想,尤其是通过强调他们对蒙塔古内涵语义学主要局限性的一种根本性修正和整体的重新设计,从而描述了当代内涵语义学理论发展的最新趋势以及语义学理论发展的内在关联。     

论句子语义学的研究

本文对句子语义学中的时体态式、情景类型、参与者、题元角色和句子意义等方面的研究和理论进行了一些分析,认为时体态式还需要跨语言研究;情景类型可以结合动词的语义和时体;题元角色有一定的作用,但是也面临一定的挑战,指出句义的研究不但要形式化,而且要很好地结合自然语言,找出消解模糊的办法。     

新世纪现代语义学发展的问题与展望

现代语义学思想自1930年代自西方传入,已有80余年历史,到了回顾和反思的时期。基于现有史料,回顾中国现代语义学的发展历程,以历史发展特征为线索给予分期,阐述中国语义学的历史成因和各阶段的著述方式、阶段特征及学科影响。最后,着重阐述中国现代语义学在新世纪前十年的状况,找出该学科发展过程中的问题,提出今后该学科的发展方向。     

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

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

试论情境语义学的认知科学意义

情境语义学为外在世界与内在心理状态提出一个情境认知框架,并依此发展了一个意义理论,自然语言语义在这个意义理论中得到合理解释.从其理论源头、理论视角及其应用等角度来看,情境语义学与当代认知科学之间存在密切联系,对认知科学研究有重要意义,主要表现在情境语义学所确立的信息认知框架、相关认知词的情境语义解释与情境逻辑分析以及自然语言中隐喻表达的情境语义刻画等4个方面.