罗素类型论研究
| 摘要 | 第4-5页 |
| ABSTRACT | 第5-6页 |
| 引言 | 第11-25页 |
| 第一节 罗素类型论的提出及影响 | 第11-20页 |
| 一、罗素类型论的提出 | 第11-17页 |
| 二、类型论的逻辑与哲学影响 | 第17-20页 |
| 第二节 研究综述与研究思路 | 第20-25页 |
| 一、国内外研究综述 | 第20-23页 |
| 二、本论文研究思路 | 第23-25页 |
| 第一章 罗素的类型概念 | 第25-40页 |
| 第一节 罗素的简单类型论 | 第25-29页 |
| 一、类型的概念 | 第25-26页 |
| 二、类型的划分 | 第26-27页 |
| 三、简单类型论的缺陷 | 第27-29页 |
| 第二节 罗素的分支类型论 | 第29-40页 |
| 一、恶性循环原则 | 第29-30页 |
| 二、“真”与“假”的系统含混性 | 第30-33页 |
| 三、函项的分阶 | 第33-36页 |
| 四、可划归公理 | 第36-40页 |
| 第二章 类型论的传统解释 | 第40-59页 |
| 第一节 简单类型论的传统解释 | 第40-50页 |
| 一、简单类型论的传统表述 | 第40-42页 |
| 二、简单类型论的传统形式系统 | 第42-50页 |
| 第二节 分支类型论的传统解释 | 第50-59页 |
| 一、关于命题分阶的解释 | 第50-51页 |
| 二、关于函项分阶的解释 | 第51-56页 |
| 三、关于可划归公理的解释 | 第56-59页 |
| 第三章 类型论的兰蒂尼解释 | 第59-78页 |
| 第一节 简单类型论的兰蒂尼解释 | 第59-64页 |
| 一、《数学原则》的逻辑观念 | 第59-62页 |
| 二、《数学原则》的逻辑系统 | 第62-64页 |
| 第二节 分支类型论的兰蒂尼解释 | 第64-70页 |
| 一、系统建构与要点分析 | 第65-67页 |
| 二、类型与阶的哲学确证 | 第67-70页 |
| 第三节 兰蒂尼的批评及其哲学理念 | 第70-78页 |
| 一、兰蒂尼对传统解释的批评 | 第70-74页 |
| 二、兰蒂尼论罗素哲学 | 第74-78页 |
| 第四章 类型论的逻辑观念 | 第78-93页 |
| 第一节 类型论的变元思想 | 第78-83页 |
| 一、简单类型论的变元思想 | 第78-81页 |
| 二、分支类型论的变元思想 | 第81-83页 |
| 第二节 类型论的哲学立场 | 第83-88页 |
| 一、逻辑原子主义背景 | 第83-86页 |
| 二、类型论的实在论立场 | 第86-88页 |
| 第三节 类型论的分层理念 | 第88-93页 |
| 一、分层理念影响下的解悖方案 | 第88-91页 |
| 二、关于分层理念的反思 | 第91-93页 |
| 致谢 | 第93-94页 |
| 参考文献 | 第94-96页 |
