Frege, Dedekind, and Peano on the Foundations of Arithmetic

Frege, Dedekind, and Peano on the Foundations of Arithmetic pdf epub mobi txt 电子书 下载 2026

出版者:Routledge
作者:Gillies, Donald
出品人:
页数:118
译者:
出版时间:2011-4
价格:$ 101.70
装帧:
isbn号码:9780415667098
丛书系列:
图书标签:
  • 逻辑学
  • 数学哲学
  • Frege
  • Dedekind
  • Peano
  • Arithmetic
  • Foundations
  • Mathematics
  • Logic
  • Philosophy
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

具体描述

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic.

《数学的基石:逻辑、集合与公理的探索》 数学,作为人类理性思维的巅峰之作,其严谨与普适性令人惊叹。然而,当我们深入探究数学这宏伟大厦的根基时,会发现它并非凭空而生,而是建立在一系列精妙的定义、严密的逻辑推理以及无可置疑的公理之上。本书将带领读者穿越时空,追溯数学思想史上的关键时刻,聚焦于三位伟大的思想家——弗雷格、戴德金与皮亚诺——他们如何奠定了现代算术的基础,并塑造了我们对数学本质的认知。 戈特洛布·弗雷格:逻辑主义的先驱 在19世纪末,数学界充斥着各种直觉与含糊之处,尤其是关于数的本质和算术运算的理解。德国哲学家兼数学家戈特洛布·弗雷格,以其惊人的洞察力,提出了一个雄心勃勃的目标:将整个算术还原为逻辑。他认为,算术命题并非基于某种不可名状的“直觉”或“经验”,而是可以通过纯粹的逻辑推理从最基本的逻辑概念中推导出来。 弗雷格的伟大之处在于他发明了一套全新的符号逻辑语言,即“概念文字”(Begriffsschrift)。这套语言比当时的传统逻辑更为强大和精确,能够清晰地表达复杂的逻辑关系,为他的逻辑主义计划提供了强大的工具。他深入分析了“概念”、“对象”、“性质”和“关系”等基本哲学和逻辑范畴,试图通过定义来消除数学中的模糊性。 在《概念文字》和后来的《算术基础》(Die Grundlagen der Arithmetik)中,弗雷格详细阐述了他的“集合论”思想,虽然与后来的集合论有所不同,但其核心是将数定义为“概念的集合”。例如,数字“3”被定义为所有具有三个元素的集合的集合。这种定义看似抽象,却具有划时代的意义,它将数的概念与集合的内涵紧密联系起来,为后来的数学发展铺平了道路。 弗雷格的工作不仅是形式上的革新,更是概念上的飞跃。他引入了“涵义”(Sinn)和“意谓”(Bedeutung)的概念,区分了表达一个概念的意义(涵义)和它所指代的实际对象(意谓)。这一区分对于理解数学定义和命题的真值至关重要。尽管弗雷格的逻辑主义计划在伯特兰·罗素发现其系统中的悖论后受到了重大打击,但他的贡献无人能及。他开创了现代数理逻辑,并为后来形式化数学奠定了坚实的基础。他的工作证明了,通过严谨的逻辑分析,我们可以深入理解数学的本质,并消除那些可能阻碍数学发展的模糊观念。 理查德·戴德金:连续性与实数的革新者 与弗雷格试图从逻辑出发构建算术不同,理查德·戴德金则专注于理解“连续性”这一几何学和分析学的核心概念,并在此基础上为实数提供了一个严谨的算术定义。在19世纪,实数系统虽然被广泛使用,但其理论基础却显得颇为薄弱。戴德金敏锐地捕捉到了这一不足,并着手解决它。 戴德金最著名的贡献莫过于他提出的“戴德金分割”(Dedekind cut)。在他1872年出版的《连续性与无理数》(Stetigkeit und irrationale Zahlen)一书中,戴德金巧妙地利用了数的“有序性”来定义无理数,从而完整地构建了实数系统。他设想将数轴上的点分成两部分:一部分所有数都小于某个无理数,另一部分所有数都大于或等于这个无理数。这个“分割”本身,就代表了一个无理数。 具体来说,戴德金分割将所有有理数集 $mathbb{Q}$ 分为两个不相交的非空子集 $A$ 和 $B$,使得 $A$ 中的所有元素都小于 $B$ 中的所有元素(即 $forall a in A, forall b in B, a < b$)。如果存在 $A$ 中的最大元素或 $B$ 中的最小元素,那么这个分割就代表一个有理数。然而,如果 $A$ 没有最大元素,而 $B$ 没有最小元素,那么这个分割就定义了一个无理数。例如, $sqrt{2}$ 的存在就可以通过这样一个分割来确立,其 $A$ 包含所有小于 $sqrt{2}$ 的有理数,而 $B$ 包含所有大于或等于 $sqrt{2}$ 的有理数。 通过这种方式,戴德金不仅为无理数找到了一个精确的算术定义,而且证明了实数集合的“完备性”(completeness)。完备性意味着实数轴上没有“洞”,任何分割都必然对应一个实数。这一成果极大地提升了数学分析的严谨性,为微积分等分支的发展提供了坚实的理论支撑。戴德金的工作也影响了后来的集合论,他的思想为建立更普遍的集合理论奠定了基础。他向我们展示了,通过对数的内在结构进行深刻的剖析,我们可以揭示数学的深层秩序和连续性。 朱塞佩·皮亚诺:公理化的典范 随着数学研究的深入,人们越来越意识到公理化方法的重要性。公理是数学体系的起点,它们是无需证明的、最基本的真理。朱塞佩·皮亚诺,这位意大利数学家,将公理化精神推向了一个新的高度,他为自然数建立了一套简洁而完整的公理体系。 1889年,皮亚诺在他的著作《算术公理》(Arithmetices principia, nova methodo exposita)中,提出了著名的“皮亚诺公理”。这组公理以其简洁性和完备性而闻名,它们精确地描述了自然数的性质,并为所有算术运算提供了基础。皮亚诺公理主要包含以下几个方面: 1. 存在第一个自然数。 通常记为 0。 2. 每个自然数都有一个后继数。 如果 $n$ 是自然数,则 $n+1$ 也是自然数。 3. 0 不是任何自然数的后继数。 4. 不同的自然数有不同的后继数。 如果 $n eq m$,则 $n+1 eq m+1$。 5. 数学归纳法公理。 如果一个性质对于 0 成立,并且如果它对于任意自然数 $n$ 成立,那么它也对 $n+1$ 成立,那么这个性质对于所有自然数都成立。 皮亚诺公理系统不仅定义了自然数,更重要的是,它提供了一种“形式化”的思维方式。通过这五条公理,我们可以运用逻辑推理证明所有关于自然数的算术定理,例如加法、乘法的定义及其性质。皮亚诺公理的出现,标志着数学公理化方法的成熟,并成为后来希尔伯特形式主义数学的重要灵感来源。 皮亚诺的工作不仅仅是形式上的陈述,它体现了数学研究从经验和直觉转向逻辑和结构的根本性转变。他的公理化方法为现代数学的严谨性和可信度奠定了基石,影响了整个20世纪的数学和逻辑学发展。 三位巨匠的遗产 弗雷格的逻辑主义追求、戴德金对连续性的精妙刻画,以及皮亚诺简洁有力的公理系统,共同构建了现代算术的坚实基石。他们的工作不仅解决了各自时代面临的数学难题,更重要的是,它们共同揭示了数学研究的核心精神:通过严谨的定义、清晰的逻辑和无可辩驳的公理,探索数学世界的本质。 本书将深入探讨这三位思想家各自的思想体系、他们所面临的挑战以及他们提出的解决方案。我们将解析弗雷格的符号逻辑创新,理解戴德金分割如何为无理数赋予清晰的定义,并领略皮亚诺公理的优雅与力量。通过对他们思想的细致梳理,读者将能够深刻理解现代数学是如何从零开始,一步步构建起这个逻辑严谨、充满智慧的知识体系的。这将是一次对数学理性之美和思想深度的一次非凡的旅程。

