弗雷格地逻辑主义之路.ppt

弗雷格的逻辑主义之路 郭永盛  * * 论文概要 一、论文立意 终其一生，弗雷格的工作都集中在一个中心之上：将算术及可划归为算术的学科还原为更本质的逻辑，并力图通过形式（逻辑）定义和证明的方式来完成这样的构想。因此，从逻辑主义的角度来看，其它理论很大程度上是弗雷格为克服他逻辑主义之路中遇到的困难而不得不提出的解决方案。 本文正是试图从这样的角度，来重新理解和阐释弗雷格的思想。 叙述次序 二、论文立意 绪论部分交代弗雷格逻辑主义之路所处的理性主义传统和寻找数学基础的背景；第一章利用弗雷格教给我们的概念分析方法，分析“逻辑主义”的内涵，指出弗雷格的逻辑主义必须要经历哪些阶段，必须提供哪些观点，然后指出逻辑主义是弗雷格学术生涯开始阶段即有的直觉和决心，最后详细介绍逻辑主义的实施工具：他的逻辑系统；第二章主要介绍弗雷格的算术哲学，然后指出根据这样的算术观，如何通过对算术语言的分析得出弗雷格必须要接受的算术本体论；第三章主要介绍弗雷格对算术系统的具体还原工作，重点介绍“自然数”的逻辑定义以及弗雷格算术和弗雷格定理的内容；第四章重点介绍弗雷格的逻辑对象观念，分析在从算术到逻辑的还原过程中，如何从算术本体论进入逻辑本体论，最后从逻辑和哲学角度分析弗雷格系统中所蕴含的罗素悖论之产生机制；第五章简要介绍弗雷格逻辑纲领的继承者，最近在英美哲学中比较活跃的新逻辑主义者的观点，重点在对比弗雷格思想的基础之上介绍新逻辑主义如何解决弗雷格逻辑主义之中的困境。 二、论文纲要 前言 绪论 逻辑主义思想产生的背景 第一节、理性主义的传统 1、莱布尼茨的理性主义 2、康德的理性主义及数学观 3、评论 第二节、 寻找数学之根 1、数学的基础危机 2、弗雷格之前的逻辑主义思想 3、数学的形而上学和认识论基础 二、论文纲要 第一章 “逻辑主义”的内涵和工具 第一节、 弗雷格逻辑主义的内在要求 1、逻辑主义的内涵 2、弗雷格早期的基础主义兴趣 3、评论 第二节、 弗雷格的逻辑 1、概念文字 2、弗雷格的逻辑观 3、评论 二、论文纲要 第二章 从算术出发 第一节、 弗雷格的算术哲学 算术的柏拉图主义 算术真理的客观性和分析性 评论 第二节、 从名称到指称 1、涵义和指称 2、意义理论 3、评论 第三节、 算术语言的成分 1、专名和函数名 2、概念词和句子 3、“自然数”的哲学分析 4、算术的本体论 5、评论 二、论文纲要 第三章 分析的路径 第一节、 “概念文字”的改造 1、逻辑系统简介 2、《概念文字》中逻辑系统的化归 3、评论 第二节、 算术命题和推理的逻辑分析 1、自然数序列的分析 2、数学归纳法的分析 3、评论 第三节、 “自然数”的逻辑定义 1、概念的数和休谟原则 2、外延定义和公理五 3、评论 第四节、 弗雷格算术 1、皮亚诺算术系统的证明 2、弗雷格定理 3、评论 二、论文纲要 第四章 回到逻辑 第一节、 第三域 1、思想 2、算术和逻辑的柏拉图主义 3、评论 第二节、 逻辑的本体论 1、逻辑对象 2、逻辑对象观念之下的逻辑观 3、评论 第三节、 罗素悖论 1、“外延”概念 2、公理五 3、评论 二、论文纲要 第五章 新逻辑主义 第一节、 新弗雷格主义 1、语形优先性 2、意义伴生性 3、评论 第二节、 抽象原则 1、新名称的引入规则 2、新名称指称的确定原则 3、指称的实在论 4、评论 第三节、 二阶逻辑 1、二阶谓词逻辑系统 2、新逻辑主义的逻辑观 3、评论