广义量词的单调性与其他语义性质之间的关系

广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理.广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性.单调性是广义量词最为重要的语义性质.给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性.     

含有居间量词ｍｏｓｔ的广义三段论的有效性

一般而言,居间量词是语义上的<1,1>类型的广义量词,表示事物或材料所形成的集合之间的二元关系。通过提出并证明23个事实,阐明包含most这一居间量词的有效的广义三段论推理模式。这些创新性成果将会有利于广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理。     

广义量词的各种单调性之间的关系

广义量词理论在集合论的基础上得到发展,提升了一阶逻辑处理现实世界的能力,有助于计算机更好地处理自然语言。单调性是广义量词最为重要的语义性质。1类型广义量词的单调性与其亲缘量词的单调性之间具有可转换关系,同一个1,1类型广义量词的不同单调性之间也具有可转换关系,这些转换关系可以用数字三角形简图进行直观验证。     

百分比量化逻辑初探

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

基于广义量词单调性的自然语言推理模式研究

广义量词理论是现代逻辑学、理论语言学、计算语言学等交叉领域的重点研究内容之一。利用广义量词的单调性可以解释或判断自然语言推理的有效性。对此有十二个事实和十二个推论可以印证。此项研究对计算机科学中的知识推理和广义量词理论的发展都具有较为重要的理论价值和实践意义。     

弗雷格的“普遍性”思想——基于句子图式的视角

“普遍性”是弗雷格概念文字的初始符号。弗雷格有关“普遍性”的探讨其实是关于全称量词的探讨,他基于“普遍性”符号,从现代逻辑的视角对全称量词进行了说明。在这样的说明下,全称量词是表达思想的普遍性的语言标志,全称量词的涵义是思想的一部分,全称量词的意谓是二阶概念,它通过对个体域的限定,从而对(一阶)概念加以限制。运用概念文字,弗雷格揭示了自然语言中表达普遍性思想的句子的逻辑形式。借助于王路教授提出的句子图式,可以从语言、涵义和意谓三个层面分析弗雷格关于“普遍性”的思想。弗雷格的“普遍性”思想对现代逻辑和语言哲学都具有重要的理论意义。     

关于居间广义量词“few”的广义三段论的有效性

在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词.利用广义量词理论给出居间量词的语义定义,再利用集合论证明广义三段论的有效性,这一研究方法也适用于研究关于其他广义量词的广义三段论的有效性;为有助于自然语言信息处理,提出并证明了居间广义量词few的12个有效的广义三段论.     

基于焦点信息量化讨论的存现句类型分析

作为自然语言逻辑重要组成部分的广义量词理论在国内还未引起广泛关注。将该理论与语言研究结合起来,根据强弱性质的不同,量词可分为比例量词限定词和基数量词限定词。通过焦点信息的量化分析将英语存现句分成四类:表示基本存在、表示描述、表示任务、表示清单。其中,在表示基本存在和表示描述的存现句中只能出现基数量词限定词,在表示清单存现句中只能出现比例量词限定词,而在表示任务存现句中量词类型则不受限制。     

基于广义量词almostall的广义三段论的语篇推理探究

自然语言语篇推理是自然语言信息处理、计算机科学中的知识表示和知识推理的重点与难点内容之一。利用广义量词理论、集合论和模糊逻辑相关知识,可以简洁明了地对包含 al-most all 的广义三段论进行形式化的表示和证明。对此有18个事实可以印证。在广义三段论形式化和有效性研究的基础上,可以探讨由两个及以上的广义三段论嵌套而成的自然语言语篇推理。这些创新性成果和研究方法,将为考察包含其他广义量词的广义三段论的形式化、有效性及其相关语篇推理提供一个简洁合理的数学范式。     

关系命题的语形和语义——一个逻辑分析的实例

当关系命题的两个关系者词被全称和存在两个量词约束时，即所有事物与有些事物有某关系或有些事物与所有事物有某关系，如何正确表达和理解这类命题的含义以及它们之间的关系？这是现代逻辑必须研究和解决的问题。可以运用一阶逻辑工具及其解释的方法，分析该类命题的语形和语义，揭示不同量词在关系命题中位置变化的规律，对关系命题相应的普效式、可满足式给出严格的证明，从而提供一个逻辑分析实例。     

广义量词的推理模式研究

基于Peters和Westersthl(2006)、Moss(2010, 2011)、Chow Ka Fat(2012)等相关文献的工作,可进一步概括出广义量词的三种主要推理模式：论元结构推理、单调性推理和广义三段论推理。可以用大量实例对这些推理模式加以说明。由于广义量词在自然语言中普遍存在,这些研究对计算机科学中的知识表示和知识推理等方面具有重要意义。     

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

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

经典一阶逻辑的希尔伯特型系统

系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法。作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z'的完全性。     

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

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

上古三种数学文献中的量词

上古三种数学文献中共有量词37个，其中名量词35个，动量词2个，此时动量词还未能完全摆脱其动词的本质，还处于萌芽状态，但量词系统已逐渐趋于完备。数量表示法共计2104例，其中表物量2097例，表动量7例，使用量词1747例。占83％。说明量词已经成为稳固的语言成份。“数·量·名”这种最成熟的数量表示形式只有7例，仅占0．3％，反映出此时的数量表示法还处于未完全成熟阶段。     

汉语疑问词岛效应的语用预设新解

原因疑问词“为什么”与其它疑问词不同，它遵守岛效应，不能在复合名词组、主语、附加语等岛外解释。这种差异与原因问句的预设有关。“谁”“什么”“哪里”“什么时候”“怎么样”这五个疑问词都是具有疑问性质的存在量词，其答句用来确定存在量词的值。原因问句的预设中不包含任何存在量词，其预设是陈述句，而且该陈述句的命题值为真。原因问句的提问对象随句子焦点的变化而变化，其答句解释焦点优于选项命题集合中其它成员的原因。原因疑问词“为什么”的辖域位置与句法位置相同，因此在逻辑式不移位，无法在岛外解释。     

自然语言语篇推理的形式化探究

不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,也可以对基于广义三段论的语篇推理的有效性加以判定。换言之,利用广义量词理论可以形式化地解释和证明自然语言语篇推理。