当前位置:
首页 > 社会科学 > 哲学 > 弗雷格逻辑主义研究pdf/doc/txt格式电子书下载

弗雷格逻辑主义研究pdf/doc/txt格式电子书下载

本站仅展示书籍部分内容

如有任何咨询

请加微信10090337咨询

弗雷格逻辑主义研究pdf/doc/txt格式电子书下载

书名:弗雷格逻辑主义研究pdf/doc/txt格式电子书下载

推荐语:社会科学文献出版社出版荣誉出版

作者:刘靖贤著

出版社:社会科学文献出版社

出版时间:2020-03-01

书籍编号:30611870

ISBN:9787520159739

正文语种:中文

字数:170359

版次:1

所属分类:社会科学-哲学

全书内容:

弗雷格逻辑主义研究pdf/doc/txt格式电子书下载








弗雷格著作缩写


CN  Conceptual Notation and Related Articles,ed. and trans. with a biog. and introd.by T.W.Bynum,Oxford:Oxford University Press.


Gl  Die Grundlagen der Arithmetik,Breslau:W.Koebner.


   The Foundations of Arithmetic,J.L.Austin (trans.),Oxford:Blackwell.


GgⅠ Grundgesetze der Arithmetik,begriffsschriftlich abgeleitet,Jena:H.Pohle,Vol.Ⅰ.


   The Basic Laws of Arithmetic:Exposition of the System,ed. and trans. with an introd.by Montgomery Furth,Los Angeles:University of California Press.


GgⅡ Grundgesetze der Arithmetik,begriffsschriftlich abgeleitet,Jena:H.Pohle,Vol.Ⅱ.


PW  Posthumous Writings,trans. by P.Long and R.White,Oxford:Blackwell.


PMC  Philosophical and Mathematical Correspondence,B.McGuinness (ed.),H.Kaal (trans.),Oxford:Blackwell.


CP  Collected Papers on Mathematics,Logic,and Philosophy,B.McGuinness (ed.),M.Black et al.(trans.),Oxford:Blackwell.

导言


弗雷格是数理逻辑的创始人和分析哲学的奠基人,然而他的大部分工作都致力于研究一种被称为逻辑主义的数学哲学。这种哲学把算术还原为逻辑,也就是说,用逻辑符号定义算术符号,从逻辑公理推出算术公理,从而通过逻辑的分析性和先天性来保证算术的分析性和先天性,把算术建立在可靠的基础上。


为了执行其逻辑主义方案,弗雷格在《概念文字》中设计了一种不同于亚里士多德逻辑和布尔逻辑的新逻辑系统,这个系统实质上是二阶逻辑,它不仅包括一阶量化,也包括二阶量化,还隐含地使用了与概括公理等价的代入规则。概括公理是说,任意可表达公式都可以断定概念的存在:


XxXx↔ϕ(x)) 其中X不在ϕ(x)中自由出现


后来,弗雷格又在《算术基础》中分析了数的概念,给出了数的定义(包括隐定义和显定义),并且以非形式化的方式说明如何在概念文字中从数的定义推出数的规律。《算术基本规律》是弗雷格逻辑主义的最终成果,他给出了一个严格的形式系统,这个系统实质上是由二阶逻辑和第五公理构成的理论。弗雷格在这个系统中推导出了关于自然数的规律。第五公理是说,两个概念的外延相同当且仅当这两个概念等价:


εFG↔∀xFxGx


其中,ε是外延算子。然而,正当弗雷格从关于自然数的规律转向关于实数的规律时,罗素在弗雷格的系统中发现了悖论。罗素悖论根源于概括公理和第五公理的不一致性。


长久以来,人们一直认为,罗素悖论彻底瓦解了弗雷格的逻辑主义。然而,20世纪80年代,人们发现在弗雷格那里隐藏着一个重要结论:从休谟原则可以推导出算术的规律。休谟原则是说,两个概念的数相同当且仅当存在这两个概念之间的一一对应:


#F=#GFG


其中,#是数算子,≈是FG之间的等数关系。休谟原则和第五公理都被称为抽象原则,它们具有如下共同形式:


