| 论文摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 书目缩写 | 第10-11页 |
| 导言 | 第11-13页 |
| 第一章 哥德尔定理 | 第13-40页 |
| 第一节 数学真理:哲学家的观念 | 第13-16页 |
| 第二节 从真理到推理——以微积分为例 | 第16-33页 |
| 1,古希腊的无穷小概念 | 第18-20页 |
| 2,穷竭法 | 第20-23页 |
| 3,牛顿和莱布尼茨 | 第23-25页 |
| 4,无穷级数 | 第25-27页 |
| 5,19世纪分析的严格化 | 第27-31页 |
| 6,逻辑基础? | 第31-33页 |
| 第三节 哥德尔定理 | 第33-40页 |
| 1,自然数理论和公理化 | 第33-35页 |
| 2,映射 | 第35-36页 |
| 3,集合论 | 第36页 |
| 4,三种主义 | 第36-37页 |
| 5,哥德尔定理 | 第37-40页 |
| 第二章 维特根斯坦的数学哲学 | 第40-72页 |
| 第一节 逻辑推理 | 第40-46页 |
| 1,TLP和分离规则 | 第40-41页 |
| 2,量词 | 第41-42页 |
| 3,形式逻辑和日常语言 | 第42-44页 |
| 4,遵行规则 | 第44页 |
| 5,机制 | 第44-46页 |
| 第二节 数学证明 | 第46-57页 |
| 1,证明的必然性 | 第46-48页 |
| 2,几何构造 | 第48-49页 |
| 3,综观 | 第49-50页 |
| 4,定义 | 第50-51页 |
| 5,Sign-game | 第51-53页 |
| 6,prose | 第53-56页 |
| 7,数学的必然性 | 第56-57页 |
| 第三节 数学基础 | 第57-72页 |
| 1,Intension,extension | 第57-58页 |
| 2,自然推理 | 第58-60页 |
| 3,绝对的推理 | 第60-62页 |
| 4,罗素对数的定义 | 第62-65页 |
| 5,逻辑主义 | 第65-66页 |
| 6,形式主义 | 第66-67页 |
| 7,矛盾 | 第67-72页 |
| 第三章 维特根斯坦论哥德尔定理 | 第72-87页 |
| 第一节 Shanker和F1oyd的辩护 | 第73-80页 |
| 1,Shanker的辩护 | 第73-75页 |
| 2,Floyd的辩护 | 第75-80页 |
| 第二节 几点评论 | 第80-85页 |
| 1,真与可证 | 第80-82页 |
| 2,"Notorious Paragraph" | 第82-84页 |
| 3,"Suppose this could be proved" | 第84-85页 |
| 第三节 结论 | 第85-87页 |
| 第四章 结论 | 第87-89页 |
| 附录:维特根斯坦对哥德尔定理的评论 | 第89-96页 |
| 参考文献 | 第96-100页 |
| 致谢 | 第100-101页 |