对欧几里德几何体系之可能世界的考察--以纯粹演绎的观点为基础
莱布尼兹的可能世界与现实或存在的关系,是在限定的"必然的实体中"讨论的.而演绎逻辑是从真前提到真结论之间具有必然性的,欧几里德几何原本所追求的正是这种必然性,他试图从有限的公理逻辑地推出所有定理;但是其前提并不充分,因而其所谓定理构成的可能世界具有虚幻性或非逻辑性.后来,希尔伯特在公理系统的不矛盾性和独立性中提出一种给已知系统找到其可能的实现的方法,不过它只有相对的意义,而哥德尔的否定性结果表明,欧几里德几何的可能世界有很多逻辑无法深入的地方.
作 者： 李春泰 作者单位： 嘉应大学政治法律系,广东,梅州,514015 刊 名： 安徽理工大学学报(社会科学版) 英文刊名： JOURNAL OF ANHUI UNIVERSITY OF SCIENCE AND TECHNOLOGY(SOCIAL SCIENCE) 年，卷(期)： 2004 6(2) 分类号： B18-05 关键词： 欧几里德 几何 逻辑 可能世界