论文部分内容阅读
自然语言的意义很大程度上依赖量化表达式,人工逻辑语言的表达式也不能缺少量词,人们在使用语言进行日常推理时,更是离不开量词。因此,量化问题的研究是自然语言逻辑研究的一个重要的或者说核心的内容。然而,就目前的研究状况来看,汉语量化问题的研究与英语相比较还不够深入,也没有形成系统。本文以广义量词理论和时态逻辑为理论工具,运用语言学相关的研究成果对汉语量化表达式进行系统的逻辑语义研究;在此基础上探讨汉语简单量词的逻辑性质和单调性问题,并对汉语简单量化句推理进行系统研究。
首先,从汉语量化现象入手,分析梳理汉语量化表达式的类型。并分析不同类型汉语量化表达式的语义特征,给出针对不同类型量化表达式的不同解决方案。说明为什么除基于广义量词理论对汉语量化表达式进行逻辑分析外,还需要基于时态逻辑理论对汉语量化表达式进行逻辑分析;以及说明为什么在对量化表达式语义分析的基础上还需要分析汉语简单量词的逻辑性质以及单调性和推理问题。
其次,基于广义量词理论对汉语量化表达式进行逻辑分析。先介绍广义量词理论的基本思想和主要方法,为研究汉语限定量词做好理论准备。利用语言学的研究成果对包含限定量词的汉语量化表达式进行分类并分析其语义特征。再基于广义量词理论从逻辑角度系统地刻画包含限定量词的汉语量化表达式的语形和语义。
第三,基于时态逻辑理论对汉语量化表达式进行逻辑分析。先介绍时态逻辑产生的背景及意义,然后引入两个时态逻辑的基本命题逻辑系统,为研究汉语量化副词做好理论准备。在此基础上,从语言学角度对汉语量化副词进行分类,并使用时态逻辑工具对各类量化副词进行语义刻画,最后从逻辑角度对包含量化副词的汉语简单量化句进行深层结构分析。
第四,在深入分析汉语量化表达式语义的基础上,探讨汉语简单量词的逻辑性质、单调性和推理问题。首先介绍量词的逻辑性质和单调性的定义,然后分析各种汉语简单量词的逻辑性质,并运用集合运算法则对各种简单量词的单调性进行一一证明。在此基础上,进一步讨论汉语简单量化句之间的推理问题。先系统地探讨汉语简单量化句之间的单调推理,为很多直观上成立的自然语言推理提供理论依据;然后把传统逻辑中的对当关系推理拓展到其它类型的汉语简单量化句,并证明其对当关系的成立。
总之,本文以广义量词理论和时态逻辑为主要理论依据,试图分析和讨论包含限定量词和量化副词的汉语量化表达式的语义,并进一步讨论汉语各种简单量词的逻辑性质和单调性,最后在精确分析汉语量化表达式语义的基础上对汉语简单量化句的推理问题进行系统的研究。