数理逻辑-逻辑公理系统2010.pptVIP

逻辑公理系统马殿富北航计算机学院2010-12

主要内容概述命题逻辑公理系统谓词逻辑公理系统总结

科学的数学化—数学描述自然规律伽利略落体定律发现，使他成为精确描述自然知识的创始人。经典物理学中的因果原理牛顿用数学描述自然规律；用数学函数表达的事件间的相互联系。每一事件均被解释为状态的变化；每一状态均由某些量值说明其特征，而每一自然律那么陈述这些量值的各种变化之间的关系，正是这些量值的变化描述了各种各样的事件。微分方程；函数论；泛函分析；拓扑学、运筹学数学依然是自然规律描述方法伽利略牛顿

科学知识表达《人类的知识》[英]罗素关于人类的知识我们可以提出两个问题：第一、我们知道什么？第二、我们是怎样知道这些知识的？科学知识的目的在于去掉一切个人的因素，说出人类集体智慧的发现。语言，这个我们借以表达科学知识的唯一工具《自然哲学》[德]莫里茨.石里克自然知识表述为命题；所有的自然律也同样是以命题的形式来表达的。自然科学的全部任务仅仅就在于坚持不懈地审查其命题的正确性，结果这些命题就开展成为越来越牢固地确立的假设。自然科学在普遍性之外还具有精确性。精确知识就是那种可以按照逻辑的原那么完全地清楚地表达出来的知识。一门科学所到达的抽象程度越高，它洞察实在的本质就愈深。石里克罗素

科学认识方法观察和经验与数学演绎结合起来，建立了近代科学。用数学方程式形式来表述物理规律，这就似乎物理必然性也可以变换为数学必然性；数学方法中给近代物理学以预言能力；自然的规律具有数学规律的结构、必然性和普遍性建立理论模型，形成重要定理数学分析、数学物理方程逻辑定理通过解释，将数学规律确实定性又被移转到物理现象，把数学预言得精确成果变为可以验证的物理学成果。

公理化哲学的思考《世界的逻辑构造》构造系统的任务要把一切概念都从某些根本概念中逐步地引导出来，形成概念系谱。一种理论的公理化就在于：这个理论的全部命题都被安排在以公理为其根底的演绎系统中;这个理论的全部概念都被安排在以根本概念为其根底的构造系统中。鲁道夫·卡尔纳普(R.Carnap1891-1970)

公理系统亚里士多德的演绎证明逻辑结构：根本概念通过定义派生概念公理或公设通过逻辑证明定理由初始概念、定义、公理、推理规那么、定理等所构成的演绎体系，称为公理系统。三个公理系统实质公理学：欧几里德，《几何原本》概括公理：罗巴切夫斯基和黎曼，非欧几何形式公理：希尔伯特，《几何根底》

欧几里德几何学《几何原本》是一个实质公理系统把点、线、面、角等分为原始定义概念〔23〕和可定义概念；命题分为公理〔5〕、公设〔5〕；由公理公设出发加以证明的定理〔467〕从简单到复杂，证明相当严格。从而建立了欧几里得几何学的第一个公理化数学体系。欧几里德325BC-265BC1．等于同量的量彼此相等．2．等最加等量，其和仍相等．3，等量减等量，其差仍相等．4．彼此能重合的物体是全等的．5．整体大于局部．1.由任意一点到另外任意一点可以画直线。2.一条有限直线可以继续延长。3.以任意点为心及任意的距离可以画圆。4.凡直角都彼此相等。5.平行公理

非欧几何俄国数学家罗巴切夫斯基发现了锐角非欧几何。从直线外一点，至少可以做两条直线和这条直线平行。三角形内角和小于90度，圆周率大于π。1854年黎曼发现了钝角非欧几何。在同一平面内任何两条直线都有交点。三角形内角和大于90度，圆周率小于π。

非欧几何的模型意大利数学家贝尔特拉米的模型：“伪球面”它由平面曳物线绕其渐近线旋转一周而得。1868年用伪球面作为罗氏几何的平面有限局部的模型1869提出用球面作为黎曼的二重椭圆几何模型。1870年，德国数学家克莱因用不包括圆周的圆内部一罗氏平面一来解释罗巴切夫斯基几何的工作，使非欧几何在欧氏几何中得到解释。19世纪末，希尔伯特在实数算术理论中为欧氏几何建立了一个模型。贝尔特拉米和克莱因使非欧几何建立在欧氏几何模型上；希尔伯特使欧氏几何建立在实数模型上。

希尔伯特—几何根底希尔伯特1899年发表了《几何根底》，完成了公理几何学的形式化。用准确的语言，严格地表达了欧儿里得几何。重新定义了几何元素，点、线、面这三个根本概念此没有定义，也没有直观的解释，其它概念是根本概念的导出概念，这是形式公理方法的特征确立了五组20条公理〔分别是8条关联公理，4条顺序公理，5条合同公理，2条连续公理，1条平行公理〕这个系统可以有各种不同的解释即模型。给出了欧氏几何的一个形式公理系统，而丛具体地解决了公理方法的一些逻辑理论问题。第一个逻辑理论问题是公理的无矛盾性在实数的算术理论中为欧氏几何构造一个模型，这就是笛卡儿几何，在此模型中欧几里德几何五组公理都真。第二个逻辑理论问题是公理的相互独立性利用模型方法作出了证明。

形式公理学形式公理几何学通过一组公理隐含的定义对