形式公理系统确定可能世界的方式之影响-燕山大学学报.PDFVIP

卷 期 燕山大学学报 （哲学社会科学版） 年 月 形式公理系统确定可能世界的方式之影响 ——认识程序和范围 李春泰 应大学政治法律系，广东梅州 摘 要 本文讨论了形式公理系统在认识程序上的变化和它导致的可能世界的范围扩张。 关键词 形式公理系统；认识程序；可能世界 中图分类号 文献标识码 文章编号 我们所熟悉的欧几里德公理系统是实质公理 特认为，数学命题和逻辑法则都可以利用特定的符 系统，这种公理系统，在不很严格的意义上可以说 号写成公式的形式，而无需加以任何文字的表述， 是演绎系统，至少在 世纪以前数学家们是这样 因而逻辑思考的过程就换成了以这种公式按严格 认为的。长时间里，人们相信它是研究现实世界的， 刻划的规则而进行操作。当然，希尔伯特对于不矛 而且是研究公理或公设与定理之间的必然关系的。 盾性的证明只是相对的，而不是绝对的。例如，罗 今天公理与公设已没有什么区分了，在公理化 卜切夫斯基平面几何的无矛盾性是用构造彭加勒 运动之前，数学家强 前者的普遍有效性，而后者 模型来证明的；模型的事物是从假定存在的欧几里 则是有些特别的。与数学或几何学相应的亚里斯多 德平面上取得的；所以，罗卜切夫斯基公理的解释 德逻辑学，古今学者理解之差异悬殊，今人着重点 只有在欧几里德几何公理解释可能的条件下才是 在前提与结论的关系上，而古人则强调其前提的真 可能的，即如果欧几里德平面几何无矛盾的话，那 实性。所以所谓实质公理学的对象不是可能世界， 么罗卜切夫斯基平面几何不矛盾。这就是罗卜切夫 而是由前提即公理确定了的必然的现实世界。 斯基几何可能世界存在的条件。 但是，由于形式公理学的出现，产生了很多新 独立性要求公理系统的每一个组成部分，都不 问题，本文拟就这些问题作些初步探讨，限于笔者 是其它任何部分的推论；其结果导致公理的最少个 水平，还望专家批评指导。 数，即只保留在逻辑上必要的公理。如果要证明公 、三个基本问题对理论的普遍意义 理系统的独立性，需要引进一种分析而其分析的意 义和方法由不矛盾性概念所决定；如果一个公理不 希尔伯特对其形式公理系统提出了三个要求， 与其它公理相关，那么应该存在公理系统其它公理 即不矛盾性、独立性和完备性；这三个要求通常也 的模型，使之在这个模型中其条件不满足。例如， 称作公理系统的三个基本问题。这在某种意义上是 用这种方法确定欧几里德平行公理对于其它公理 对理想的可能世界的价值选择。 是独立的，我们只要在欧几里德半平面上的彭加勒 不矛盾性就是 已知的公理系统找到一个可 模型里找到绝对几何的所有公理，但 不存在欧几 能的解释；所谓 “解释”就是 已知公理系统对象 里德的平行公理就可以了。 之事物以具体取法；希尔伯特对其五类公理不矛盾 完备性意味着这个公理系统的所有解释都是 性的证明就是借助于解析的解释而进行的；希尔伯 同构的，即已知的公理系统在两个不同对象上解 收稿日期