哥德尔的数学实在论的现象学解读-逻辑学专业论文.docx

湘潭大学 学位论文原创性声明 本人郑重声明：所呈交的论文是本人在导师的指导下独立进行研究所取得的 研究成果。除了文中特别加以标注引用的内容外，本论文不包含任何其他个人或 集体已经发表或撰写的成果作品。对本文的研究做出重要贡献的个人和集体，均 已在文中以明确方式标明。本人完全意识到本声明的法律后果由本人承担。 作者签名： 日期： 年 月 日 学位论文版权使用授权书 本学位论文作者完全了解学校有关保留、使用学位论文的规定，同意学校保 留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借 阅。本人授权湘潭大学可以将本学位论文的全部或部分内容编入有关数据库进行 检索，可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。 涉密论文按学校规定处理。 作者签名： 日期： 年 月 日 导师签名： 日期： 年 月 日 I I 摘 要 哥德尔堪称“20 世纪最有意义的数学真理的发现者”，他的思想似乎是两 千多年欧洲逻辑路途中为数不多的一座城堡。某种程度上，我们甚至可以将其与 古希腊的亚里士多德相提并论。追踪他的数学哲学思想有利于探索西方文化中理 性主义传统的精神力量。 本文的主要目的是从胡塞尔现象学的角度佐证哥德尔的数学实在论的合理 性。数学实在论发源于柏拉图的理念论，认为数学真理并不依赖于物质或心灵， 而是一种客观存在。哥德尔的数学实在论集中体现着这一点。在他看来，只有借 助于数学直觉，我们才能通达这种超越性的实在。胡塞尔的现象学强调意向性， 在意向性的基础上他建构了数并用沉积现象学为数学规律的合理性作出辩护，同 时，他认为人们能在范畴直观中认识对象的本质。 引言部分概括地介绍了哥德尔及其逻辑成就和数学哲学思想，回顾了国内外 学者在哥德尔的数学实在论方面所做的研究，并在此基础上陈述了本文的主题和 结构。 第一章首先介绍了关于数学基础研究各流派的观点：首先介绍了少数派的观 点，如经验主义、心理主义和逻辑实证主义者的约定主义；其次，在集合分层理 论的视野下，对传统上划分为形式主义、直觉主义和逻辑主义的三大主流派别进 行了梳理，将它们整合为一个线性序列。 第二章集中论述了哥德尔的数学实在论。从柏拉图的“洞穴”比喻开始，引 申出“柏拉图主义”，也就是“实在论”；接着讨论了实在论的历史，总结了自柏 拉图时代到现当代的各种实在论观点；最后重点论述了独树一帜的哥德尔的实在 论，包括哥德尔的逐步增强的本体论思想和他的方法论态度，并对他独特的观点 和概念力求作出细致的分析，然后用不完全性定理这一重大逻辑成果为“数学实 在论”作“实用主义”的辩护，最后用“数学直觉”这一方法说明哥德尔的方法 论基础。 第三章主要用胡塞尔的现象学为哥德尔的数学实在论“颁发哲学证书”。主 要内容包括：在本体论方面，数的意向性建构说明了“数”的客观性，沉积现象 学以几何学为例解释了“数学规律”的客观性和合理性；在方法论方面，胡塞尔 的范畴直观和哥德尔的数学直觉之间具有内在一致性关系。 关键词： 数学实在论；现象学；数学直觉；范畴直观 II II Abstract G?del，whose thought is one of the few castles in the logical way in European， is“the most significant discoverer of the mathematical truth in 20th century”. To some extent, we can compare him with Aristotle. Understanding his philosophy of mathematics may not only help us to understand his achievements in logic and mathematics, but also allow us to taste the Western rational civilization in his mysterious meditations. The motif of this dissertation is to demonstrate the reasonable of G?dels mathematical realism from the perspective of Husserl’s phenomenology. The core of G?del’s thought is the objective existence of mathematical truth and mathematical objects which are independent of material world and hum