作者简介

目录信息

读后感

评分

评分

评分

评分

评分

用户评价

评分

这本书的封面设计,透着一股沉静而深邃的学术气息,正如书名所暗示的,它将带领我们深入探索数学哲学的核心地带。弗雷格、戴德金、皮亚诺,这三位名字的出现,足以勾起我对数学发展史中最关键的几段历程的浓厚兴趣。我期待这本书能够细致地梳理他们各自在算术基础研究上的贡献,并且不仅仅是罗列他们的理论,而是深入挖掘他们思想背后的逻辑和哲学考量。弗雷格的逻辑主义,他如何试图将数学还原为逻辑,这其中的挑战和成就都值得深入探讨。我希望书中能有对他关于“意义”和“指称”的辨析,以及他对“数”的逻辑定义的阐述。戴德金,他以其对实数理论的贡献而闻名,他的工作如何影响了我们对数的连续性和完整性的理解?我期待看到他对“戴德金分割”的详细介绍,以及它如何帮助我们理解自然数的结构。皮亚诺,他以其简洁而强大的自然数公理系统而闻名,我希望书中能对皮亚诺公理的每一个组成部分进行深入解读,并阐释其数学意义和逻辑推导。这本书的独特之处在于,它能够将这三位数学家的思想整合起来,让我们看到他们在各自领域所做的开创性工作,以及他们如何共同塑造了我们今天对算术的理解。

