数学哲学第1讲.docVIP

《数学哲学》2010秋：数学哲学的基本问题（2） 问题3：认识论问题 问题的表述：承认我们有数学知识，数学知识是关于什么的知识？我们是如何获得这些知识的？什么可以核证（justify）这些知识？ 朴素实在论的认识论 论点：数学知识是关于抽象数学对象的知识 难题：宇宙时空中的人如何能够认识到抽象数学对象？ 数学知识问题可归结为如何认识公理，什么可以核证公理，如“存在一个无穷集合”？ 如果我们只是想象一个无穷集合，而不是认识一个客观存在的无穷集合，则没有问题； 认识时空中的具体事物也没有问题，如关于电子的知识。 二十世纪实在论尝试的各种回答 哥德尔的柏拉图主义 人有非物质的心灵，心灵的能力不能归结为大脑的活动，心灵有一种抽象直觉能力能够直接认识数学公理；还可通过公理的“成果”来决定是否接受公理。 问题：对心灵的所谓直觉能力还缺乏一个可信的理论。 弗雷格的逻辑主义 数学公理是逻辑真理，逻辑真理是关于任何可能事物都为真的，认识逻辑真理只需要靠概念分析，不需要与对象有任何“接触”。 问题：无穷公理似乎不是逻辑公理。 蒯因的实用主义实在论 以数学公理与物理定律一起为前提可以推导出可观察的科学结论，经验观察可以验证这些可观察的结论，这种科学上的成功，不止核证（justify）了我们关于一些不可直接观察到的物理对象如电子的信念，也核证了我们的数学公理。（整体主义认识论） 问题：整体主义认识论与自然主义对认知过程的理解不可调和。 反实在论的认识论任务 对于反实在论，数学知识不是关于抽象数学对象的知识，但依旧有关于数学的认识论问题。 反实在论应该正面说明我们的数学知识是关于什么的知识，我们如何获得与核证数学知识： 我们的确有数学知识，即便不是关于抽象数学对象的知识； 我们的数学知识不仅仅是关于从公理可以推导出什么定理的知识，还包括公理本身蕴涵的知识； 这种知识的内容与数学的可应用性相关联。 二十世纪的反实在论还未完成这个任务 希尔伯特的形式主义：如果希尔伯特方案可以成功，应该可以进一步发展出一个反实在论的认识论： 数学知识部分是关于从公理如何推导出定理以及可以推导出什么定理的知识，部分是关于公理的逻辑一致性的知识； 如果希尔伯特方案可以成功，这些知识可以转化成为关于无穷数学的应用为何能够得出关于有限事物的真理的知识。 问题：不完全性定理。 直觉主义：数学知识是关于我们自己的思想的创造活动的知识。问题： 还未解释这种知识的内容如何与数学的可应用性相联系：如果数学知识仅仅是关于我们自身的思想创造活动的知识，这种知识如何有助于科学描述外部世界？ 也未解释在科学中有实际应用的经典数学知识在于什么。 逻辑实证主义：数学知识是关于语言使用规则的知识。问题： 如果关于语言使用规则的知识又是相对于语言框架的，则可能蕴涵相对主义； 如果有超语言框架的基础知识，则还未在此基础知识的基础上解释关于语言使用规则的知识的内容如何与数学的可应用性相联系。 现代反实在论：或者忽视这个问题，或者同样未能解释数学知识的内容如何与数学的可应用性相联系。 问题4：数学的分析性与先天性 问题的表述 几个基本概念 分析真理/综合真理 分析真理：依相关概念的意义就为真的陈述，如“今天下雨或不下雨”、“单身汉是男性”等。 一种定义：通过概念的定义的替换可成为重言式或更一般的逻辑真理的判断。 分析真理没有事实内容，对世界无所论断。 先天真理/后天真理 先天真理：不需要从感官获得的经验知识来核证的真理。 需要通过学习来获知vs.需要经验来核证；例：2+3=5。 分析真理都是先天的。 先天综合真理 具有经验不足以核证的绝对性，但又不是没有事实内容的同语反复； 不必依赖经验就能够认识、核证它为真，但需要依赖其中的概念的意义之外的某种东西，因此不是分析真理。 问题：数学真理是分析的还是综合的？是先天的还是后天的？ 如是后天的，数学真理是否还有有别于其它科学真理的绝对普遍性与必然性？ 如是分析的，怎样的数学概念的定义使得它们为分析的？ 如是先天综合的，什么是它们的事实内容，又是我们的什么先天认知能力使得我们可以先天地认识它们？ 传统哲学的回答： 康德：5+7=12是先天综合真理 它是综合的：“5”、“7”、“+”这些概念中并非已经包含了“12”这个概念； 它是先天的：算术的普遍性、必然性超出任何可能的经验（不能想象5+7(12，经验不能否定5+7=12）。 算术真理是由先天认知形式决定的，被我们的先天直觉认识。 从现代心理学的角度看 难点：不能说明现代数学知识 先天认知形式如何决定超出感官所认识的事物的无穷？ 一些涉及无穷的公理，如选择公理，似乎是在尝试/错误中被接受的。 穆勒：5+7=12是最普遍的经验的概括 是“5个苹果加7个苹果等于12个苹果”、“5根手指头加7根手指头等于12根手指头”等事实真理