§FG↔Σ(FG


其中,§是抽象算子,Σ(FG)是FG之间的等价关系。后来的研究结果表明,休谟原则与二阶逻辑是一致的,并且从二者可以推出皮亚诺算术公理。这一结果被称为弗雷格定理,它引发了新弗雷格主义(也被称为新逻辑主义或新抽象主义)的兴起。人们把由休谟原则和二阶逻辑构成的理论称为弗雷格算术。新弗雷格主义认为,如果弗雷格用休谟原则取代第五公理,就可以实现其逻辑主义方案。然而,弗雷格的目标是为算术奠定认识论基础,从逻辑规律推出算术规律,从而用逻辑的认识论地位保证算术的认识论地位,即通过逻辑的分析性和先天性保证算术的分析性和先天性。即使成功地把算术公理还原为二阶逻辑和休谟原则,仍然需要说明二阶逻辑和休谟原则的认识论地位。也就是说,二阶逻辑是不是纯粹逻辑,休谟原则是否具有分析性和先天性仍然有待进一步论证。与此相关,既然弗雷格本人已经证明了弗雷格定理,那么他本人为什么不放弃第五公理转而诉诸休谟原则呢?


新弗雷格主义围绕休谟原则展开了许多争论,这些争论主要分为两类:一类与凯撒问题(Caesar Problem)相关,另一类与良莠不齐反驳(Bad Company Objection)相关。凯撒问题是说,如何确定任意对象(例如,凯撒)是不是一个数。如果对象a形如#F,则根据休谟原则可以确定a是否与某个概念的数相同;否则,不能确定a是否与某个概念的数相同。良莠不齐反驳是说,如何把可接受的抽象原则与不可接受的抽象原则区别开来。休谟原则与二阶逻辑是一致的,所以它是合理的抽象原则。但是,第五公理与二阶逻辑是不一致的,所以它不是合理的抽象原则。


从弗雷格的逻辑主义到新弗雷格主义或新逻辑主义的发展过程表明,弗雷格的思想并没有过时,他的工作在当代哲学和逻辑研究中仍然具有举足轻重的意义。本书将对弗雷格的逻辑主义进行系统性研究,以当代新弗雷格主义及其相关争论为出发点,还原弗雷格本人的逻辑主义思想。除第一章(从逻辑到算术)作为预备性的知识介绍外,全书可以概括地划分为三个部分。第一部分是历史性工作,主要围绕弗雷格的三本著作展开,用现代逻辑符号重构出弗雷格本人的公理、规则、定义和定理。这部分内容包括第二章(《概念文字》中的形式证明)、第三章(《算术基础》中的形式证明)和第四章(《算术基本规律》中的形式证明)。第二部分是技术性工作,主要围绕罗素悖论展开,分别针对第五公理和概括公理给出避免罗素悖论的方案。这部分内容包括第五章(改变抽象原则)、第六章(区分抽象原则)、第七章(限制经典逻辑)和第八章(修正经典逻辑)。第三部分是哲学性工作,主要围绕凯撒问题展开,分别讨论数、外延、真值以及涵义在弗雷格逻辑和哲学中的重要作用。这部分内容包括第九章(凯撒与数)、第十章(凯撒与外延)、第十一章(真值问题)和第十二章(涵义问题)。


下面简述各章内容。


第一章(从逻辑到算术)介绍与二阶逻辑和二阶算术相关的背景知识。第一节介绍二阶逻辑的语言、演绎系统、语义和元理论。对一阶逻辑进行扩张可以得到自由变元逻辑、标准二阶逻辑和分支二阶逻辑。二阶逻辑的语义包括标准语义和非标准语义(亨金语义和一阶多类语义)。第二节介绍一阶算术与二阶算术的分层,包括Robinson算术、Nelson-Wilkie算术、Kalmar算术、Gentzen算术、Grzegorczyk算术、Parsons算术、Ackermann算术、一阶算术、直谓算术、非直谓算术、二阶算术等。


第二章(《概念文字》中的形式证明)用现代逻辑的符号重构出弗雷格在《概念文字》中的主要结论及其证明过程。《概念文字》第三部分的主要内容是证明命题98和命题133。命题98是说,如果在f序列中yx之后,并且在f序列中zy之后,则在f序列中zx之后。可以不严格地把命题98表述为:


xy→(yzxz


命题133是说,如果步骤f是多对一的,并且myf序列中在x之后,则y属于以m为起点的f序列,或者yf序列中在m之前。可以不严格地把命题133表述为:


xm→(xyymmy


弗雷格的目的是,在纯粹逻辑的基础上证明这两个通常看来必须依赖于直观才能证明的命题。


第三章(《算术基础》中的形式证明)用现代逻辑的符号重构出弗雷格在《算术基础》中的主要结论及其证明过程。《算术基础》第四章第三部分(§§70-83)的主要内容是证明任何一个自然数后面都跟随另一个自然数。首先,弗雷格定义了等数关系(一一关联)、后继关系(在数序列中紧跟着)、强祖先关系(在数序列中后于或先于)和弱祖先关系(属于以某个数为起点或终点的序列)。然后,根据这些定义,弗雷格证明了皮亚诺算术中的后继公理,即任何数都在数序列中被另一个数紧跟着。也就是说,在数序列中不存在最大数。这个证明过程实质上是把属于“在数序列中先于n”这个概念的数看作在数序列中紧跟着n的数。


第四章(《算术基本规律》中的形式证明)用现代逻辑的符号重构出弗雷格在《算术基本规律》中的公理、规则、定义和定理。《算术基本规律》包括六条公理,分别是关于否定、蕴涵、量词、等词、值域(外延)和定冠词的公理;也包括一系列推理规则,如子部分互换规则、假言易位规则、子部分合并规则、从罗马字母到德文字母的转换规则、第一推理规则、第二推理规则、第三推理规则、罗马字母的代入规则、德文字母改写规则、希腊元音字母改写规则等;还包括一系列定义,如应用算子、双值域的多对一性、双值域的多对一关联性、双值域的逆、数算子、0、1、后继关系的双值域、强祖先关系的双值域、弱祖先关系的双值域、无穷数、序对等。在《算术基本规律》第二部分“自然数规律的证明”中,弗雷格一共证明了484个关于自然数的定理,主要有休谟原则、后继关系的双值域的多对一性、后继关系的逆的双值域的多对一性、关于0的规律、关于1的规律、关于有穷数的规律、关于计数的规律、关于无穷数的规律等。


既然罗素悖论的根源是概括公理与第五公理的冲突,或者是二阶逻辑与抽象原则的冲突,那么避免罗素悖论的方案大致可以划分为两类:一类是让抽象原则顺从于二阶逻辑,通过弱化抽象原则来避免悖论;另一类是让二阶逻辑顺从于抽象原则,通过弱化二阶逻辑来避免悖论。本书第五章和第六章考虑前一类方案,第七章和第八章考虑后一类方案。


第五章(改变抽象原则)主要评述三种通过改变抽象原则来避免罗素悖论的方案。第一种方案是弗雷格本人提出的,他建议把第五公理修改为:


εFG↔∀xx≠εFx≠εG→(FxGx))


这个方案是弗雷格在遭遇罗素悖论后提出的补充方案,但后来的研究表明,这个方案并不能避免罗素悖论。第二种方案是用休谟原则替代第五公理。休谟原则是弗雷格本人提出的,但他并没有用休谟原则替代第五公理,莱特在弗雷格的《算术基础》中重新发现了休谟原则,由此提出了所谓新弗雷格主义。第三种方案是布勒斯提出的,他建议把第五公理修改为新公理:


*F=*G↔(Small(F)∨Small(G)→∀xFxGx))


布勒斯证明新公理与二阶逻辑是一致的。


第六章(区分抽象原则)主要评述良莠不齐问题。第五公理、休谟原则和新公理都是抽象原则,既然有些抽象原则与二阶逻辑一致,有些抽象原则与二阶逻辑不一致,那么是否存在一个标准,能够把好的抽象原则与坏的抽象原则区别开来,这就是所谓良莠不齐问题。新弗雷格主义者提出了一系列区分抽象原则的标准,如一致性、保守性、稳定性等。虽然这些标准极大地深化了我们对抽象原则的理解,但是这些标准都面临着已知的或潜在的反例的挑战,都没能最终解决良莠不齐问题。笔者认为,弗雷格逻辑主义的实质是从第五公理(概括或外延的规律)推出休谟原则(数的规律),用休谟原则取代第五公理的做法违背了弗雷格的基本精神,所以笔者从改变抽象原则的方案转向限制二阶逻辑的方案。


第七章(限制经典逻辑)主要讨论三种通过限制二阶逻辑的概括公理来避免罗素悖论的方案。第一种方案是直谓概括公理,这是由新弗雷格主义者提出的。笔者的工作是揭示出直谓概括公理的局限性,即从直谓概括公理与公理版本的第五公理不能推出休谟原则。第二种方案是正概括公理,这是笔者在司寇伦等人工作的基础上提出的。虽然目前看来正概括公理还不足以实现弗雷格的逻辑主义方案,但笔者认为,在突破某些技术性瓶颈之后,这个方案的未来前景是光明的。第三种方案是分层概括公理,这是笔者在蒯因等人工作的基础上提出的。虽然与前两种方案相比这个方案可以推出更多的数学内容,但是由于一阶分层概括的一致性问题尚未解决,二阶分层的一致性仍然是一个开放问题。


第八章(修正经典逻辑)主要讨论在非经典逻辑的背景下如何避免罗素悖论。在弗雷格的逻辑系统中,他使用了三个逻辑常项,即否定、蕴涵和全称量词。通过改变这三个逻辑常项的意义,我们可以从经典逻辑得到非经典逻辑。例如,把二值否定修正为三值否定,由此得到多值逻辑;把实质蕴涵修正为严格蕴涵,由此得到模态逻辑;把有存在预设的量化修正为无存在预设的量化,由此得到自由逻辑。为了避免罗素悖论,本章给出了两种非经典逻辑方案,一种是基于三值原则的弗协调逻辑方案,另一种是基于严格蕴涵的模态逻辑方案。虽然这两种方案都可以避免罗素悖论,但是由于非经典逻辑的有限推理能力,这些非经典逻辑方案都不足以推出有实质内容的数学理论。


为数学奠定基础是弗雷格的哲学理想,在他执行逻辑主义方案的过程中还伴随着早期对心理主义的批判以及晚年的第三域思想。虽然晚年的弗雷格认识到其逻辑主义的失败,但他仍然坚信数学和逻辑的客观性。他所设定的第三域不仅包括真值和外延,也包括数和涵义。他认为,这些东西虽然不存在于物理世界,但仍然具有客观性。本书第九章至第十二章分别讨论数、外延、真值和涵义。


第九章(凯撒与数)主要讨论与数相关的凯撒问题。弗雷格放弃了用休谟原则取代凯撒问题,其根本原因是休谟原则不能解决凯撒问题。凯撒问题是说,休谟原则不能确定任意一个对象是不是一个数。本章详细考察了弗雷格在给出数的定义时如何提出凯撒问题,在此基础上评述了各种解决凯撒问题的方案,包括莱特的方案、赫克的方案、林奈博的方案、乌兹奎亚纳的方案和库克的方案,也包括笔者的解决方案。但笔者认为,如果从弗雷格的角度看,这些解决方案都不能令人满意,这似乎使得凯撒问题成为不可解的谜题。然而,无论如何,从当代哲学的视角看,凯撒问题深化了我们对形而上学、认识论和语义学的理解,在笔者看来,甚至当代分析哲学许多热点问题都在某种程度上体现了凯撒问题。


第十章(凯撒与外延)主要讨论与外延相关的凯撒问题。新弗雷格主义者认为,虽然休谟原则不能解决凯撒

....

本站仅展示书籍部分内容

如有任何咨询

请加微信10090337咨询

本站仅展示书籍部分内容
如有任何咨询

请加微信10090337咨询

再显示