打开APP
userphoto
未登录

开通VIP,畅享免费电子书等14项超值服

开通VIP
深度解析:弗雷格的逻辑学思想,是如何影响后世的?
userphoto

2023.03.22 河南

关注

概述

弗雷格是一位德国哲学家、数学家和逻辑学家,被认为是现代逻辑学的创始人之一。

他在19世纪末和20世纪初的作品对语言哲学、数学哲学和逻辑哲学产生了重大影响。

弗雷格的思想对逻辑符号学的发展也产生了深远影响,他创造了一些符号来表示逻辑关系,并用它们来建立了一种新的逻辑体系。这些符号后来成为现代逻辑符号学的基础

语言哲学

弗雷格的语言哲学可以说是他哲学思想中最为重要的部分之一,因为它涉及到了语言的本质和意义的问题,语言是人类思维的工具,而语言的意义是通过它所表示的对象来确定的。他试图通过分析语言结构,来探究语言的性质和规律。

语言是由单词组成的,每个单词都有一个意义或者指称,但是他也发现了一些困难:有些名词似乎没有对应的对象。

比如“独角兽”;还有一些名词可以和不同的对象联系起来,比如“早上”,既可以指具体的时间段,也可以指一个概念,针对这些问题,弗雷格提出了他的“概念-对象”区分的思想。

语言中的名词可以分为两类:概念和对象,概念是指具有共同属性的东西的集合,而对象是指单个实体或个体。

举个例子,“猫”这个单词可以被分成两个部分:一个部分是表示“猫”的概念,即所有猫的集合;另一个部分则是表示某一只猫的对象。语言表达的意义就是由这些概念和对象相互作用所形成的。

弗雷格进一步探究了名词量词的关系,名词必须和一个对象相对应,否则它就没有意义。如果我们说“红色的汽车在街上行驶”,那么“红色的”和“汽车”这两个词都必须和某个实际存在的对象相对应才能有意义,而量词则用于描述名词所表示的一类对象的数量,比如“所有的”、“存在一个”等等。

弗雷格特别关注命题中的量词问题,提出了世界上第一个正式的量词理论,量词是语言中最基本的概念之一,它们是用来描述对象的数量和范围的。

由于量词的复杂性,它们需要进一步进行分类和表述。弗雷格提出了一种新的逻辑符号系统,被称为“弗雷格逻辑”。这种逻辑包括了一系列符号规则,用于分析和推导命题的结构和真值。

在弗雷格看来,意义和真理是密切相关的,一个陈述句只有在它所描述的事情确实存在时才能被判定为真。这个想法被称为“主张真理”。

弗雷格给出了一个简单而有力的例子来说明这个概念:如果我们说“太阳是一个星球”,那么这个陈述只有在现实中确实存在一个叫做“太阳”的东西,并且它确实是一个星球时才能被判定为真。

同样地,如果我们说“独角兽存在于现实中”,那么这个陈述就不可能是真的,因为独角兽并不存在。

弗雷格还提出了一个关于意义和真理的更深层次的问题:什么使得一个陈述句成为真的?他认为,语言应该与现实对应起来,而一个陈述句之所以为真,是因为它所描述的事情确实存在于现实中,在这个意义上,弗雷格认为,真理是语言和现实之间的一种对应关系。

弗雷格的语言哲学思想在当时引起了很大的反响,它成功地将语言这一看似普通的工具提升到了哲学领域中,探究了语言背后的本质规律,此外弗雷格的逻辑学和数学哲学思想也非常重要。

弗雷格提出的“概念-对象”区分为后来的逻辑学和语言哲学提供了重要的启示,同时他的量词理论也为后来的逻辑学发展奠定了基础,弗雷格的逻辑符号系统,即弗雷格逻辑,一直是现代逻辑学中重要的组成部分。

弗雷格的语言哲学思想对认识论领域也产生了深远的影响,我们的认知能力不仅限于感性经验,还需要运用概念和推理。这个观点对后来的哲学家们探究人类认知和理解能力提供了启示。

逻辑学

