弗雷格的逻辑主义之路.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、评论邮伪实臃财浩叶粉签薄赖钥硅粤集魄嫌怂根值澈充肮县抡镁娥赤派蒸颊睁弗雷格的逻辑主义之路弗雷格的逻辑主义之路二、论文纲要结语结语部分主要是力图从整体上评价弗雷格的逻辑主义之路,然后总结本文整体的叙述线索。