《第一讲逻辑与公理化系统.doc》由会员分享，可在线阅读，更多相关《第一讲逻辑与公理化系统.doc（13页珍藏版）》请在金锄头文库上搜索。
1、第一讲数理逻辑与公理化系统逻辑是人通过概念、判断、推理、论证来理解和区分客观事物的思维过程，逻辑思维，人们在认识过程中借助于概念、判断、推理等思维形式能动地反映客观现实的理性认识过程，又称理论思维。它是作为对认识着的思维及其结构以及起作用的规律的分析而产生和发展起来的。只有经过逻辑思维，人们才能达到对具体对象本质规定的把握，进而认识客观对象。它是人的认识的高级阶段，即理性认识阶段。概念是反映事物内的本质属性及其分子的的思维形式，是抽象的、普遍的想法、观念或充当指明实体、事件或关系的范畴或类的实体。其特征是概念的内涵（内容）和外延（包含在概念中的事物）；判断的特征是对事物有所断定且有真假；演绎推
2、理的特征是如果前提真，则结论真；（数学的逻辑推理通常是演绎推理）定义是揭示概念内涵的逻辑方式，是用简洁的语词揭示概念反映的对象特有属性和本质属性。定义的基本方法是“种差”加最邻近的“属”概念。定义的规则：一是定义概念与被定义概念的外延相同；二是定义不能用否定形式；三是定义不能用比喻；四是不能循环定义。划分 是明确概念全部外延的逻辑方法，是将“属”概念按一定标准分为若干种概念。划分的逻辑规则：一是子项外延之和等于母项的外延；二是一个划分过程只能有一个标准；三是划分出的子项必须全部列出；四是划分必须按属种关系分层逐级进行，不可以越级。数学中的逻辑除了上述特点之外，更重要的是定量的刻画客观事物，在这
3、一过程中，集合是一个基本的概念，它通过集合中的一些关系将事物量化。将具有某种确定的特性的事物的全体称为一个集合。在数学中，在逻辑量化过程中，会用到量词。量词是命题中表示数量的词，分为全称量词和存在量词。全称量词断定所有的个体都具有相关谓词所表示的性质或关系，相当于自然语言中的“一切”、“所有”、“凡”等；存在量词断定存在（即至少有一个，但不一定是每一个）个体具有相关谓词所表示的性质或关系，相当于自然语言中的“有的”、“有”、“至少有一个”、“找得到一个”等。符号表示为（任一）表示全称量词，（存在）表示存在量词，在数学中主要有以下几种形式： 表示 任一具有性质； 表示 存在具有性质（满足条件）；
4、 表示 任一和任一具有关系（满足条件）； 表示 对任一，存在，使得具有关系（满足条件）； 表示 存在，对任一，使得具有关系（满足条件）； 表示 存在，存在 ，使得具有关系（满足条件）；复杂的命题或定理、定义是由这几种形式的组合，其一般形式为： 使得成立。其中为逻辑符号或；为数学表达式。例1 设.证明：若对任何正数有，则.证明（反证） 若结论不成立，则根据实数的有序性，必有.令，则且，这与题设矛盾，从而.数学的定义都是用逻辑的量化形式给出来的，例如极限的定义数列极限定义：设是一个数列，是一个确定的实数（），当时（），有，则称是数列的极限，此时也称数列收敛于。定义中，数列在条件： 是一个确定的实数
5、（），当时（）下的性质是。为了更好地理解定义，从反面看一个数列不收敛，这需要对偶法则。公理系统：从一些公理出发，根据演绎法，推导出一系列定理，这样形成的演绎系统叫做公理系统。欧氏几何学是一个古典的公理系统；现代公理系统的特征：一是严格性；二是选定公理所依据的标准（不是自明的）。形式系统是一个完全形式化了的公理系统，系统包括各种初始符号、形式规则、公理、变形规则。公理4个：第一公理：重言律第二公理：引入律第三公理：析取交换律第四公理：变形规则：一、代入规则；二、分离规则；三、置换规则推演规则（8条），重点介绍求否定规则与对偶规则求否定规则：设为一公式，其中和不出现，其否定式可用以下方法直接得到（
6、1） 被代以（2） 被代以（3） 不出现于部分公式中的被代以（4） 被代以.对偶规则：设为两个公式，在其中和不出现，和是中把和互换的结果，有（1） 从，可得（2） 从，可得注意：求否定规则实质上是数学中的求否命题，对偶规则的本质是命题与其逆否命题等价；由此可以给出对偶法则：设命题为“使得成立。”，则为了得到的否命题的正面叙述，只要将“使得成立。”中的逻辑符号从改为，并将改为它的否定形式即可。例2定义数列发散：，使得例3数集无上界。先看数集有上界：，有则由对偶法则，数集无上界：，有公理系统的作用在于，从一些公理或推演规则出发，把某一范围内的真命题推演出来。因此公理系统要求有两个重要性质，一是完全
7、性（完备性），即从公理出发，能推出多少，是否完全；二是一致性（无矛盾性），即有没有逻辑矛盾，是否一致。一致性定义有几种，一般介绍以下三种：一、 古典定义：一公理系统是一致的，当且仅当，不存在任何公式，和非都在这个系统里可证。二、 语义定义：一公理系统是一致的，当且仅当，一切在这系统里可证的公式都是真的。三、 语法定义：一公理系统是一致的，当且仅当，并非任一合式公式都在这系统里可证。完全性定义有以下三种：一、 语义定义：一公理系统是完全的，当且仅当，一切属于某一特定范围内的真命题都是在这个系统里可证的。二、 语法定义：一公理系统是完全的，当且仅当，如果把一个推演不出的公式作为公理，其结果，所得的
8、系统就不一致。三、 古典定义：一公理系统是完全的，当且仅当，对于任一合式公式，或者是可证的，或者非是可证的。独立性定义：一公式集合是独立的，如果中任一公式都不能根据给定的推演规则从中其它公式推演出来。不同命题的逻辑：（1） 古典逻辑（二值逻辑：真或假，具有排中律）；（2） 多值逻辑（变项和公式的值不止一项）；（3） 模态逻辑；（4） 构造性逻辑（真假概念是与构造的可实现性相联系的，排中律失效）附录：数理逻辑发展简史数理逻辑的五个特征：第一， 数理逻辑是边缘性的学科，在它的范围内，逻辑内容和数学的内容常常交织在一起；第二， 从逻辑角度考虑，数理逻辑是研究演绎方法的科学。演绎方法包括演绎推理和以演
9、绎为基础的证明和公理方法。第三， 在方法方面，数理逻辑使用了特制的符号语言并且在不同部分引用了不同程度的数学方法，随着数理逻辑的进展，还出现了一些新方法，如形式化方法、算术化方法、递归论和模型论方法等。第四， 数理逻辑的很大部分内容已经成长为数学的分支。第五， 数理逻辑的逻辑方面是现代的形式逻辑。狭义的数理逻辑：用数学方研究数学中的演绎思维和数学基础的学科；广义的数理逻辑：包括一切用特制符号和数学方法来研究处理演绎方法的理论，有时也称为符号逻辑（1881年英国逻辑学家J.Venn提出）。数理逻辑的发展阶段从17世纪末莱布尼茨起至今有三百年历史。第一阶段，开始用数学方法研究和处理形式逻辑的时期，
10、初始阶段。在本阶段里，用数学方法研究思维规律的想法开始被提出。从17世纪70年代的莱布尼茨到19世纪末布尔（英国）、德摩根（英国）、施罗德（德国）约200年，其成果是逻辑代数和关系逻辑。莱布尼茨是数理逻辑的创始人，他相信逻辑，更推崇数学方法。他认为，数学之所以能如此迅速的发展，数学知识之所以能如此有效，就是因为数学使用了特制的符号语言，这种符号为表达思想提供了优良的条件。他在数理逻辑方面的贡献：一是成功地将命题形式表达为符号公式；二是构成了一个关于两个概念相结合的演算。布尔是一个自学成才的数学家，1844年发表论文关于分析中的一个普遍方法1849年被聘为爱尔兰考克城皇后学院的教授。他的逻辑著作
11、逻辑的数学分析（1847）和思维规律的考察（1854），布尔的目的是构造一个演绎思维演算，他的指导思想是逻辑关系和某些数学运算甚为类似，代数系统有不同的解释，把解释推广到逻辑领域，就可以构成一思维的演算。1833年G.Peacock（17911858）提出了所谓的“形式永久性原则”，他们把代数学看作为一种关于符号及其组合规律的科学，代数定理只依据于符号所遵守的组合规律，而与符号所涉及的内容无关。布尔在思维规律的考察中说，思维的运算和代数的运算，他们的“规律必须独立地确定是否成立；它们之间的任何形式的相符只能通过比较然后才能建立起来。”根据以上思想，布尔构成了一个抽象代数系统，对于这个系统，他给
12、出了四种解释：一种是类的演算，两种是命题的演算，一种是概率的演算。19世纪后期德国数学家施罗德将布尔代数构成一个演绎系统。英国数学家德摩根是第一个提出关系逻辑理论的人，他提出了域论的概念，德摩根定理是逻辑学上的一个重要定理。第二阶段，19世纪中叶数学科学的发展提出了研究数学思想和数学基础的必要性。数理逻辑适应数学的需要，联系数学实际，在60年的时间内奠定了它的理论基础，创立了特有的新方法，取得了飞跃的发展，成为一门新科学，主要包含以下四个方面：（1）集合论的创立。在19世纪70年代，德国数学家G.Cantor由于数学理论的需要，创立了集合论，奠定了以后发展的基础。集合论是关于无穷集合和超穷数的
13、数学理论；数学里遇到的无穷有：无穷过程、无穷小、无穷大。中国古代和西方希腊时期，数学家们已经接触到无穷过程和无穷小，可是还不能掌握其规律，对他们没有本质的认识。17世纪微积分出现以后，用到了无穷小增量，引起了对无穷小的讨论及唯心主义的攻击（英国哲学家、牧师G.Berkeley在分析学家中写到：“这些消失的增量究竟是什么呢？它们既不是有限量，也不是无穷小，又不是零，难道我们不能称它们为消逝量的鬼魂吗？”）19世纪20年代，A.L.Cauchy明确了诸如收敛性、极限等许多概念，建立了极限理论，使得人们对无穷过程才有了本质的认识。但直到20世纪60年代通过模型论的方法，即非0又非有限数量的无穷小量才
14、重新得到肯定，并在此基础上建立了非标准分析。无穷集合的分类比如狄立克莱函数（分类是必要的）；多维连续统：发现两个不同的无穷集自然数集合和连续统（实数集合）更大的无穷（更大的序数基数的扩大）康托尔定理：良序定理，连续统假设至今未证明；实（在）无穷与潜（在）无穷，康托尔的观点：（1）数学理论必须肯定实无穷；（2）不能把有穷所具有的性质强加于无穷，无穷有其固有的本质；（3）有穷的认识能力可以认识无穷，哲学的无穷和数学的无穷。（2）公理化方法的发展。公理方法的应用是从公元前约300年欧几里得的几何原本开始的，从几何原本到1899年希尔伯特的几何基础共经历了2300多年，从不成熟的实质公理学发展到具有丰
15、富方法论的形式公理学的逻辑理论，这为20世纪公理方法与数学基础的研究开辟了道路。实质公理学，公理学所处理的对象已先于公理而给定。几何原本，牛顿力学都是实质公理学；形式公理学并不要求先给定某一类具体的对象。（3） 逻辑演算的建立19世纪70年代至20世纪初，为了探究数学科学的性质和数学思维的规律，经过德国数学家弗雷格、意大利数学家皮亚诺、英国逻辑学家数学家和哲学家罗素的努力，建立了一个初步自足的完全的逻辑演算。（4）证明论的提出及其后果19世纪中叶，数学基础研究获得了三方面的重要成就：（1）康托尔创建了集合论，加深了对实无穷的认识；（2）希尔伯特发展了形式公理化方法；（3）弗雷格和皮亚诺给出了一个完全的逻辑演算。出现的一些带根本性质问题：（1）是否有实无穷？（2）如何解决康托尔的“一切集合的集合”的悖论？（3）如何论证一个关于基本数学理论的形式公理系统，如实数系统的一致性？（4）数学基础是什么？（5）数学能否建立在逻辑之上？对这些问题的争论，形成了不同的数学学派：直觉主义，构造主义直觉主义学派的创始人是荷兰数学家布劳威尔，主张直觉或直接感知是认识的根本来源，是必然性知识的保证。构造主义学派主张，自然数及其某些规律，特别是数学归纳法，
