科学哲学视域下空间结构.docVIP

科学哲学视域下的空间结构 　　摘要：空间在科学认识层面被分为数学空间和物理空间。试图从科学哲学层面探讨空间结构，空间需要几何来描述，谈论几何必然会联系到空间。从几何入手，梳理了非欧几何的创立及证实历程，探讨空间和几何之间的联系，尝试思考空间的结构体系的变化带来的哲学意义。 　　关键词：空间结构　非欧几何　物理空间 　　中图分类号：B017　文献标识码：A　文章编号：1007-3973(2010)011-180-02 　　 　　1　空间与几何 　　 　　科学认识中，空间可以分为数学空间和物理空间。现代数学和物理的发展表明，这二者之间是存在着基本的差别的。首先是研究对象不同，数学空间研究的是形式的符号体系，物理空间则是对象的经验描述。；其次在不同领域，空间的称呼不一样，在物理学上称呼为”场”，或“场概念的扩张”，而在数学上成为“几何”，或“几何对象”。 　　空间需要用几何来描述，而谈论几何时，必然会联想到空间。那么空间的特性是什么呢?彭加勒所指的是作为几何学的对象的空间，即“几何的空间”。他认为空间主要存在以下五个特性：是连续的；是无穷的：是三维的：是均匀的，即是各点都是恒等的；是各向同性的，即是经过同一点的各线都是恒等的。。 　　几何的性质是科学哲学上一个极为重要的课题。因为它导致了现代物理学结构的基础――时空系统的分析。几何存在数学几何和物理几何，这是获得知识的两种基本不同的方法的范例。其不同在于，前者是先验的方法，后者是经验的方法。 　　 　　2　非欧几何的孕育与创立 　　 　　2.1　欧氏几何遇到挑战 　　最初的几何学对象是图形，于是研究它必然要借助于空间的直观性，但是直观性也有不可靠(不符合客观)的时候，因而在明确地规定了定义和公理的基础上，排除直观性，建议合乎逻辑的几何学体系的思想，欧几里得(Euclid，约公元前330-275年)在这种思想基础上，系统地总结和概括了古代几何学的成就，编著完成《几何原本》这一古代几何学的杰作，以这5条公设和5个公理作为基础，通过逻辑推理，论证几何定理，构成几何体系，创立了欧氏几何学。反映了三维平直空间结构，???们将此空间称为欧氏空间。 　　其中第五公设引人注目，“如有两条直线与第三条直线相交，而且截线同侧的两内角之和小于两直角时，则此两直线经过充分延长后，必在截线所成两内角之和小于两直角的一侧相交。”由第五公设可推出直线外一点只能作一条平行线的欧氏平行公理。卡尔纳普概括为，对于任意的平面，在其上有一条线L以及不在L线上的一点P，在平面上过P点有一条而且只有一条线L’平行于L线(两条线在一平面上，如果它们没有公共点，定义为平行)。 　　关于此公设争论的焦点不在于其真理性，而在于是否有必要作为一个公理。许多数学家相信它可能是一个定理，能够从其他公理中推导出来。许多学者做过这钟推导的无数尝试，但都没有成功。在今天看来，为什么是错的呢?因为这些尝试通常依赖直觉而难于发现其漏洞，加之当时还不存在一种充分有力地为几何的证明提供严格的逻辑规则。在推导过程中，有时候很明显地存在诉诸想象的情况。这些隐蔽的、直觉的前提原来是伪装形式的平行公理自身。当关系逻辑出现之前，平行公理的各种假想的证明的逻辑漏洞一直不容易被揭露。 　　 　　2.2　非欧几何的创立 　　直至19世纪，才真正运用严格的逻辑证明平行公理独立于其他欧氏公理，而不能从后者导出。 　　19世纪20年代，罗巴切夫斯基在前人的基础上，运用反证法，圆满地解决了两千多年来关于欧氏第五公设的难题，完成了非欧几何的创立工作，对人类的科学事业作出了重大的贡献。他引用与欧氏第五公设相矛盾的命题(即直线外一点可作两条平行线)作为假设，与欧氏几何其它公设和公理联系起来，展开推理。如果这个假设与欧氏几何其他公设和公理不相容，在推理中就会引出逻辑上的矛盾，这样从反面证明了欧氏第五公设。然而，在实际的推论过程中并未出现这种矛盾，而是合乎逻辑地推出了一个新的几何体系来。由此，罗巴切夫斯基得出了三个结论：(1)用欧氏几何其他公设和公理不能证明欧氏第五公殴，欧氏第五公设是一个独立的公设。(2)与欧氏第五公设相矛盾的公设(即直线外一点可作两条平行线)同欧氏几何其他公设、公理相结合展开一系列推论，获得了许多在逻辑上无矛盾的定理，构成了不同于欧氏几何的新的几何学。(3)这种逻辑上无矛盾的几何学的真理性跟物理学上的定理一样，只能凭实验例如天文观测来检验。 　　黎曼也对欧氏第五公设进行了深入研究。在罗巴切夫斯基的几何学(专门地称为双曲几何学)中，有无数条平行线。在黎曼几何(被称作椭圆几何学)中，不存在平行线。 　　 　　2.3　非欧几何的检验 　　由于非欧几何既与传统的几何学在表面上直接相矛盾，又与占统治地位的康德唯心主义空间观念相对