基于范畴论的数学基础研究进路

来源 :山西大学 | 被引量 : 0次 | 上传用户:zhuhao0000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
“数学基础”是数学学科的大本大宗,数学知识建立在数学基础之上,因而数学基础的研究至关重要。集合论中悖论的出现,直接导致了数学基础危机的爆发,产生了持续已久的数学基础争论。因此,解决数学基础危机,找寻一个合适的数学基础就成为了数学哲学家迫切需要解决的问题。结构主义作为二十世纪数学哲学的研究趋势,与范畴论结合产生了范畴结构主义的研究思想,在此基础上,我们提出了基于范畴论的数学基础研究进路,为数学基础研究打开了新的思路,提供了新的可能。本论文系统地分析了基于范畴论的数学基础研究进路,论述了范畴论作为数学基础的可行性。第一章指出了包括朴素集合论、公理化集合论以及三大数学流派这些数学基础进路的困境,再通过强调数学哲学中的结构主义研究趋势,表明了数学基础研究的结构主义转向,最后指明了由范畴结构主义导出的基于范畴论的数学基础研究进路。第二章剖析了范畴论数学基础的理论内涵,沿着“数学——结构——范畴”的路线阐述了范畴论数学基础的解释路径,具体探讨了数学的本质,范畴论对数学结构的阐释以及范畴论数学基础的意义建构。第三章对数学哲学家提议的ETCS公理系统与CCAF公理系统进行了语境分析。首先明晰了范畴与语境之间的共通性,再从历史的、社会的、学术的、心理的等非语言层面与语形、语义及语用的语言层面解读如何从两个公理系统中构建数学整体。第四章辨析了范畴论数学基础面临的挑战与质疑,主要就范畴论是否预设了集合论的相关概念,范畴论的公理系统是否断言了存在,基础的必要性等问题进行了有力的辩护。第五章从整体出发对范畴论数学基础进行了综合考察,首先探讨了范畴论作为数学基础的自主性,继而论证了范畴论在什么意义上可以作为数学基础,最后聚焦于范畴论数学基础相对于集合论数学基础的研究优势。第六章从对数学哲学研究的推进,对科学研究的推动以及对语境分析方法的应用这些方面具体分析了范畴论数学基础的研究意义。结束语回顾了对基于范畴论的数学基础研究进路的整体阐述,肯定了该基础进路的研究价值,并展望了数学哲学在未来的发展。综上,本论文针对数学基础研究所面临的困境,提出了基于范畴论的数学基础进路,阐述了范畴论作为数学基础的解释路径,并结合语境分析方法对确定的范畴论公理系统进行了解析,同时指出了一些数学哲学家对范畴论数学基础的质疑甚或反对,并在对范畴论数学基础进行辩护的过程中,促使基于范畴论的数学基础进路得到了更详尽的诠释。再通过对范畴论数学基础的综合考察,又进一步丰富了基于范畴论的数学基础进路的合理性,最后在多重视角下分析了范畴论数学基础的研究意义。
其他文献
研究ECU硬件在环柴油机控制仿真技术,基于Matlab/Simulink/RTW及dSPACE系统建立开放的仿真平台,在Matlab/Simulink中采用模块库化的建模方法建立瞬态柴油机模型,分析dSPACE系
随着石油资源日益枯竭带来的能源危机以及废弃塑料引起的白色污染问题的严重化,对具有优异性能,可经济生产与持续发展的多功能轻质材料的需求正在兴起。细菌纤维素(BC)是由木醋
生态位理论和中性理论是解释群落构建机制的两个基本理论。这两个理论从相反的角度解释群落的物种多样性,即生态位理论强调的是物种间的生态位分化(niche partitioning),而中
自1994年分税制改革以来,1994-2009年地方财政收入占全国总收入比重的平均值为47.5%(即中央政府拿走其余的52.5%左右),与此同时,地方政府占全国总支出的比例要高达70%(平均值
双层板壳结构被广泛用作汽车、高速列车、舰船潜艇以及航空航天飞行器的外壳结构,相对于单层板结构,其具有更为出色的隔声性能。透彻研究双层板结构声振耦合问题的物理本质,
房地产投资具有资金量大、风险大和可塑性小的特点,因此必须采用科学的系统化决策方法。房地产投资决策不仅信息量大、市场敏感性强、计算方法多样,而且预测困难。因此要把
试论明清商人的乡土神信仰张崇旺明清商帮具有极强的地域性特征。学术界历来认为,地域、血缘、乡谊三者是凝聚商帮的重要因素。但笔者认为,以乡土神为核心的商人信仰圈,则对地域
面对当前复杂严峻的外部环境,党中央审时度势提出加快国内市场建设,对于湖北而言不仅是一种发展的新要求,更是发挥自身优势、促进发展动能转换的一次新机遇。$$放宽民间投资的领
报纸
介绍美国信用修复行业沿革变化和《信用修复机构法》的核心内涵,分析我国信用修复市场现状及存在问题,研究美国信用修复行业发展经验及对我国的启示,为建立并规范我国信用修
便携式高频地波雷达系统(OSMAR-S)采用了线性中断调频连续波体制和单极子/交叉环紧凑型天线阵,通过双站合成得到海洋表面矢量流.2007年11月在洋山海域进行了OSMAR-S与其他海