现代逻辑学发展史.pptVIP

逻辑学是一门古老而又年轻的科学 古老 Aristotle——逻辑学 Leibnitz——数理逻辑 Gottlob Frege (1848-1925)——一阶谓词演算系统,《符号论》 20世纪30年代，数理逻辑广泛发展 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 利用计算的方法来代替人们思维中的逻辑推理过程，这种想法早在十七世纪就有人提出过。 莱布尼茨就曾经设想过能不能创造一种“通用的科学语言”，可以把推理过程象数学一样利用公式来进行计算，从而得出正确的结论。由于当时的社会条件，他的想法并没有实现。但是它的思想却是现代数理逻辑部分内容的萌芽，从这个意义上讲，莱布尼茨可以说是数理逻辑的先驱。 1847年，英国数学家布尔发表了《逻辑的数学分析》，建立了“布尔代数”，并创造一套符号系统，利用符号来表示逻辑中的各种概念。布尔建立了一系列的运算法则，利用代数的方法研究逻辑问题，初步奠定了数理逻辑的基础。 十九世纪末二十世纪初，数理逻辑有了比较大的发展，1884年，德国数学家弗雷格出版了《数论的基础》一书，在书中引入量词的符号，使得数理逻辑的符号系统更加完备。 对建立这门学科做出贡献的，还有美国人皮尔斯，他也在著作中引入了逻辑符号。从而使现代数理逻辑最基本的理论基础逐步形成，成为一门独立的学科。 库尔特·哥德尔（Kurt Gouml;del）（1906年4月28日—1978年1月14日）是位数学家、逻辑学家和哲学家。其最杰出的贡献是哥德尔不完全性定理和连续统假设的相对协调性证明。 哥德尔发展了冯·诺伊曼和伯奈斯等人的工作，其主要贡献在逻辑学和数学基础方面。 在20世纪初，他证明了形式数论（即算术逻辑）系统的「不完全性定理」：即使把初等数论形式化之后，在这个形式的演绎系统中也总可以找出一个合理的命题来，在该系统中既无法证明它为真，也无法证明它为假。这一著名结果发表在1931年的论文中。 他还致力于连续统假设的研究，在1930年采用一种不同的方法得到了选择公理的相容性证明。3年以后又证明了（广义）连续统假设的相容性定理，并于1940年发表。他的工作对公理集合论有重要影响，而且直接导致了集合和序数上的递归论的产生。 哥德尔思想的博大精深，“恰是远在天边的一处幽秘风景，虽令人心弛神往却难以身临其境”；所以，要领略那一处风景，“实在得有一种能够顾盼几个世纪的历史眼光才行”。 人们对于爱因斯坦并不陌生，但对于被他视为知己的普林斯顿高等研究院的同事哥德尔却不甚了解。哥德尔无疑是一位智慧巨人，美国《时代》杂志评选出对20世纪思想产生重大影响的100人中，哥德尔列为第四。 他的不完全性定理不仅使数学发生革命性的变化，而且改变了整个科学世界和建筑于此定理之上的哲学，还波及语言学、计算机科学、宇宙学，甚至包括法律上的“无罪推定”。对于人类来说，不了解哥德尔就不了解人类已达到的智力水平与人类智力奋斗的历程，也就无法了解我们这个世界在思想观念上已经发生或正在发生的深刻变化。 哥德尔被认为是自亚里士多德以来最伟大的逻辑学家。哥德尔定理粉碎了逻辑最终将使我们理解整个世界的梦想，同时也引发了许多富有挑战性的问题：什么是理性思维的界限？我们能够完全理解我们自己造的机器吗？我们能够搞清楚我们心智的内在工作过程吗？ 自古以来，人类一直在给知识的确定性寻找一个坚实的基础。从亚里士多德使逻辑学成为一个专门的学科开始，甚至哲学上无休止的争论也是源于对我们的知识是否有确定性以及这种确定性的来源的争论。但逻辑学家、数学家与哲学家不同，他们不满足于仅仅给知识的确定性一个形而上学的解释，他们希望用逻辑与数学为人类的知识建立一个严格的、自满自足的、与形而上学无关的基础。科学家们一直坚信，总有一个完备的公理化系统，任何命题在其中或被证明为真、或被证明为伪。有了这样一个一劳永逸的系统，任何知识都可以被证明、被推导或者被确认。???  1930年初，信心满满的希尔伯特在自己的出生地哥尼斯堡接受“荣誉市民”的演说时还乐观地说：“我们必须知道，我们必将知道。” 但同样在1930年秋于哥尼斯堡举行的科学哲学讨论会上，年方25岁的哥德尔在会议即将结束时宣布了那个革命性的发现——不完全性定理。简单说就是在一个稍微复杂（例如包含算术中的加法和乘法）的形式系统中，存在一些命题，我们既不能证明它是真的，也不能证明它是假的。换言之，一个定理的真假和它的可证性不是一回事。 这与我们对数学的传统观念大不相同。过去对于数学中的一个问题，我们怎样确定说它被解决了呢？要么你给出一个证明，要么你给出一个反例说明这个定理不成立。这两种情形不论哪种都可以使问题得到解决。但这个不完全性定理却大大颠