有穷多模态类型逻辑语法及其在汉语中的应用

多模态类型逻辑是一种模态Lambek演算的分支。以类型逻辑为基础的范畴语法一般用于自然语言的智能处理。在多模态类型逻辑语法中添加假设集的方式可以用来处理汉语语言现象。本文采用带有穷假设集的多模态非结合Lambek演算的根岑表述系统。介绍其句法和代数语义,证明了其可靠性与完全性。探讨了在多模态非结合Lambek演算系统下,有穷假设集在汉语语序与异常句等处理上的应用,并简述了此方法的优势。     

面向汉语认知与功能特征的语法逻辑

本文研究范畴语法的两种扩充,一是从认知特征角度的扩充,将范畴语法扩充为认知特征范畴语法,通过具有完全性的逻辑证明解决了一些不合语言事实的句子判别问题;二是从功能特征角度的扩充,提出逻辑推理的形式和进一步将二者统一的可能性问题。     

多模态范畴逻辑研究

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

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

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

类型逻辑语法

<正>类型逻辑语法(type logical grammar)是在经典范畴语法(basic categorial grammar)基础上发展起来的一个现代版本,它区别于传统范畴语法的最突出特征,就是通过使用加标演绎的表述方式,实现了句法推     

十一、与戴维森一起读《论语》：如何用语用学的概念来描述古代中国的解释实践

在对中国古代语言与逻辑的研究中,占主导地位的方法是将句子当作其主要研究对象:它所关心的是句子的语法与逻辑结构.与这种"语法的方法"相对照,还有一种"语用学的方法".这种方法将语言实践,也就是"说出一个句子(the utterance of a sentence)"这一言语行动本身,当作其主要研究对象.     

语法同逻辑有怎样的关系?

语法是语言的结构规律,逻辑是思维的形式及其规律,它们有着明显的区別。然而,语法与逻辑又有密切的联系。作为语法单位的词、词组、句子和句群(有人认为句群是介于句子和篇章间的语言单位),同逻辑上的概念、判断和推理存在着对应关系。词和词组一般是表达概念的,句子一般是表达判断的,句群一般是表达推理的。从这个意义上讲,语言是思维的表现形式,思维则是语言的思想内容。正因     

组合范畴语法研究述评

范畴语法是一种面向自然语言信息处理的逻辑理论,是便于计算机处理的逻辑语法。它产生于20世纪30-40年代,50年代后逐渐走向成熟。[1]纯范畴语法是所有形式主义范畴语法的共同起点,它是巴-希勒尔(Bar-Hillel)对爱裘凯维茨(Ajdukiewicz)的句法演算进行方向性修改的产物,一般被称为AB-演算。[2]AB-演算仅有两条函项应用规则,导致其推演能力太弱,斯蒂德曼(Steedman)在     

谈逻辑与语法的关系

人的思维的内容和其中的逻辑,是由按一定的语法规则组织起来的语言表达的,逻辑不能离开语法,这不会有什么疑问。在逻辑与语法的关系中,需要探讨的问题是:除了大量存在的逻辑与语法相一致的情形而外,是否存在着运用的语言虽合于语法规则,但其中所表达或体现的逻辑却不正确的现象? 这个问题的回答取决于我们是否把语词的搭配列入语法管辖的范围。如果不列入,语言运用便存在合于语法却可以不合     

“什么……什么句”的逻辑语法特征与推演

针对温宾利命名的"什么……什么句",本文首先简要讨论了该句式与驴子句和关系结构的不同之处,然后从逻辑语法的角度综合分析了该句式的句法、语义和语用特征,提出其中成对出现的疑问词是不连续的全称量词,该句式是汉语表达充要条件的一种句法手段,充分条件意义和必要条件意义都是其默认含义,由语法系统自动计算得出,可在特定语境中被撤销。最后运用以不连续兰贝克演算为核心的逻辑范畴语法,推导两类"什么……什么句"。     

语言意义的赋予与理解

语言是一种最常见、最复杂的社会现象,按照李先焜教授的观点,语言具有符号性、指谓性和交际性三个最重要特征。(参见李先焜:《语言、逻辑和语言逻辑》,载《哲学研究》1986年第8期)与此相应,现代语言问题的研究涉及到语形、语义和语用三个方面的问题。传统语言问题研究的重点是语形问题,特别是语法问题。本世纪以     

也谈逻辑与语法的关系——兼与江显芸同志商榷

逻辑是研究思维形式结构及思维规律的,语法是研究语言结构规律的,它们既有密切的联系,又有明显的区别。逻辑和语法毕竟是两门科学。汉语语法是研究汉语的结构规律的,它主要讲各级语言单位组合的规则。汉语是非形态的语言,它各级语言单位的组合(语素和语素组合成合成词,词和词组合成词组,词或词组组合成句,单句和单句组合成复句,几个句子又组合成句群)不是依靠     

