哥德尔的抽象直觉与胡塞尔的本质直观

《哥德尔的抽象直觉与胡塞尔的本质直观》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、哥德尔的抽象直觉与胡塞尔的本质直观刘晓力摘要:作为20世纪最伟大的逻辑学家和数学家哥德尔（KurtGōdel,1906-1978）,是以不完全性定理闻名于世的。出乎人们意料的是，近年来公布的大量手稿告诉我们，哥德尔自1940年从维也纳移居美国后，几乎大部分精力用于哲学研究。可以说，哥德尔不仅以精湛优雅的逻辑和数学工作为世人作出了巨大贡献，还以卓然深刻的思想为后人留下一笔丰厚的哲学遗产。0.哥德尔对胡塞尔情有所钟作为20世纪最伟大的逻辑学家和数学家哥德尔（KurtGōdel,1906-1978）,是以不完全性定理闻名于世的。出乎人们意料的是，近年来公布的大量手稿告诉我们，哥德尔自194

2、0年从维也纳移居美国后，几乎大部分精力用于哲学研究。可以说，哥德尔不仅以精湛优雅的逻辑和数学工作为世人作出了巨大贡献，还以卓然深刻的思想为后人留下一笔丰厚的哲学遗产。1959年起哥德尔开始系统研读胡塞尔现象学，几乎拥有胡塞尔所有的重要著作，手稿中有大量的批注和笔记，虽然他对胡塞尔的《欧洲科学危机与超验现象学》及后期的某些著作颇有微词，也未必满意从现象学中所获得的东西，但哥德尔对胡塞尔基本上持肯定态度，[1]特别对《现象学观念》和《笛卡儿沉思》以及胡塞尔自唯心主义转向之后的著作流露出赞赏之意，甚至60-70年代，他还多次向其他逻辑学家推荐胡塞尔的《逻辑研究》中专论本质直观的"第六研究"

3、。何以哥德尔对胡塞尔现象学抱有如此大兴趣，并能与之产生某种共鸣？事实上，在1959年之前，哥德尔就在多种场合表达了许多与胡塞尔的现象学实在论和本质直观论颇为相似的观点，阅读胡塞尔著作后，他发现，胡塞尔所倡导的建立"作为严格科学的哲学"理论构想，有可能为他自己关于数学基础研究中的大部分思想提供系统化阐释的理论框架，自己始终坚守的理性主义更是胡塞尔高扬的一面旗帜，因此他对胡塞尔哲学倾注了近10年的热情进行研究。1.与胡塞尔哲学基本目标的一致如所周知，胡塞尔是通过研究逻辑学和心理学走向哲学基础的探索之路的，他在对心理主义、自然主义、历史主义以及形形色色的相对主义和怀疑主义进行批判的基础上所

4、创立的现象学极其效应，形成了20世纪西方几大哲学运动之一的现象学运动。1883年获得数学博士学位后，胡塞尔很快转向逻辑和哲学的研究，以至后来对一般哲学产生巨大兴趣并尝试建立新的哲学基础。[2]在著名的《逻辑研究》（1900/01）出版后，胡塞尔沉默了整整10年，又出版了他的《作为严格科学的哲学》一书（1910），"如今这本书基本上被看作带有胡塞尔签名的现象学宣言。"在这部著作中胡塞尔疾呼，自古以来哲学便致力于成为一门严格的科学，但哲学在任何时期都没能满足这个要求。这些努力的唯一结果是严格的自然科学和精神科学以及各门新的纯粹数学学科的建立，哲学本身却依然如故地缺乏严格科学的特征。如今哲

5、学不仅是一门未完善的科学，而且根本还不能称其为一门科学，它作为科学的生命尚未开始。因此，目前至关重要的是要进行一场"哲学变革"：在严格的意义上彻底重建哲学。[3]可以说，胡塞尔一生都在致力追求这一明确的理性目标，虽然经过毕生的努力，他认识到自己有生之年所做的工作最多不过是为这座大厦"测量地基"，作为严格科学的哲学仍是一个"无穷远点"，但他坚信，重要的是确立工作方向并为实现这样一个永久性目标而努力。作为数学家、逻辑学家和带有浓重传统色彩的理性主义者，哥德尔深得古希腊以来的理性主义哲学的滋养，1925年起就是一个数学客观主义者和概念实在论者，而且在阅读胡塞尔之前，已经仔细研究了柏拉图、莱

6、布尼兹和康德。哲学上他更赞同柏拉图和莱布尼兹，却不赞成康德的二元论和把直觉限定为感性直观的见解。从逻辑实证主义者对科学确定性的追求最终走向了怀疑论和经验论的历史教训中，哥德尔深知哲学严格性和明晰性的意义，期望把自然科学、数学和逻辑的精确方法拓展到哲学研究中，在持续6年之久撰写批判逻辑实证主义的文章（*1953/1959？）的过程中，哥德尔更体会到，他的概念实在论必须建立在一个较先前更加坚实，更加可靠的基础之上。正是在这种背景下，哥德尔看到现象学恰好对于论证他的概念实在论的合理性，论证抽象数学直觉的重要性等问题，有可能提供一种理论基础。哥德尔的概念实在论主张"类和概念也可以看作实在的对

7、象，即把类看作是事物的杂多，或由杂多组成的结构，把概念看成是不依赖我们的定义和构造而存在的事物的性质和关系。......假定这样的对象正如假定物理的客体一样是完全正当的，而且有同样足够的理由相信它们的存在。"他的柏拉图主义数学观体现在如下基本原则中：反对数学中的经验论和语言约定论，坚持数学的先验性；承认数学概念的实在性和数学真理的客观性，承认数学命题描述了可知的数学概念世界的实在性；主张抽象数学直觉是把握概念本质的基本认知能力，断定对高度超穷的数学真理的认