评分

这本书的出版,对于任何一位对数学思想的源头感兴趣的读者来说,无疑是一次难得的机遇。弗雷格、戴德金、皮亚诺,这三位名字的组合本身就预示着一场关于算术基础的深刻对话。我期待这本书能够不仅仅停留在对他们理论的介绍,而是能够深入挖掘他们思想的哲学背景和逻辑推理过程。例如,弗雷格的逻辑主义,他是如何从对语言和逻辑的分析中,推导出关于数的本质的理解的?他的“概念涵义”和“对象”区分,在当时是如何引起巨大争议,又如何为后来的逻辑学发展奠定基础的?戴德金的贡献,尤其是在他关于实数的研究中,如何巧妙地利用了对自然数的理解?他提出的“戴德金分割”是如何在不依赖于先验概念的情况下,构造出实数集合的?而皮亚诺的公理系统,虽然在形式上简洁明了,但其背后所蕴含的数学直觉和逻辑严谨性,是如何被作者呈现出来的?我希望作者能够带领我,不仅仅是了解他们的结论,更是理解他们是如何一步步走向这些结论的。这种对思想史的细致梳理,能够帮助我们更深刻地理解数学知识是如何被构建起来的,以及那些看似显而易见的数学概念,背后隐藏着多么深刻的智慧。

评分

初见这本书,我就被其沉甸甸的学术分量所吸引。书名中的三位数学家——弗雷格、戴德金、皮亚诺,他们各自在数学史上留下了浓墨重彩的一笔,尤其是在算术的基础理论方面。我非常期待这本书能够深入探讨他们各自对自然数的理解和定义。弗雷格的逻辑主义,他试图将算术完全还原为逻辑,这是对传统数学观念的一次重大挑战。我想了解他如何通过逻辑推理来界定“数”,以及他如何处理他的理论中出现的哲学难题。戴德金,以其对实数理论的贡献而闻名,但他的工作也对自然数的理解产生了重要影响。我好奇作者将如何阐述戴德金的“戴德金分割”理论,以及它如何帮助我们理解数的连续性和完整性,并间接影响我们对自然数的认识。皮亚诺,他提出的自然数公理系统,简洁而强大,至今仍是数学教育的基石。我期待本书能够详细解读皮亚诺公理的每一个部分,并阐释其数学意义和逻辑推导过程。这本书的价值在于,它能够将这三位思想家的贡献置于一个统一的框架下进行比较和分析,帮助读者理解他们在算术基础研究领域各自的独特性和相互联系。

