论数学的真理困境.docxVIP

论数学的真理困境摘要：为了从根本上化解数学真理困境中提出的认识论难题，文章首先阐释中国数学哲学的兴起以及表明数学是一种绝对的真理，其次数学真理的客观性，最后引出了其应对数学真理的困境，基于这一困境的深入思考，对于“数学真理”这一传统问题，许多哲学家都提出自己的修正理论和基本策略，继而分析其本质缺陷，但都未曾从根本上联系数学与科学的整体性，回避了数学真理困境的本质问题，未能从根本上解决问题，因此，文章最后深入探讨数学真理困境出现的根源并寻找解决的方案，及其对求解困境所带来的启示。关键词：数学哲学; 数学真理困境；自然主义现代物理学告诉我们，宇宙可能是有穷的，时空也可能是离散而非连续的，但在现代数学中我们似乎有着非常确定的、关于某些无穷和连续的数学对象和结构的真理。这些独立于物质世界的数学对象和结构果真存在吗?数学定理果真是关于它们的客观真理?我们的物质性的、有限的大脑又如何真的可能认识那些独立于物质世界的、而且是无穷的事物?也许不应该以这种方式理解数学真理?这是令当代西方一些哲学家困惑的一个问题。贝纳塞拉夫提出一个恰当的数学真理解释理论应该满足两个条件:一个是为数学与科学提供一致的语义学，即数学之为真与科学之为真应该满足相同的真值条件;另一个是为数学与科学提供一致的认识论，即认识数学与认识科学应该依赖于相同的可靠性证据。在他看来，现有的真理解释理论都不能同时满足上述两个条件。数学实在论认为数学与其他的科学一样，都是客观存在的，是不依赖于人脑的意识而存在的。这种以类似的方法处理数学和非数学论述的真理理论，坚持数学命题应该与其他科学语言具有同一的语义学解释，所要付出的代价是让我们如何能获得任何数学认识这个问题成为不可理解的;而反数学实在论所提供的真理解释强调数学真理必须具有合理的认识论意义，提出把我们能够清楚地知道其存在的种种真值条件归之于数学命题的真理解释，但所付出的代价是不能说明这些真值条件如何能够成为语句的真值条件。作为关于数学知识的两种理论，每一种解释都只满足上述条件之一，而必然以放弃另外一个条件为代价，这一两难境地被人们称为“数学真理困境”。一、中国数学哲学的兴起 在西方文化中，对数学的形而上学的思考最早可以说是来源于毕达哥拉斯学派。毕氏学派由某些数字的奇炒作用(如谐音的弦长成整数比等)以及原始数字在文化传统中保留的某些神秘性特征，进而认为世间的一切都可以由数字得到解释(万物皆数)。在数学哲学的惫义上来说，对今天产生重大影响的是柏拉图的“理念观”的数学哲学思想.柏拉图认为数学对象存在于不依赖人类思维的“理念世界”之中，后来亚里士多德对这个数学观进行了修改，亚里士多德认为数学是世间万物固有的一种属性，是由数学家运用抽象思维才最终获得的。于是，认为数学是一种客观真理的数学哲学观一直伴随着西方数学的发展。即便在欧洲中世纪的宗教神学和经院哲学崩演时，那种数学是一种客观真理的观念也为西方的文化传统牢牢地坚持着。在西方文化中，数学作为一种理性，它实际表明数学是一种绝对的客观真理，它为世间的一切活动提供最终的检验标准。正因为如此，当这种观念受到非欧几何和集合论悖论的不断冲击之后，就使得西方文化一定要为这种数学的理性地位—数学客观真理的失落寻求一个最稳妥或者是最终的支点。 本世纪30年代是西方数学哲学的菇盛时期，不过那个时候中国文化刚刚开始与现代西方文化交流，因此中国学者几乎没有参与有关数学哲学的讨论。今天，当西方数学哲学从鼎盛时期的阴影中走出并且开始脱离停滞局面的时候，中国的学者终于有机会在这个理论的领域里表明自己的思考。数学家徐利治教授与郑坟信教授合著的《数学模式论》(广西教育出版社，1992年出版)对当今数学哲学的发展进行了认真地思考，在本体论、认识论和数学的真理观等方面提出了一个完整的数学哲学理论。特别值得指出的是，作为中国学者(特别是中国的数学工作者)，作为历来淡摸数学哲学思辨的中国传统文化而言，《数学模式论》的问世是数学界、哲学界值得重视的事情，因为它标志着在数学哲学的这个领域中将留下中国学者理论建树的足迹。系。黔..Y这一点来说，它正是中国古代数学史研究中侣憋.目惑的两难论述(按西方数学哲学确定的价值标准无法表现中国古代筹算的特征，放弃西方数学的价值标准又使中国古代数学无法得到评判).从这种意义上来说，模式论的数学观还无法为中国古代数学，实际上它也无法为西方数学之外的其它民族文化中的数学提供一个客观公正的评判价值系统。笔者认为，这种忽略东方数学史实的数学哲学思考，应当在模式论数学哲学的进一步发展中尽快得到解决。二.、数学真理的客观性 首先，它蕴含了存在着一个独立于物质世界的抽象的数学世界。因为现代物理学告诉我们，我们生存于其中的这个物质世界可能是有穷的:在宏观上，大爆炸宇宙模型提供了一个宏观上有穷的宇宙模型;在微观上，有关