逻辑学是哲学的一个分支,研究正确推理和有效论证的原则和方法,逻辑体系和符号系统奠定了现代逻辑学的基础,对语言哲学、数学哲学和逻辑哲学产生了深远影响。

19世纪末20世纪初的欧洲,逻辑学正处于一个混乱的时期,不同的学派使用着不同的符号和规则来表示逻辑关系

弗雷格意识到这种局面的问题,开始致力于建立一个通用的符号系统,以便能够表达所有的逻辑关系。他希望这个符号系统能够成为一种普遍的“形式语言”,从而解决不同学派之间的交流问题。

弗雷格提出了一些新的符号来表示逻辑关系,其中最重要的是“函数符号”和“量词符号”。函数符号用来表示一个概念作用于一个对象上的过程。

例如,“+”符号表示加法操作,可以写成“f(x,y)=x+y”的形式,其中“f”是函数符号,“x”和“y”是变量,表示加数,“=”表示等于号。这个公式可以解释为“把x和y相加得到结果f(x,y)”。

量词符号则用来表示一个概念应用于整个域上的情况,例如,“∀”符号表示全称量词,意思是“对于所有的x都成立”,“∃”符号表示存在量词,意思是“存在某个x使得……成立”。

通过这些新的符号,弗雷格建立了一种新的逻辑体系,被称为“谓词逻辑”,这个体系能够表达更多的复杂概念,如集合论和数学推理,它的符号系统也成为了现代逻辑符号学的基础。

尽管谓词逻辑能够表达更多的复杂概念,但它仍然存在一些限制,它不能捕捉到一个对象集合的全部特性。这个问题在集合论中尤为明显,因为集合本身就是一个对象,它有自己的属性和特征。

为了解决这个问题,弗雷格进一步发展了一种新的逻辑体系,称为“二阶谓词逻辑”,在这个体系中,除了具有谓词和变量的一阶命题外,还有一个谓词和一个变量都是集合的二阶命题。这样,我们就可以表达更多的复杂概念,例如集合包含集合的情况。

二阶谓词逻辑比谓词逻辑更加灵活,能够解决许多谓词逻辑无法解决的问题。但它同时也更加复杂,需要更多的技术来处理,因此它往往只被用于处理极其复杂的问题。

弗雷格的另一个重要贡献是他对“概念演化”这一概念的阐述,在弗雷格看来,科学概念不是静态不变的,而是随着时间和经验的积累而发生变化,这种变化可能是由于新的发现或者新的实验结果,也可能是由于概念本身的内在矛盾或者不完善性。

例如,我们可以考虑欧几里得几何中的平行公设,在欧几里得的时代,人们认为如果两条直线在平面内没有相交点,那么它们就是平行的。

但是,在19世纪初,布莱希诺证明了非欧几里得几何,其中平行公设不再成立,这个发现不仅引起了对几何学基础的重新思考,也使得人们对概念本身的内在矛盾性产生了质疑。

概念的演化不是一种简单的递增过程,而是一种复杂的动态过程,概念之间可能存在多种关系,如包含、排斥、衍生等等。这些关系可能会相互作用,从而导致概念的演化和转化。

概念演化的概念对于哲学、语言学和文化研究都具有重要意义,它提示了我们重视概念的历史和演化过程,从而更好地理解应用概念

数学哲学

弗雷格的数学哲学观点可以概括为“把数学归结于逻辑”,在数学中所使用的概念原理都可以通过逻辑的形式化来表达,因此数学不应该被看作是一种独立的学科,而应该被看作是逻辑的一个分支。

这个观点对当时的数学界产生了深远影响,首先它启发了数学家们重新审视数学的基础问题,例如数学证明的可靠性和基础公理的选择。其次,它促进了数学和逻辑学之间的交叉学科研究,如集合论和模型论等。

为了证明数学可以归结于逻辑,弗雷格致力于建立一个新的数学基础理论,数学的基础应该建立在逻辑的基础之上,而不是仅仅基于集合论或其他独立的数学分支。

于是,他提出了一套基于逻辑的数学基础理论,称之为“算术基本定律”。这个理论试图用逻辑语言来描述数学中的所有概念和原理,并从中推导出所有的数学定理。