评分

这本书的装帧设计,散发出一种古典而严谨的气息,恰如其分地烘托了书名中三位数学家的地位。弗雷格、戴德金、皮亚诺,他们各自在数学的殿堂中占据着极其重要的位置,尤其是在对自然数这一最基础的数学概念的理解上。我非常期待这本书能够深入剖析他们对于“数”的定义和“算术”的本质的探索。弗雷格的逻辑主义,他试图将算术的真理完全建立在逻辑的王国里,这种雄心勃勃的尝试,对后来的数学哲学产生了革命性的影响。我希望书中能够细致地呈现弗雷格的逻辑推理过程,以及他对“数”作为逻辑对象的观点。戴德金,作为一位杰出的分析学家,他的工作往往以严谨的数学构造为特点。我好奇他在处理自然数问题时,是如何运用集合论的工具,以及他提出的“戴德金分割”是如何影响我们对数的连续性和完备性的理解的。皮亚诺,他以其简洁而强大的公理化方法,为自然数奠定了坚实的逻辑基础。我期待书中能够深入讲解皮亚诺公理的每一个条目,并阐释其深刻的数学意义,以及它们如何共同构建了一个自洽的自然数体系。

评分

当我看到这本书的标题时,我立刻联想到了一场关于数学根基的史诗级对话。弗雷格、戴德金、皮亚诺,这三个名字本身就承载着无数的智慧和探索。我期待这本书能够如同一位引人入胜的导游,带领我深入理解这三位数学巨匠是如何各自在自己的思想领域,构建起对算术基石的深刻理解。弗雷格的逻辑主义,他如何试图将数学从直觉的束缚中解放出来,完全建立在纯粹的逻辑之上,这是一个多么令人着迷的构想。我希望能看到他对“概念”、“对象”以及“真值”的精妙分析,以及他如何试图定义“数”本身。戴德金,以其严谨的数学分析而闻名,我期待了解他如何通过构造性的方法,例如“戴德金分割”,来理解实数,以及他的工作如何间接却深刻地影响了我们对自然数属性的认知。皮亚诺,他所提出的自然数公理系统,虽然简洁,却拥有强大的逻辑力量。我希望这本书能详细解读皮亚诺公理的每一个组成部分,并解释它们为何如此重要,以及它们如何构建了一个完整的自然数体系。这本书的价值在于,它将这三位具有开创性思想的人物及其贡献,巧妙地融合在一起,提供了一个多角度的、深刻的视角来理解算术的起源。

评分

在浏览这本书的目录和序言时,我便被其宏大的叙事所吸引。它似乎不仅仅是一本介绍性的读物,而是一次深入的学术探险,旨在揭示数学史上关于算术基础最关键的三个里程碑。弗雷格,以其坚定的逻辑主义立场,试图将数学的语言彻底转化为逻辑的语言,他的工作对数理逻辑和分析哲学产生了深远的影响。我迫不及待地想了解作者如何阐述弗雷格关于“概念”、“对象”以及“数的涵义”等核心概念,以及他如何试图解决由他的理论引发的罗素悖论等问题。戴德金,以其严谨的数学分析,提出了著名的“戴德金分割”理论,他通过对实数理论的构造,为我们理解数的连续性和完备性提供了深刻的见解。我好奇作者将如何展示戴德金如何从实数的需求出发,回溯到对自然数的深刻理解,并进一步影响了集合论的发展。皮亚诺,则以其简洁而强大的公理化方法,为自然数奠定了坚实的逻辑基础。我期待作者能够细致地讲解皮亚诺公理的每一个条目,并解释其背后的数学直觉和逻辑意义。这本书的价值在于,它能够将这三位不同寻常的思想家及其各自的贡献,巧妙地编织在一起,呈现出一幅关于算术哲学发展史的壮丽画卷。

