- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
公理系统与公理化方法解析思考
任何一门学科科学,任何一个科学策略,都是公理化方法得出的一个公理系统,
即从几个概念定义和不证自明的公理出发,根据一定的逻辑规则,逻辑演绎出一
整套体系,称之为一个一个公理系统。
然后,证明,就是在某个公理系统内,按照一定的规则,从定义和公理出发,推
导出某些结论。比如数学证明,就是在数学公理系统内,从最基本的数字的定义
等一些定义和公理出发,能够推导出某个命题,那么这个命题就是正确的。而人
类目前的数学系统,也是从几个定义公理出发,通过公理化方法演绎出来的一个
数字科学系统。
人类截止目前的任何一门学科,都是人类共同的一个本学科公理系统,任何一门
学科都是一门完整的公理化逻辑体系,你要从本领域发展,就学习和遵循本公理
系统,你不要瞎琢磨。你要在这个学科领域内发展,就先老老实实学习本科学公
理系统知识,而不是自己瞎琢磨,你自己琢磨差远了。杨绛说,你的问题是读的
书太少,想得太多,说的就是这个问题。天才可以自己构筑一个公理系统,牛顿
微积分,伽罗瓦近世代数。自己定义一个概念,从这个概念出发,推演出一个公
理体系。你的某个领域世界观和方法论策略,也要这样构筑一个公理系统,这个
要你自己构筑。
任何学科,用什么方法构建的?都是运用公理化思想方法构建的。从几个基本概
念和不证自明的公理出发,一步步逻辑推导出来的。
在从一个基本概念出发,推演过程中,离不开人的逻辑,人的逻辑是重要的。
公理系统
公理系统(axiomaticsystem)就是把一个科学理论公理化,用公理方法研究它,
每一科学理论都是由一系列的概念和命题组成的体系。公理化的实现就是:①从
其诸多概念中挑选出一组初始概念,该理论中的其余概念,都由初始概念通过定
义引入,称为导出概念;②从其一系列命题中挑选出一组公理,而其余的命题,
都应用逻辑规则从公理推演出来,称为定理。应用逻辑规则从公理推演定理的过
程称为一个证明,每一定理都是经由证明而予以肯定的。由初始概念、导出概念、
公理以及定理构成的演绎体系,称为公理系统。初始概念和公理是公理系统的出
发点[2]。
公理系统相应地区分为古典公理系统、现代公理系统或称形式公理系统。最有代
表性的古典公理系统是古希腊数学家欧几里得在《几何原本》一书中建立的。第
一个现代公理系统是D.希尔伯特于1899年提出的。他在《几何基础》一书中,
不仅建立了欧几里得几何的形式公理系统,而且也解决了公理方法的一些逻辑理
论问题[3]。
1
例如欧几里德《几何原本》中就规定了五条公理和五条公设(以现代观点来看,
公设也是公理),平面几何中的一切定理都可由这些公理和公设推导而得。
公理系统要满足某些一般要求,包括系统的一致性(无矛盾性)、完全性,以及
公理的独立性。其中一致性是最重要的,其他几个性质则不是每个公理系统都能
满足的,或可以不必一定要求的[3]。
由于公理系统可以建造一个完整的、无矛盾、满足一致性的理论体系,所以几乎
所有的数学领域甚至一些数学以外的科学领域也采用了公理化体系来构造他们
的理论系统。如现代得到多数人认可的大爆炸理论,就是基于这种认识。
在数学中,所有的定理都必须给予严格的证明,但公理却是无需证明的。因为数
学公理是在基本事实或自由构造的基础上为了研究方便人为设定的。有些是一般
性的东西,人类仍无法用现有理论推导,如1+1=2。
一个公理体系中的名词是预先已经定义的概念,这样的公理系统就是实质公理系
统。如欧几里德几何公理系统。因为要先定义概念,所以就要有一些初始的概念
作为定义其他概念的出发点,如欧氏几何中使用的“部分”、“长度”、“宽
度”、“界限”以及“同样的位置”等。
实例
(a)传统形式逻辑三段论由一类事物的不证自明的全称判断作为前提,可以推
断这类事物中部分判断为真,那么这个全称判断就是公理。如“有生必有死”,
就属于这种判断。
(b)在欧几里得几何系统中,下面所述的是几何系统中的部分公理:
①等于同量的量彼此相等。
②等量加等量,其和相等。
③等量减等量,其差相等。
④彼此能重合的物体是全等的。
以下是常用的等量公理的代数表达:
①如果a=b,那么a+c=b+c。
②如果a=b,那么a-c=b-c。
③如果a=b,且c≠0,那么ac=bc。
④如果a=b,
文档评论(0)