其中最重要的是弗雷格引入的“概念演化”思想,认为数学概念会随着时间和经验的积累而不断演化,从而使得数学基础更加牢固。

弗雷格的数学基础理论并没有得到广泛接受,一方面,由于逻辑符号系统的复杂性和基础公理的不充分性,这个理论并不能完全表示所有的数学概念和原理。

另一方面,弗雷格在系统中犯了一个严重的错误,即“悖论”,这个错误使得整个系统受到了质疑。尽管如此,弗雷格的数学基础理论还是对数学哲学产生了深远影响,为后来的数学哲学家提供了宝贵的启示。

与逻辑符号系统类似,弗雷格也发展了一套用于数学表示的符号系统,这个符号系统在现代数学中得到了广泛应用,尤其是在集合论、数理逻辑和计算机科学中。

弗雷格的符号系统极大地简化了数学表达,使得人们能够更加清晰地交流和推理。它也启示了后来的数学家计算机科学家在符号表示上的研究,例如正则表达式和形式语言等。

除了符号系统之外,弗雷格还注重数学语言的精确性和一致性。

数学语言应该避免模糊性和歧义性,每个概念都应该明确定义。这种精确性和一致性成为了现代数学中广泛使用的标准。

认识论

弗雷格的知识观可以概括为“知识基于推理”,我们所获得的知识都是通过推理过程得到的,而不是直接从经验中获取的。

例如,在数学领域中,我们所得到的定理证明都是通过逻辑推理得出的,而不是直接从实验或观察中获取的。

这个观点对当时的认识论界产生了深远影响,首先它促进了对知识的定义和范围的重新思考,使得人们开始关注知识和推理之间的关系,其次它鼓励了人们更加重视逻辑和推理的学习和应用,以获得更深刻的知识。

弗雷格的真理观可以概括为“真理是语句的符合性”,一个语句是真实的,当且仅当它所描述的事物是存在的。

因此真理不是主观的或相对的,而是客观的和绝对的。

这个观点对当时的哲学界产生了深远影响,它挑战了传统的真理观,如主观主义和相对主义,强调了真理的客观性和绝对性,启示了后来的逻辑学家语言哲学家在真理表示和推理规则上的研究,例如模型论和语义学等。

弗雷格的意义观可以概括为“意义是概念的指向对象”语言符号的意义并不在于它本身,而在于它所指向的对象。

例如,“苹果”这个词的意义并不在于字母的组合,而在于它所指向的水果。

这个观点对当时的哲学界产生了深远影响,它启示了后来的语言哲学家和语义学家在语言意义上的研究。

作者观点

弗雷格是20世纪最重要的哲学家、数学家和逻辑学家之一,他在认识论、数学哲学和逻辑学等领域提出了一系列深刻的思想,对后世产生了广泛而深远的影响。

雷格提出了“把数学归结于逻辑”的观点,并建立了基于逻辑的数学基础理论和符号系统。这些思想启发了后来的数学和计算机科学研究,如集合论模型论形式语言等。

弗雷格的思想对现代哲学数学计算机科学产生了深远影响,成为当今世界思想文化遗产的一部分。

参考文献

贝丝·哈里斯,《现代分析哲学创始人》

阿曼达·赫林,《数学哲学的开端》

雷切尔·库瑟,《弗雷格认识论》

本站仅提供存储服务,所有内容均由用户发布,如发现有害或侵权内容,请点击举报
打开APP,阅读全文并永久保存 查看更多类似文章
猜你喜欢
类似文章
【热】打开小程序,算一算2024你的财运
弗雷格
弗雷格逻辑研究
—— 一半数学家一半哲学家的弗雷格(上...
数学符号化的扩充:数理逻辑的兴起
莱布尼茨的猜想与梦想 | AI专栏
理解数学基础的三种主要方式—逻辑主义、形式主义和直觉主义
更多类似文章 >>
生活服务
热点新闻
分享 收藏 导长图 关注 下载文章
绑定账号成功
后续可登录账号畅享VIP特权!
如果VIP功能使用有故障,
可点击这里联系客服!

联系客服