算术基础 豆 8.6分

资源最后更新于 2020-08-18 15:47:00

作者：G.弗雷格

译者：王路

出版社：商务印书馆

出版日期：1998-01

ISBN：9787100032391

文件格式： pdf

标签： 哲学 弗雷格 数学 数理逻辑 分析哲学 逻辑学 逻辑哲学 算术基础

简介· · · · · ·

弗雷格（Gottlob Friedrich Ludwig Frege，1848－1925）在《算术基础》中阐述了三条基本原理，这三条原理一方面说明他为什么要构造他的人工语言系统，另一方面说明算术何以能够建立在逻辑的基础之上，这是从哲学的高度出发论证他的逻辑和数学思想的基础。

弗雷格于1897年发表《概念文字：一种模仿算术语言构造的纯思维的形式语言》（Begriffsschrift，eine der arithmetischen nachgebildete Formelsprache des reinen Denkens）。这本薄薄的书可谓现代逻辑的开山之作。它奠定了数理逻辑中的命题逻辑和一阶谓词逻辑的基础。然而，对于这本逻辑史上划时代的专著，在当时却少有人问津。弗雷格反思其原因，认为除人们对那陌生的符号系统望而生畏外，还不理解他为什么要构造这一系统的...