| 摘要 | 第6-8页 |
| Abstract | 第8-10页 |
| 第一章 历史的回顾与国内外研究现状 | 第12-36页 |
| 一、历史的回顾 | 第12-32页 |
| 二、国内外研究现状 | 第32-35页 |
| 三、本文内容安排 | 第35-36页 |
| 第二章 布劳威尔的数学哲学 | 第36-79页 |
| 一、哲学在先 | 第36-44页 |
| 二、布劳威尔的认识论 | 第44-58页 |
| 三、布劳威尔的数学哲学 | 第58-65页 |
| 四、连续统 | 第65-70页 |
| 五、海丁与外尔的解释 | 第70-75页 |
| 六、简短的评论 | 第75-79页 |
| 第三章 直觉主义的语言观、逻辑观与直觉主义逻辑 | 第79-99页 |
| 一、布劳威尔的语言观与逻辑观 | 第79-84页 |
| 二、海丁的解释 | 第84-88页 |
| 三、直觉主义逻辑的形式化 | 第88-96页 |
| 四、简短的评论 | 第96-99页 |
| 第四章 达米特对直觉主义的辩护 | 第99-116页 |
| 一、基本思路 | 第99-103页 |
| 二、具体的辩护 | 第103-109页 |
| 三、进一步的讨论:可交流性问题 | 第109-113页 |
| 四、简短的评论 | 第113-116页 |
| 结语 | 第116-121页 |
| 参考文献 | 第121-124页 |
| 博士在读期间科研情况汇总 | 第124页 |