分享

数理逻辑体系的开创者 科学家名叫弗雷格

 我的书摘0898 2016-07-13

本文首发于微信公众号:网络智酷。文章内容属作者个人观点,不代表和讯网立场。投资者据此操作,风险请自担。

弗雷格德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。数理逻辑时代,弗雷格建立数理逻辑体系

现在到了数理逻辑的时代,这里面很重要的就是1879年弗雷格写了一本小书《概念文字》。他是第一个建立起数理逻辑体系的德国哲学家,他构成了一阶谓词逻辑,是数理逻辑诞生的一个标志。第二个是数理逻辑时期,刚才讲逻辑代数时期,现在讲了数理逻辑时期。那时候德国的哲学是流行心理主义,就是用普通语言来研究哲学,搞出了很多概念上的混乱。后来弗雷格一个主要的目的,就是要把心理主义从科学当中去除出去,他就说用算法方法进行逻辑研究,这是1985年写出的《概念文字》。弗雷格并不是不知道布尔的工作,因为布尔比他早,所以他就把布尔的东西叫做抽象代数,和他的《概念文字》进行了区分。弗雷格就是从逻辑出发来改造传统逻辑,布尔是从代数出发得出了合乎逻辑的结论,在我看来可能理性演算和普遍语言能达到一种和谐的状态。

哲学的语言转向

与布尔不同的是弗雷格希望创造一种莱布尼茨意义下的一种普遍语言,不想创造一种纯粹的理性演算。他想创造一个语言,不是要一种演算,但是布尔不一样。后来他的工作达到了莱布尼茨梦寐以求的形式语言,籍此将人类知识表达出来。他定义了在算术的基础上,搞了一套哲学分析的工具,有了这个数理逻辑,哲学的本质就改了,就是用现代逻辑和现代数理逻辑对哲学进行分析。1884年他又写了第二本书叫《算术基础》,《算术基础》就标志着语言转向的开始。罗蒂语曾经写过一本书就是《语言转向》,其实语言转向是维也纳学圈的一个主要人物提出来的,罗蒂语后来把它当成书名了。

哲学开始了语言的转向,是语言转向,不是语言学转向,网上铺天盖地的都是语言学转向。我在北师大讲的时候,北师大老师都发火了,说这个跟语言学一点关系都没有。其实是差了一个字母,Linguistic是个形容词,但是语言学后面加个“s”,这样大家就把名词和形容词混起来了。其实在大学里也是的,教书语言学专门有个系,叫语言学系。可是讲语言转向不是在语言学系讲,是在哲学系讲,而且专门讲分析哲学的时候才讲。他的一个贡献就是形成了哲学的语言转向,认为哲学本质就是分析语言,分析语言的工具就是弗雷格的现代逻辑。牛津大学的哲学家达米特,认为语言转向是起于弗雷格的第二本书《算术基础》,谈语言转向必须谈弗雷格。就像我们讲现代逻辑、逻辑主义,要找莱布尼茨。弗雷格也是逻辑主义,罗素也是逻辑主义,他们是一条线上下来的。弗雷格、罗素、维特根斯坦共同构成了语言转向,罗素分析出了分析哲学,弗雷格发明了语言哲学,维特根斯坦是前期工作。他研究出来之后教小学去了,写了一个小薄本,觉得哲学都做完了,你们都别做了,然后他教小学去了。后来他又到大学里教书,到剑桥去,而且维特根斯坦据说还跟图灵有点亲戚关系。

弗雷格的学术贡献

弗雷格在学术上的贡献有两个方面:一个是分析哲学,还有现代逻辑。分析哲学他提供了工具,第二个是开创了现代逻辑,现代逻辑就是数理逻辑了。罗素就提出了逻辑原子论,他就是在分析哲学上进行得推进。我们可以把罗素的逻辑原子论和莱布尼茨的单子论进行比较,原子论是一个一个的,单子论是一堆一堆的,不一样,但是可以比较。有人说逻辑原子论就是莱布尼茨单子论给逼出来的,因为它是整个的,一个一个构建起来,原子论是一个一个的,和单子论是不同的。

文章来源:微信公众号网络智酷

    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多