发帖
雷达卡
经济名词术语中公理化方法是什么_公理化方法
什么是公理化方法
公理化方法是数学中的重要方法，它的主要精神是从尽可能少的几条公理以及若干原始概念出发，推导出尽可能多的命题。
随着假设演绎模型法的进一步发展，经济学日益走向公理化方法。最早出现在二千多年前的欧几里德几何学中，当时认为“公理”(如两点之间可连一直线)是一种不需要证明的自明之理，而其他所谓“定理” (如三对应边相等的两个三角形对应角相等)则是需要由公理出发来证明的,18世纪德国哲学家康德认为，欧几里德几何的公理是人们生来就有的先验知识，19世纪末，德国数学家希尔伯特(David Hilbert)在他的几何基础研究中系统地提出数学的公理化方法。他认为每一种数学理论都应以“基本概念——公理——定理” 的模式来建立：这里的公理是作为理论出发点的科学假设，它们要求有完备性(任何定理可由此导出)、独立性(去掉其中之一有的定理就不能成立)和相容性(公理间是无矛盾的),但公理本身也由人们作各种解释。20世纪以来，整个数学体系几乎都巳按希尔伯特的模式得到公理化处理。
公理化方法的内容
公理是对诸基本概念(例如基本元素、基本关系等概念)相互关系的规定．这些规定必须是必要的、合理的。详细说来，公理的选取和设置必须符合三条要求：一是协调性要求．协调性又称无矛盾性或相容性．这一要求是指在公理系统内，不允许同时能证明某一定理及其否定理．反之，如果能从该公理系统导出命题刀和否命题“非A”(记作解析失败 (PNG 转换失败; 请检查是否正确安装了 latex, dvips, gs 和 convert): \lnot A )，则A与解析失败 (PNG 转换失败; 请检查是否正确安装了 latex, dvips, gs 和 convert): \lnot A 的并存便称之为矛盾．因此，无矛盾性要求是对公理系统的一个基本要求．二是独立性要求．这就是要求公理的数目减少到最低根度，不容许公理集合中出现多余的公理．因为多余的公理总可作为定理推证出来，又何必再把它列为公理呢?三是关于公理系统的完备性要求．这就是要确保从公理系统能够导出所论数学某分支的全部命题．因此，必要的公理不能省略，否则将得不到由它所能推得的结果．一般说来，当一个公理系统满足上述三条要求时，即可认为是令人满意的系统了．但针对一个较复杂的公理系统要逐一验证三条要求，却并不是轻而易举的事，甚至至今不能彻底实现．
公理化方法的特点
(1)公理系统是一个有序的整体。它并不平等地对待系统中的所有命题，而是将其划分为两类：公理(不加证明引入的)及定理(需要证明其为真的)并按纵向由浅入深地建立起多命题间的有机的联系。
(2)在公理系统中，只要不是公理中的命题都不能不加证明地引用，没有经过严格论证过的命题无资格作为演绎推论的前提，因而就排除了继续运用归纳法引入演绎前提的渠道，成为纯粹的演绎系统。
(3)公理系统是形式化的。只着眼于概念、命题间的关系，不考虑其来源、运用和发展。尽管它最先引入了一些原始对象(概念和命题)，但对这些东西的解释却被当作系统之外的事，在系统内，只是作为一种“假设”。
京公网安备 11010802022788号
