近现代数学系统相容性问题在无穷的数学和哲学层面上的研究.pdfVIP

第二届两岸逻辑教学学术会议论文集 近现代数学系统相容性问题 在无穷的数学与哲学层面上的研究 朱梧掼h2’肖奚安”宫宁生¨杜国平” 1)南京大学现代逻辑与逻辑应用研究所，南京，210093 2)南京航空航天大学计算机科学研究所，南京，210016 3)解放军理工大学理学院。南京，211101 4)南京工业大学信息科学与工程学院， 南京，210009 无穷观点。但当我们深入分析潜无限与实无限的本质内涵，并充分认识了两者之间的区别 与联系之后，再去研究近现代数学系统中贯彻无穷观的实际情况时，发现不仅在集合论中 没有将实无穷观点贯彻始终，而且在极限论中也没有将潜无穷观点贯彻到底。对于近现代 数学系统中的那些涉及无穷观的子系统而言，往往都是些兼容潜无限和实无限的系统。在 此基础上，运用兼容潜无限与实无限的分析方法，对近现代数学的逻辑与非逻辑公理系统 地进行梳理，疏理的结果显示：近现代数学及其理论基础中，有一部分公理隐性地贯彻了 “潜无限等于实无限”的思想规定，而另有一些公理却隐性地贯彻了“潜无限不等于实无 限”的思想规定。最后证明古典集合论与近代公理集合论中的任何一个可数无穷集合都是 自相矛盾的非集。 关键词：潜无限 实无限古典集合论近代公理集合论 极限论可数无穷集合 §1．潜无限与实无限 历史上，亚里士多德(Aristotle)是第一个明确承认潜无限而反对实无限的学者，而 略早于亚里士多德的柏拉图(Plato)则是第一个明确承认实无限而反对潜无限的学者。自 古至今二千余年来，坚持潜无限观念的学者们和坚持实无限观念的学者们，一直是在互相 否定的模式中争论不休，并且广泛涉及哲学、逻辑、计算机科学理论和数学等众多领域， 卷入这场争论的大学者们，留给我们一大堆有关两种无穷的素朴描述，不妨陈述一、二如 下： (1)亚里士多德明确认为，无限只能是一种潜在的存在，而不能是一种实在的存在。 他说：“因为分割过程永远不会告终(going)；这个事实保证了这种活动存在的潜在性，但 并不能保证无限独立地存在。111 (2)亚里士多德说：”空间和时间是可以无限地划分的(going)，但并没有被无限地划 分开来(gone)”。121 (3)贝尔(Bayle)说：”如果我们在一英寸大小的材料上划下了无穷多条线条(gone)， 我们不会作出这样一种划分，这种划分会把亚里士多德以为仅是可能的无限性(goil．g)变成 现实的无限性(gone)州副 (4)列宁(JIe舢H)针对贝尔所言：“如果我们在一英寸大小的材料上划下了无穷多条 线条(gone)一语指出：“这就是说，如果我们把无限的划分进行到底(gone)!I引 352 第二届两岸逻辑教学学术会议论文集 够通过不断地达到下一个数而超越任何一个已经达到的界线。从而也就开辟了通向无限的 自身之中的事物的封闭领域(gone)。”ljI 通过这些素朴的描述，可将潜无限和实无限的差别规范为如下两点： 其一从生成的角度看，潜无穷永远是现在进行式(going)，而实无穷却是完成式(gone)。 其二从存在的角度看，潜无穷是动态的和潜在的，而实无穷是静态的和实在的。 从而潜无限的两条基本性质是： (1)非有限：从而给出了通向实无限的可能性(going)， (2)必须永远是现在进行式；从而否定了达到进程终极处的可能性(非gone，即going)。 又实无限的两条基本性质是： (1)非有限：从而给出了通向实无限的可能性(going)， (2)必定是完成式：从而肯定了达到进程终极处(gone)。 例如，我们常用la，bl表示坐标轴上的一个闭区间，在Ia，b】内有无穷多个点，现令变量 x在该区间内沿着X轴朝向b点移动，则变量x在区间内不仅可以无限趋近于其极限点b 限方式趋向其极限点b。我们又常用(a，b)来表示座标轴上的一个开区间，在(a，b)内 有无穷多个点，但端点a和b不在(a，b)内，此时同样令变量x在该区间内沿X轴朝向b 点移动，尽管b点仍是变量x的极限点，但却不在(a，b)内，所以变量x在该区间内虽然 可称变量x在(