评分

这本书的章节结构,即便只是初瞥,就透露出一种严谨的逻辑编排。我预感到,作者并没有满足于对这三位数学家的理论进行简单罗列,而是通过精心设计的框架,引导读者一步步深入探索算术哲学领域最核心的议题。我非常有兴趣了解作者是如何处理弗雷格的逻辑主义,特别是他对“数”的定义是如何从逻辑概念推导出来的,以及他如何试图将算术完全还原为逻辑。这部分内容往往是理解现代数理逻辑的基石,也是对传统数学观的一次重大挑战。接着,我期待作者能够深入解析戴德金的构造主义视角,他关于“数”的定义是如何依赖于“戴德金分割”以及实数理论的发展,这对于理解数集的完备性以及数的连续性有着不可替代的作用。而皮亚诺的公理化方法,则代表了另一种重要的发展方向,他简洁而强大的公理系统,至今仍然是学习和理解自然数最直接有效的方式。我尤其好奇作者是如何展现这三者之间既有区别又可能存在的隐秘联系的。他们是否在某种程度上相互辩驳、相互启发?他们的工作又如何共同塑造了我们今天对自然数这一基本概念的理解?这种对不同哲学进路在同一研究对象上的探索,无疑会为读者带来极其丰富的思想碰撞和深刻的认识。

评分

这本书的封面设计简洁却充满力量,一种历史的厚重感扑面而来。书名本身就勾勒出一幅宏伟的图景:弗雷格、戴德金、皮亚诺,这三位数学巨匠的名字并列,仿佛预示着一场关于算术基石的深刻对话。作为一名对数学哲学和数学史怀有浓厚兴趣的读者,我迫不及待地翻开了它。我期待这本书能像一场精密的学术侦探小说,揭示这三位思想家是如何在各自的时代背景下,以独特的视角和方法,为构建严谨而坚实的算术体系奠定基础的。我尤其好奇他们之间是否存在潜在的联系或相互影响,又或是他们各自独立开辟了怎样的思想路径。从书名推测,这本书很可能不仅仅是简单地介绍他们的理论,而是深入挖掘他们思想的深层逻辑、方法论以及哲学上的考量。我希望作者能够细腻地梳理他们各自关于自然数定义、公理系统构建、以及逻辑与数学关系的核心观点,并尝试将其置于更广阔的哲学史和数学史脉络中进行解读。这种对早期数学哲学思潮的梳理,对于理解现代数学的成熟有着至关重要的意义,因为正是这些 foundational work,才使得后来的数学发展得以建立在如此牢固的基石之上。我期望这本书能够提供丰富的历史细节,让我们得以窥见这些伟大的头脑是如何在当时的技术和认知条件下,进行如此具有前瞻性和颠覆性的思考的。

评分

作为一名长期关注数学基础理论的读者,读到这本书的标题,我内心就涌起一股强烈的期待,仿佛要揭开一段被历史尘封的智慧宝藏。弗雷格、戴德金、皮亚诺,这三个名字本身就足以引起数学哲学爱好者的极大兴趣。我期待这本书不仅仅是枯燥的理论阐述,更希望能有引人入胜的叙述,将他们所处的时代背景、思想萌芽、以及最终形成各自学说的艰辛探索过程生动地展现出来。例如,我很好奇弗雷格在创立逻辑主义时的那种孤独和执着,他如何在高举逻辑至上的旗帜时,同时又面临着来自数学界和哲学界的巨大挑战。同样,戴德金的严谨和深刻,他如何通过对实数理论的深入研究,间接却又深刻地影响了我们对自然数性质的理解。而皮亚诺的简洁与强大,他的公理系统如何在朴素的直观基础上,构建起坚固的逻辑堡垒。我希望作者能带领我穿梭于他们的书信、手稿和学术争鸣之中,去感受那种思想碰撞的火花,去理解他们是如何在理性与直觉之间寻找平衡,又是如何在数学的基石上,构建起一座座思想的丰碑。这本书对我而言,不仅仅是关于数学知识的学习,更是对人类智慧探索精神的一次致敬。

