科学哲学视域下的空间结构

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