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

来源 :第二届两岸逻辑教学学术会议 | 被引量 : 0次 | 上传用户:ltzmh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通常都认为,康托-策墨罗(Cantor—Zermelo)在古典与近代集合论中完全贯彻了实无穷观点,而柯西——外尔斯特拉斯(Cauchy—Weierstrass)却在极限论中完全贯彻潜无穷观点。但当我们深入分析潜无限与实无限的本质内涵,并充分认识了两者之间的区别与联系之后,再去研究近现代数学系统中贯彻无穷观的实际情况时,发现不仅在集合论中没有将实无穷观点贯彻始终,而且在极限论中也没有将潜无穷观点贯彻到底。对于近现代数学系统中的那些涉及无穷观的子系统而言,往往都是些兼容潜无限和实无限的系统。在此基础上,运用兼容潜无限与实无限的分析方法,对近现代数学的逻辑与非逻辑公理系统地进行梳理,疏理的结果显示:近现代数学及其理论基础中,有一部分公理隐性地贯彻了“潜无限等于实无限”的思想规定,而另有一些公理却隐性地贯彻了“潜无限不等于实无限”的思想规定。最后证明古典集合论与近代公理集合论中的任何一个可数无穷集合都是自相矛盾的非集。
其他文献
除非我们把逞辑学局限在高度抽象的形式系统的建构或数理逻辑,否则逻辑学,尤其是非形式逻辑学的研究与知识理论应有密切的关联。逻辑学是评价论证的学问,目的在寻找和陈构正确推
我想题目中的这些问题在一阶逻辑建立的早期阶段就应该解决了,因为一阶逻辑元理论的讨论不可避免地要使用它们。既然问题很早就解决了,那为什么还要在这里旧题重谈呢?这些年来,
以往科学哲学家谈到科学的可靠性和普遍性的时候,往往把注意力放在科学理论之上,所以特别倚重公理化的方法,请它来帮忙发掘理论深处的基本概念和命题,好让自己对概念的确认和命题
近10年来,我市蜚蠊危害日趋严重,旅馆、医院、城乡居民家室以及火车、轮船、飞机都受到其侵害。为探讨我市蜚蠊的季节消长为防病提供依据,我们于1987—1998年期间,在宁波地
本文证明了:对于最大亏度为k的量化布尔公式,如果它是真的,则存存集合U,其中含有不超过24k/3个全称变元,且存存模型M,其中每一个布尔函数都可表示为U上的命题公式。也就是说,这样的
会议
公共政策过程在协商民主的理念引导下,正经历着由“科学”向论辩的转变。政策论辩是语用论辩术在公共政策领域中的实际应用,长期以来对论辩的逻辑研究带有强烈的政治取向,历史已