首页--数理科学和化学论文--数学论文--数理逻辑、数学基础论文--集合论论文--悖论论文

罗素类型论研究

摘要第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页

论文共96页,点击 下载论文
上一篇:图的内幂及其坚韧度
下一篇:乌头属(Aconitum L.)植物剧毒特性关键BAHD酰基转移酶基因的鉴定与功能研究