自然主义视角下的逻辑

本文试图为逻辑规律的可靠性提供一种自然主义的说明。基于对康德关于逻辑的超验分析以及弗雷格关于逻辑的现代形态的系统把握,可以整合出一套新的康德/弗雷格型的判断形式和范畴,从而为逻辑奠定基础。这样一种说明的要点包括:(1)由于人类构造所决定,使用这套形式和范畴对世界进行概念化处理是无法避免的,人类的思考因而会受到逻辑规律的约束,而很多现代逻辑规律的存在依赖于特定的理想化处理和补充假设;(2)在很大程度上,这个世界具有与这些新的形式和范畴相对应的一般性结构特征,但也有例外情况存在,在那里甚至连基础逻辑也会失去基础;(3)人们之所以会相信逻辑的基础部分,是因为它们是由人的基本概念机制所决定的,但人们之所以会得知这些规律,也只是因为其中基本的概念化处理可以被经验证明是真实不虚的。总之,只要这个世界中包含了处在关系之中的对象,以及某种形式的根据/结论型依赖关系,那么在一个非时空世界,乃至一个非因果关系的世界,逻辑规律就会成立;但在缺乏这些特征的世界中,逻辑规律不一定会成立。     

逻辑和语言

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

多视角看逻辑与语言——第五届国际逻辑与认知学术研讨会综述

由中山大学逻辑与认知研究所主办的“第五届(国际)逻辑与认知学术研讨会”于2006年5月29~30日在中山大学隆重召开,前来参加这次会议的国内外学者近50名。本次大会的主题是逻辑与语言,报告的专家们从不同的角度分析了逻辑学、语言学以及两者的交叉领域中的一些重要问题,从而使我们对逻辑与语言领域的国际前沿动态有了更为全面深入的了解。一、语言逻辑波兰亚当·密茨凯维支大学计算理论系主任沃依切赫·布茨科夫斯基(Wojciech Busz-kowski)教授做了题为“范畴语法和子结构逻辑”的报告。他首先阐述了兰贝克演算的由来,及其形式化系统和根岑…     

逻辑的“否定”概念简析

“否定（negative）”是一个基本的哲学范畴。近年来,国际学术界对这一范畴的研究再次兴起热潮,这方面的文献涉及逻辑、哲学、语言学、计算机等领域。本文试图从逻辑与哲学的角度,对一些有代表性的“否定”概念的类型与特征进行一番分析。1．传统逻辑的否定概念从某种意义上说,传统逻辑作为二值逻辑,是以排中律的普适性为特征的。它断定某个命题或思想要么是真的,要么是假的,真与假构成一对否定概念,二者必居其一。因此,对“真”的否定得到的是“假”,对“假”的否定得到的是“真”。在传统逻辑的公理系统中,否定是一个逻辑常项…     

中国逻辑学会与语言逻辑和符号学专业委员会2000年年会综述

中国逻辑学会语言逻辑专业委员会和符号学专业委员会学术年会于 2 0 0 0年 8月在河北召开 ,5 0余位学者与会。本次大会的主题有两个 ,一是语言逻辑及其应用研究 ;二是两会成立 2 0年的回顾与展望。今年 5月颁发了第三届“金岳霖学术奖” ,两会中的邹崇理、曹予生和徐颂列获此殊荣 ,加上往届的获奖者贝新祯、瞿麦生和黄华新 ,两会共有 6人得奖。因此大会第一阶段的议程就是请到会的获奖者报告他们的研究成果。邹崇理的获奖成果是专著《逻辑、语言和蒙太格语法》。在报告中他着重介绍了近30年来以蒙太格语法为基础的逻辑语法诸流派的发展状况 …     

语气情态的语法、语义和语用

语言是人类的交际工具。人们说话总是有一定的目的,都是为了表达各种思想情态的,具体说,人们所说的每句话总是带有一定的语气情态的,并且每种语气情态都要选用一定的语言形式来表达。所以研究现代汉语的语气情态的语法、语义及语用是非常重要的。一、语气情态的语法和语义语气在语言中属于语法范畴,它是表示一个句子的不同表达作用的语法手段,也是语言的一种表达形式。     

关于语言逻辑问题

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

含例邻域逻辑的萨奎斯特对应理论（英文）

本文给出含例邻域逻辑的萨奎斯特对应理论。这种逻辑可以讨论一个可能世界的邻域的存在性信息,是关系语义和邻域语义的一种混合。增加的表达力和描述邻域函数的关系特征使我们可以在框架层面讨论这种语言可以定义什么性质,是否可以超越邻域语义的KW片段。我们给出对应定理的两个证明。第一个证明直接使用标准翻译和极小赋值的技术,第二个证明通过双模态翻译将含例邻域逻辑的对应问题转化为经典克里普克语义的双模态逻辑。