《算术基础》(德)G弗雷格(GottlobFre)电子书图书酷

本站主要采用城通网盘链接分享，因为其他网盘会和谐链接！非VIP会员的朋友请点击普通下载，弹窗关闭即可。速度可能比较慢，请耐心等待，提高下载速度，送您10元消费红包。

内容简介

弗雷格(1848—1925)是德国著名的数学家、逻辑学家、哲学家，是现代数理逻辑的创始人。他于1848年11月8日出生在德国维斯玛；1869年进耶拿大学学习，后去哥丁根大学学习，先后学习了数学、物理、化学和哲学等课程；1873年在哥丁根大学获得哲学博士学位；1874年获得耶拿大学数学系的授课资格；1879年被任命为该校副教授；1896年被任命为该校名誉教授；1918年退休；1925年去世，享年77岁。他的主要著作和论文有：《概念文字：一种模仿算术语言构造的纯思维的形式语言》(1879)；《算术基础：对于数这个概念的一种逻辑数学的研究》(1884)；《算术的基本规律》卷(1893)、第二卷(1903)；《论意义和意谓》(1892)；《函数和概念》(1891)；《论概念和对象》(1892)等等。
弗雷格是杰出的数学家和逻辑学家。他想从逻辑推出数学。为了这一目的，他进行了三步努力。步是发表了《概念文字》，他在该书中构造了一种形式语言，并以这种语言建立了一阶谓词演算系统，从而提供了一种严格的逻辑工具。第二步是发表了《算术基础》，在这部著作中，他详细探讨了什么是数，什么是0，什么是1等基本概念；他批评了许多数学家和哲学家，包括密尔、康德等人关于这些问题的错误论述；他还从逻辑角度刻画了这些概念。这就为他的第三步，即以逻辑系统来构造算术奠定了基础。虽然后来由于罗素发现了悖论，他的第三步工作没有成功，但是他的前两步工作倍受人们称赞。他的《算术基础》本身包含着许多深刻的哲学探讨，比如关于数的讨论、关于分析和综合的讨论、关于逻辑和心理学的区别的讨论。特别是他提出的三条原则，即必须把心理学的东西与逻辑的东西区别开，把主观的东西与客观的东西区别开；必须在句子联系中询问语词的意谓；必须注意概念和对象的区别，成为今天人们研究和讨论的热点。著名哲学家M．达米特(M．Dummett)说：“我过去觉得并且现在依然觉得，《算术基础》这本书是迄今写下的几乎完美的一部哲学著作”(The Interpretation of Frege’s Philosophy，Cambridge，Harvard University Press，1981，ix)。我认为，这一评价是丝毫不过分的。

试读
　 §1．数学在长时间背离了欧几里得的严格性之后，现在又回到这种严格性，并且甚至努力超越它。在算术中，也许由于许多处理方式和概念发源于印度，因而产生一种不如主要由希腊人发展形成的几何学中那样严谨的思维方式。更高的数学分析的发现仅仅促进了这种思维方式；因为一方面，严格地探讨这些学说遇到了极大的几乎不可克服的困难，另一方面，为克服这些困难付出的努力似乎没有什么价值。然而，后来的发展总是越来越清楚地说明，在数学中一种以多次成功的运用为依据的纯粹的道德信念是不够的。许多过去被看作是自明的东西，现在都需要证明。通过证明，在一些情况下才确定了有效性的限度。函数、连续性、极限、无穷这些概念表明需要更明确的规定。负数和无理数长期以来已为科学所接受，它们的合理性却必须得到更严格的证明。
因此到处可以看到人们努力进行严格的证明，准确地划定有效性的限度，并且为了能够做到这些，努力准确地把握概念。
§2．沿着这条道路，必然达到构成整个算术基础的数这个概念和适合于正整数的简单的句子。当然，像5+7—12这样的数公式和像加法结合律这样的定律，通过每天对它们的无数次运用而得到许多次确认，因此由于想要进行证明而对它们表示怀疑，看上去简直是可笑的。但是数学的本质就在于，凡是可以进行证明的地方，就要使用证明而不用归纳来确证。欧几里得证明了许多在他看来大家本来就承认的东西。而当人们自己不满足于欧几里得的严格性时，人们就要进行与平行公理有关的探究。
……