评分

拿到这本书,首先吸引我的是其封面设计所传达出的深邃感。它似乎在诉说着一段关于数学根基的古老故事。书名中的三位巨匠——弗雷格、戴德金、皮亚诺,他们各自代表着对算术基础理解的不同路径,这本书很可能就是一次对这些路径的系统梳理和深度解析。我非常好奇作者将如何处理他们之间在逻辑、集合论、以及公理化方法上的异同。弗雷格的逻辑主义,试图将数学完全建立在逻辑之上,这是一种雄心勃勃的尝试,但其遇到的困难也同样著名。戴德金对数的构造性定义,以及他通过分割实数域来理解自然数的方法,展现了另一种深刻的洞察力。而皮亚诺的公理体系,则以其简洁明了和强大的普适性,成为自然数公理化的典范。我期待这本书能够详细探讨他们各自的论证过程,揭示他们是如何一步步构建起自己的理论体系的。同时,我也希望作者能够指出他们理论之间的潜在联系和相互影响。例如,戴德金的工作是否为弗雷格的逻辑主义提供了一些灵感,或者皮亚诺的公理化是否在某种程度上修正或完善了前人的观点?这种多角度的审视,将有助于读者更全面地理解算术基础理论的发展脉络。

评分

弗雷格就大数问题反康德似乎是不成立的(成立的是S-P逻辑、相继、自然数等几点),应该是作者没有搞清楚;弗雷格反对密尔那里,对PI的引用很可疑,对0和1的讨论也是浅表的;论述集合相对概念的优先性特别野鸡,尤其是德国居民的例子(真的头掉);对戴德金无穷集合论证的反驳形如鸡肋。两星给数学部分,感觉这个作者没有学哲学的能力,就是怎么讲,学不来就别硬点吧。

评分

弗雷格就大数问题反康德似乎是不成立的(成立的是S-P逻辑、相继、自然数等几点),应该是作者没有搞清楚;弗雷格反对密尔那里,对PI的引用很可疑,对0和1的讨论也是浅表的;论述集合相对概念的优先性特别野鸡,尤其是德国居民的例子(真的头掉);对戴德金无穷集合论证的反驳形如鸡肋。两星给数学部分,感觉这个作者没有学哲学的能力,就是怎么讲,学不来就别硬点吧。

评分

弗雷格就大数问题反康德似乎是不成立的(成立的是S-P逻辑、相继、自然数等几点),应该是作者没有搞清楚;弗雷格反对密尔那里,对PI的引用很可疑,对0和1的讨论也是浅表的;论述集合相对概念的优先性特别野鸡,尤其是德国居民的例子(真的头掉);对戴德金无穷集合论证的反驳形如鸡肋。两星给数学部分,感觉这个作者没有学哲学的能力,就是怎么讲,学不来就别硬点吧。

评分

弗雷格就大数问题反康德似乎是不成立的(成立的是S-P逻辑、相继、自然数等几点),应该是作者没有搞清楚;弗雷格反对密尔那里,对PI的引用很可疑,对0和1的讨论也是浅表的;论述集合相对概念的优先性特别野鸡,尤其是德国居民的例子(真的头掉);对戴德金无穷集合论证的反驳形如鸡肋。两星给数学部分,感觉这个作者没有学哲学的能力,就是怎么讲,学不来就别硬点吧。

评分

弗雷格就大数问题反康德似乎是不成立的(成立的是S-P逻辑、相继、自然数等几点),应该是作者没有搞清楚;弗雷格反对密尔那里,对PI的引用很可疑,对0和1的讨论也是浅表的;论述集合相对概念的优先性特别野鸡,尤其是德国居民的例子(真的头掉);对戴德金无穷集合论证的反驳形如鸡肋。两星给数学部分,感觉这个作者没有学哲学的能力,就是怎么讲,学不来就别硬点吧。

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2026 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有