浅论对数理逻辑的认识-论文.docVIP

大学研究生学位课程论文 论 文 题 目： 浅论对数理逻辑的认识 浅论对数理逻辑的认识 摘要： 数理逻辑就是用数学方法研究思维形式的逻辑结构及其规律的科学。数理逻辑在数学、计算机科学、语言研究、哲学等领域都已应用, 我国学者在这些方面也都有突出的研究成果。数理逻辑学的任务在于探讨如何为整个数学建立严格的逻辑基础,其特点在于使用形式化的方法包括公理化的方法,因而比较抽象和艰深。本文介绍了数理逻辑的产生，数理逻辑在中国的发展，制约数理逻辑在我国普及发展的社会及文化原因，数理逻辑的应用研究，学习数理逻辑学的意义。 关键词：逻辑演算；人工智能；示范作用； 第一章 数理逻辑的产生 数理逻辑的定义:数理逻辑是用数学方法研究诸如推理的有效性、证明的真实性、数学的真理性和计算的可行性等这类问题中的逻辑问题的一门学问.当然，对此也可等价地这样说:数理逻辑是用数学方法研究各种推理中之逻辑问题的一门学问.其中主要包括推理的有效性、证明的真实性、数学的真理性、计算的能行性等这类问题中的逻辑问题.数理逻辑的研究对象:数理逻辑以推理本身作为自己的研究对象，其中主要包括演绎推理、形式推理、数学推理和各种近现代的非经典推理. 数理逻辑的研究领域:作为数理逻辑之研究领域的历史性确认部分包括逻辑演算、集合论、模型论、递归论和证明论等五大块.但作为数理逻辑研究领域之近现代发展部分，还应包括诸如模态逻辑、多值逻辑、非单调逻辑、归纳逻辑、似然逻辑、不协调逻辑、信念修正、开放逻辑、中介逻辑和中介公理集合论等等各种各样的非经典逻辑分支.数理逻辑的学科归属:数理逻辑是逻辑和数学互相交织在一起的一门边缘性学科，或者说，数理逻辑既是一门逻辑化了的数学分科，又是一个数学化了的逻辑分支。 1.数理逻辑创建于17世纪末, 创始人是德国哲学家和数学家莱布尼兹。数理逻辑初创时期的主要特点是用代数方法处理古典形式逻辑的推理, 延续了大约200年。。 由于当时数学方法在认识自然、发展技术方面起了十分重要的作用, 因而一些思想家提出了把数学方法推广到其他科学领域的设想, 试图用数学方法来研究思维, 把思维过程转换为数学的计算。法国哲学家笛卡。儿认为, 数学是最重要的学科, 提出了建立“ 普遍数学” 的思想。从亚里士多德至世纪, 古典形式逻辑在逻辑形式化方面取得了许多成就。这为用数学方法处理古典形式逻辑创造了前提。另一方面, 古典形式逻辑的局限性随着科学的发展日益明显, 它囿于主谓命题及其推理, 不能处理关系命题及其推理。。综上所述, 数理逻辑的产生有深刻的社会历史基础、自然科学基础和逻辑本身发展的基础具体地说, 资本主义上升时期生产力的突飞猛进的发展, 自然科学的长足进步, 数学方法的广泛应用, 古典形式逻辑在逻辑形式化方面的成果以及克服其局限性的客观要求, 就是数理逻辑在世纪产生的前提。 2.数理逻辑中的三大学派。数理逻辑中的三大学派围绕着解决第三次数学危机, 在数理逻辑中产生了三大学派—逻辑主义学派、形式主义学派和直觉主义学派。这里仅简要说明一下三大学派的主要工作及其成就。 第二章 数理逻辑在中国的发展 1.自20世纪20年代起, 数理逻辑传入了中国, 并沿着自己的道路在中国发展。在中国, 最先介绍数理逻辑的是汪奠基, 而后影响较大的是金岳霖。新中国成立后, 我们自己培养的数理逻辑研究队伍在不断地发展壮大。数理逻辑分别有逻辑演算、递归论、模型论、公理集合论、证明论。我国数理逻辑工作者近年来在这几方面都取得了相当大的进展。 2.1927年商务印书馆出版了汪奠基的《逻辑与数学逻辑导论》。这是中国最早的一本较系统介绍数理逻辑及其发展史的著作。汪奠基介绍了数理逻辑从莱布尼兹、德摩根、布尔到罗素的发展,并把罗素看作数理逻辑的完成者。他用罗素的符号重点地介绍了命题逻辑、类逻辑和关系逻辑的一些直观上明显的定理和等值关系、蕴涵关系上的运算, 而没有介绍定理的证明以及演算系统。汪奠基还介绍了数理逻辑中一些有重要哲学意味的问题, 如无穷问题、逻辑悖论问题。他很推崇数理逻辑, 认为数理逻辑是传统逻辑的发展, 是高一阶段的形式逻辑, 有重要应用, 而概率演算乃是数理逻辑在归纳逻辑领域应用的产物。 3.对中国传播与发展数理逻辑有重大影响的是金岳霖。金岳霖1920年在美国哥伦比亚大学获政治学博士以后, 1921年又到英国伦敦大学留学, 深受罗素的影响. 1935年他授课的讲义由清华铅印, 书名《逻辑》.《逻辑》一书作为教材当时在世界上也是先进的。解放前, 它为我国一些大学所采用, 因而这时我国大学的逻辑教学并不落后。受此书和金岳霖的影响, 我国一些学者走上了研究数理逻辑之路。清华大学毕业的沈有鼎、王宪钧,