一、研究背景-北京大学哲学系.docVIP

复合谓词逻辑系统 一、研究背景 随着现代逻辑的不断发展，逻辑学的研究对象已由数学和哲学领域拓展到自然语言、认知科学和计算机信息科学等更为广泛的应用科学领域，并推动了这些应用科学的进步，同时应用学科的发展也对逻辑学提出了新的要求，促进了逻辑学的发展。 在现代逻辑学中，自然语言逻辑作为逻辑和语言交叉研究的成果，尽管诞生时间不长，但已经成为现代逻辑学中极具生命力和发展前途的一类，并且自然语言逻辑的研究也已取得了丰硕的成果，实践价值显著。 所谓自然语言指的是人类在长期共同社会生活交流中形成的语言，如英语、汉语、法语、德语等。自然语言逻辑研究源自计算机对自然语言进行形式化处理，使其能被计算机理解和处理。因为自然语言与逻辑系统两者的构成方式有类似之处，都是由小单元根据一定的构成规则组成大单元，同时接受语义模型解释。从某种角度说，自然语言系统内在可被视为是逻辑系统，而逻辑系统也可视为是一种符号语言系统。逻辑学也是计算机的理论基础之一，所以运用逻辑学研究自然语言，研究自然语言的逻辑特征和语义问题，构造符合自然语言语法规则的逻辑系统及其模型，使其可以描述语言中的语句和推理，并得到有效的推理，是自然语言逻辑的主要目的和任务。 计算机处理自然语言，首先需要形式化所关注的自然语言问题，然后再把形式化表述用算法表示出来，最后根据算法编制程序，用计算机实现。目前自然语言逻辑系统的主要应用和实现领域在计算机信息科学，随着计算机信息科学的发展，能被计算机理解和处理的要求越来越高。目前的自然语言逻辑系统很多，但为了满足语言的复杂性，逻辑的阶数越来越高，逻辑系统更加庞杂。我们希望能用基本的一阶逻辑系统符号化表述自然语言及其推理过程，使其成为能被计算机所处理的信息数据。 二、研究思路 本研究旨在用一阶逻辑来研究自然语言，构造一种更为精细的描述自然语言的一阶谓词逻辑系统。 研究将从阐述目前研究自然语言的几类主流逻辑开始，简单综述他们的理论系统和发展，分析其优势和研究角度。在此基础上，提出一种新的一阶逻辑——复合谓词逻辑，构造逻辑系统，讨论其逻辑性质，并从模型论的角度讨论系统中性质。最后对研究中涉及的问题进行深一步探讨和总结。论文的重点将置于所构建的复合谓词逻辑系统。 自然语言中的最小最基本的语法单元是“词”。根据词语在句法中的作用的不同分为实词和虚词两大类。实词能够单独充当句法成分，包括名词、动词、形容词、数词、量词、副词、代词。虚词的主要作用是连接和附着，包括连词、介词、助词，以及叹词和象声词。根据句法规则，由这些词组成自然语言系统中的一个个句子。从语言的构成和表述过程来看，自然语言中的一个语句可以被视作由各种类的词依据句法形成规则组成的合式公式。已有的逻辑系统中，有忽略其语义，仅对结构进行分析，在实际应用中，不能满足对语义表达越来越高的要求；也有根据其语义对语句进行表述，这样会有词语的多变性和复杂性等造成符号表达过于细致，从而不得不借助其它工具，造成复杂度过高。因此我们希望能够兼顾语义和语言结构两者，首先忽略语义，先从实词开始，研究不同的词性的词在语句表达中的规则和性质，从而构造相应的逻辑系统。当构造完逻辑系统后，可以对其进行语义和内涵的扩充，从而增强实用性和表达性。本研究期待完成的是开始的部分工作，即对几类基本的词构造相应的逻辑系统。 在研究中，我们使用的是一阶谓词逻辑，因此复杂性较低。首先根据名词这一种最基本最常用的词构建一个一阶谓词逻辑系统。根据句法规则中形容词和动词可直接修饰名词，因此我们对该谓词逻辑系统分别引入描述形容词的性质词和描述动词的动作词，构建复合谓词逻辑系统。然后我们将讨论已构建的复合谓词逻辑系统的逻辑特征，即其一致性、有效性和完备性等。按照形容词和动词在使用中的不同，我们将性质词和动作词分成不同的类，并用构造模型和公理化的方法讨论其语义特征，将性质词、动作词再精细化，增强系统表达能力，使其能更细致地处理表示形容词和动词。副词在语句构成中用于修饰形容词和动词，因此我们在构建好的两个复合逻辑系统中引入副词，对扩张后系统的有效性、一致性和完全性等逻辑性质进行证明，讨论其相关的语义特征。在完成这些工作后，我们将对接下来的工作进行一些展望和延伸，同时对论文中相关的哲学意义和理论进行探讨。 三、研究框架： 第一部分： 综述在计算机科学中通行的几种关于自然语言研究的现代逻辑理论。 范畴类型逻辑序列： 自然语言可以看成是一个由较小语言成分形成较大语言成分的符号体系，这种由较小语言成分形成较大语言成分的性质被称为自然语言的毗连性（concatenation），在自然语言中，通过有限个较小语言结构的毗连，自然语言逐层逐级增长扩张，这种现象我们称之为自然语言的生成性（generation）或能产性。自然语言的这种生成毗连性即是范畴语法的切入点，范畴类型逻辑把自然