《先天性》：阅读笔记
《先天性》，节选自阿尔弗雷德·朱尔斯·艾耶尔《语言，真理和逻辑》
收录在《数学哲学》第三编：数学真理
我感觉这篇文章的主要思想还是和我很贴近的。主要在以下方面：
- 经验论的数学哲学：不存在关于现实的先天知识。数学无关乎现实世界，数学命题是分析命题。在现实世界的（“出乎意料的”）有效性是纯粹偶然的。对于更一般的科学来说，所有科学命题都是“大概的假设”。
- 数学是有意义的，但数学命题的意义并非在于其在物理世界的映照，而是在于论证分析命题在我们的世界（一个低智商人群组成的世界）是合理的。“一个具有无限智力的人对逻辑和数学毫无兴趣。”
- 批驳康德主义唯理论：“5+7=12”不是综合命题，是分析命题，错误的根源在于康德使用了非逻辑的论据；几何学是分析的且无关乎人类空间直觉的，因为几何学也不描述物理世界：康德受到了时代的限制。（康德的这个错误常常使得现代数学家忍俊不禁。）