| 第一部分 文献综述 | 第1-9页 |
| 导言 | 第9页 |
| 一、素类型论思想的理论背景 | 第9-14页 |
| (一) 康德的数学学说出现了困境 | 第10-11页 |
| (二) 罗素逻辑主义的数学观 | 第11-13页 |
| 1、什么是逻辑主义 | 第11页 |
| 2、弗雷格对罗素的影响 | 第11-12页 |
| 3、罗素的数学观 | 第12-13页 |
| (三) 罗素悖论 | 第13-14页 |
| 二、罗素的类型论思想 | 第14-23页 |
| (一) 罗素简单类型论的建构 | 第14-18页 |
| 1、类型论的核心概念 | 第15-16页 |
| 2、简单类型论的内容 | 第16-17页 |
| 3、简单类型论对罗素悖论等逻辑悖论的消除 | 第17-18页 |
| (二) 分支类型论的引入 | 第18-23页 |
| 1、分支类型论的引入 | 第18-19页 |
| 2、分支类型论与简单类犁论的区别 | 第19-23页 |
| 三、从简单类型论到分支类型论的必然困境 | 第23-28页 |
| (一) 罗素的实在论立场决定了他从简单类型论到分支类型论的跨越是必然的 | 第23-24页 |
| (二) 罗素试图消除语义悖论 | 第24-25页 |
| (三) 恶性循环原则 | 第25-28页 |
| 1、恶性循环原则思想的发展 | 第25-26页 |
| 2、恶性循环原则的内容 | 第26-27页 |
| 3、性循环原则面临的责难 | 第27-28页 |
| 四、罗素的回应 | 第28-30页 |
| (一) 罗素指出的解决悖论的三个方向 | 第28-29页 |
| 1、三个方向 | 第28页 |
| 2、罗素的无类理论 | 第28-29页 |
| (二) 对可归约公理责难的回应 | 第29-30页 |
| (三) 对恶性循环原则责难的回应 | 第30页 |
| 五、如何评价罗素的类型论思想 | 第30-34页 |
| (一) 对罗素类型论思想的批判理解 | 第30-31页 |
| 1、罗素类型论的困境宣告了逻辑主义的失败 | 第30-31页 |
| 2、哲学上的困境 | 第31页 |
| (二) 积极的评价 | 第31-34页 |
| 1、哲学意义 | 第31-32页 |
| 2、类型论的逻辑和数学意义 | 第32-34页 |
| 3、罗素类型论对塔尔斯基语义层级理论的影响 | 第34页 |
| 结束语 | 第34-35页 |
| 参考文献 | 第35-36页 |
| 后记 | 第36页 |