《3数理逻辑的发展概况和科学意义-王乡昊.doc》由会员分享，可在线阅读，更多相关《3数理逻辑的发展概况和科学意义-王乡昊.doc（6页珍藏版）》请在金锄头文库上搜索。
1、数理逻辑的发展概况和科学意义王乡昊包头师范学院数学科学学院摘要：数理逻辑又叫“现代逻辑”，是采用数学的方法研究思维形式的逻辑结构及其规律的。一门科学。本文主要介绍了数理逻辑的产生、发展的历程及其科学意义。关键词：数理逻辑 命题演算 谓词演算 集合论 直言三段论逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 （一）数理逻辑的产生 利用计算的方法来代替人们思维中的逻辑推理过程，这种想法早在十七世纪就有人提出过。莱布尼茨就曾经设想过能不能创造一种“通用的科学语言”，可以把推理过程象数学一样利用公式
2、来进行计算，从而得出正确的结论。由于当时的社会条件，他的想法并没有实现。但是它的思想却是现代数理逻辑部分内容的萌芽，从这个意义上讲，莱布尼茨的思想可以说是数理逻辑的先驱。 1847年，英国数学家布尔发表了逻辑的数学分析，建立了“布尔代数”，并创造一套符号系统，利用符号来表示逻辑中的各种概念。布尔建立了一系列的运算法则，利用代数的方法研究逻辑问题，初步奠定了数理逻辑的基础。 十九世纪末二十世纪初，数理逻辑有了比较大的发展，1884年，德国数学家弗雷格出版了数论的基础一书，在书中引入量词的符号，使得数理逻辑的符号系统更加完备。对建立这门学科做出贡献的，还有美国人皮尔斯，他也在著作中引入了逻辑符号。
3、从而使现代数理逻辑最基本的理论基础逐步形成，成为一门独立的学科。 （二）数理逻辑的内容 数理逻辑包括哪些内容呢？这里我们先介绍它的两个最基本的也是最重要的组成部分，就是“命题演算”和“谓词演算”。 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。 如果我们把命题看作运算的对象，如同代数中的数字、字母或代数式，而把逻辑连接词看作运算符号，就象代数中的“加、减、乘、除”那样，那么由简单命题组成复合命题的过程，就可以当作逻辑运算的过程，也就是命题的演算。 这样的逻辑运算也同代数运算一样具有一定的性质，满足一定的运算规律
4、。例如满足交换律、结合律、分配律，同时也满足逻辑上的同一律、吸收律、双否定律、狄摩根定律、三段论定律等等。利用这些定律，我们可以进行逻辑推理，可以简化复合命题，可以推证两个复合命题是不是等价，也就是它们的真值表是不是完全相同等等。 命题演算的一个具体模型就是逻辑代数。逻辑代数也叫做开关代数，它的基本运算是逻辑加、逻辑乘和逻辑非，也就是命题演算中的“或”、“与”、“非”，运算对象只有两个数 0和 1，相当于命题演算中的“真”和“假”。 逻辑代数的运算特点如同电路分析中的开和关、高电位和低电位、导电和截至等现象完全一样，都只有两种不同的状态，因此，它在电路分析中得到广泛的应用。 利用电子元件可以组
5、成相当于逻辑加、逻辑乘和逻辑非的门电路，就是逻辑元件。还能把简单的逻辑元件组成各种逻辑网络，这样任何复杂的逻辑关系都可以有逻辑元件经过适当的组合来实现，从而使电子元件具有逻辑判断的功能。因此，在自动控制方面有重要的应用。 谓词演算也叫做命题涵项演算。在谓词演算里，把命题的内部结构分析成具有主词和谓词的逻辑形式，由命题涵项、逻辑连接词和量词构成命题，然后研究这样的命题之间的逻辑推理关系。 命题涵项就是指除了含有常项以外还含有变项的逻辑公式。常项是指一些确定的对象或者确定的属性和关系；变项是指一定范围内的任何一个，这个范围叫做变项的变域。命题涵项和命题演算不同，它无所谓真和假。如果以一定的对象概念
6、代替变项，那么命题涵项就成为真的或假的命题了。 命题涵项加上全程量词或者存在量词，那么它就成为全称命题或者特称命题了。 （三）数理逻辑的发展 数理逻辑这门学科建立以后，发展比较迅速，促进它发展的因素也是多方面的。比如，非欧几何的建立，促进人们去研究非欧几何和欧氏几何的无矛盾性，就促进了数理逻辑的发展。 集合论的产生是近代数学发展的重大事件，但是在集合论的研究过程中，出现了一次称作数学史上的第三次大危机。这次危机是由于发现了集合论的悖论引起。什么是悖论呢？悖论就是逻辑矛盾。集合论本来是论证很严格的一个分支，被公认为是数学的基础。 1903年，英国唯心主义哲学家、逻辑学家、数学家罗素却对集合论提出
7、了以他名字命名的“罗素悖论”，这个悖论的提出几乎动摇了整个数学基础。 罗素悖论中有许多例子，其中一个很通俗也很有名的例子就是“理发师悖论”：某乡村有一位理发师，有一天他宣布：只给不自己刮胡子的人刮胡子。那么就产生了一个问题：理发师究竟给不给自己刮胡子？如果他给自己刮胡子，他就是自己刮胡子的人，按照他的原则，他又不该给自己刮胡子；如果他不给自己刮胡子，那么他就是不自己刮胡子的人，按照他的原则，他又应该给自己刮胡子。这就产生了矛盾。 悖论的提出，促使许多数学家去研究集合论的无矛盾性问题，从而产生了数理逻辑的一个重要分支公理集合论。 非欧几何的产生和集合论的悖论的发现，说明数学本身还存在许多问题，为
8、了研究数学系统的无矛盾性问题，需要以数学理论体系的概念、命题、证明等作为研究对象，研究数学系统的逻辑结构和证明的规律，这样又产生了数理逻辑的另一个分支证明论。 数理逻辑新近还发展了许多新的分支，如递归论、模型论等。递归论主要研究可计算性的理论，他和计算机的发展和应用有密切的关系。模型论主要是研究形式系统和数学模型之间的关系。 数理逻辑近年来发展特别迅速，主要原因是这门学科对于数学其它分支如集合论、数论、代数、拓扑学等的发展有重大的影响，特别是对新近形成的计算机科学的发展起了推动作用。反过来，其他学科的发展也推动了数理逻辑的发展。 正因为它是以门新近兴起而又发展很快的学科，所以它本身也存在许多问
9、题有待于深入研究。现在许多数学家正针对数理逻辑本身的问题，进行研究解决。 总之，这门学科的重要性已经十分明显，他已经引起了更多人的关心和重视。1 理逻辑的发展前前史时期古典形式逻辑时期：亚里斯多德的直言三段论理论初创时期逻辑代数时期（17世纪末）资本主义生产力大发展，自然科学取得了长足的进步，数学在认识自然科学技术方面起到了相当重要的作用。人们希望使用数学的方法来研究思维，把思维过程转换为数学的计算。莱布尼兹(Leibniz, 16461716)完善三段论，提出了建立数理逻辑或者说理性演算的思想：提出将推理的正确性化归于计算，这种演算能使人们的推理不依赖于对推理过程中的命题的含义内容的思考，将
10、推理的规则变为演算的规则。使用一种符号语言来代替自然语言对演算进行描述，将符号的形式和其含义分开。使得演算从很大程度上取决与符号的组合规律，而与其含义无关。布尔(G. Boole, 18151864)代数：将有关数学运算的研究的代数系统推广到逻辑领域，布尔代数既是一种代数系统，也是一种逻辑演算。2. 数理逻辑的奠基时期 弗雷格(G. Frege, 18481925)：概念语言一种按算术的公式语言构成的纯思维公式语言(1879)的出版标志着数理逻辑的基础部分命题演算和谓词演算的正式建立。 皮亚诺(Giuseppe Peano, 18581932)：用一种新的方法陈述的算术原理(1889)提出了自
11、然数算术的一个公理系统。 罗素(Bertrand Russell, 18721970)：数学原理(与怀特黑合著，1910, 1912, 1913)从命题演算和谓词演算开始，然后通过一元和二元命题函项定义了类和关系的概念，建立了抽象的类演算和关系演算。由此出发，在类型论的基础上用连续定义和证明的方式引出了数学（主要是算术）中的主要概念和定理。 逻辑演算的发展：甘岑(G. Gentzen)的自然推理系统(Natural Deduction System)，逻辑演算的元理论：公理的独立性、一致性、完全性等。 各种各样的非经典逻辑的发展：路易斯(Lewis, 18831964)的模态逻辑，实质蕴涵怪论
12、和严格蕴涵、相干逻辑等，卢卡西维茨的多值逻辑等。3 第三次数学危机与逻辑 集合论的悖论使得人们觉得数学产生了第三次危机，提出了数学的基础到底是什么这样的问题。 罗素等的逻辑主义：数学的基础是逻辑，倡导一切数学可从逻辑符号推出，数学原理一书是他们这一思想的体现。为解决悖论产生了逻辑类型论。 布劳维尔(Brouwer, 18811966)的直觉主义：数学是心灵的构造，只承认可构造的数学，强调构造的能行性，与计算机科学有重要的联系。坚持潜无穷，强调排中律不能用于无穷集合。海丁(Heyting)的直觉主义逻辑。 希尔伯特(D. Hilbert)的形式主义：公理化方法与形式化方法，元数学和证明论，提倡将
13、逻辑演算和数学证明本身形式化，把用普通的语言传达的内容上的数学科学变为用数学符号和逻辑符号按一定法则排列的一堆公式。为了消除悖论，要数学建立在公理化基础上，将各门数学形式化，构成形式系统，并证明其一致性，这是希尔伯特的数学纲领。4. 数理逻辑的发展 哥德尔(Godel, 19061978)不完全性定理：一个足够强大的形式系统，如果是一致的则不是完全的，即有的判断在其中是不可证的，既不能断定其为假，也不能证明其为真。 各种计算模型：哥德尔的递归函数理论，邱吉尔的l演算，图灵机模型 这些计算模型是计算机科学的理论基础，是计算机的理论模型。 现在数理逻辑已基本形成如下几大分支： 1 公理化集合论（与
14、逻辑演算同时成熟） 2 证明论 3 递归函数论/能性性理论 （逻辑演算成熟之后才发展起来） 4 模型论 5 逻辑演算。（四）数理逻辑的科学意义 数理逻辑发展到今天，已成熟为一门崭新的科学，具有强大的生命力和广泛的影响。一方面由于它对数学的贡献和在计算机科学中的应用，另一方面还在于它的理论和方法对其他科学的作用。1. 数理逻辑所研究的许多问题都与哲学的认识论和方法论有关。2. 促进新型科学的研究（人工智能、系统工程、管理学等）。3. 数理逻辑高度抽象和严密精确的形式系统是训练培养人们的能力以及提高思维水平的一个重要方法。4. 数理逻辑对自然科学、社会科学和思维科学的发展有重要意义。5. 数理逻辑所研究的各种系统的过程产生了模态逻辑、规范逻辑、时态逻辑、多值逻辑和模糊逻辑等逻辑系统。总之，学习和掌握数理逻辑，能够进一步提高人们的抽象思维能力，极大的促进各种理论科学的发展。数理逻辑的进一步发展，必将为更多的学科开辟新的研究方向和道路。参考文献：1.莫绍揆 数理逻辑导论 上海科学技术出版社 19652.王宪钧 数理逻辑引论 北京大学出版社 19823.刘治旺 简明数理逻辑基础 福建人民出版社 19854.毕富生 数理逻辑 高等教育出版社 20035.徐洁磐 离散数学导论 高等教育出版社 19916.李树琦 现代逻辑学 重庆出版社 1989
