数理哲学导论 - 罗素(Russell B.)

数理哲学导论

罗素(Russell B.)

出版时间

1982-05-01

ISBN

9787100027625

评分

★★★★★
AI导读
核心看点
  • 罗素以通俗语言阐述数理逻辑成果,无需数学基础即可阅读。
  • 系统梳理自然数、无穷基数、极限等核心数学概念的哲学定义。
  • 深入探讨逻辑主义观点,解析选择公理与类型论等关键理论。
适合谁读
  • 对分析哲学、数理逻辑及数学基础感兴趣的哲学爱好者。
  • 希望了解罗素思想体系,且具备一定逻辑思维的读者。
  • 数学专业学生,欲从哲学视角审视集合论与无穷概念者。
读前提醒
  • 本书避免使用符号,日常语言表述可能显得模糊,需耐心阅读。
  • 建议配合现代数理逻辑教材对照阅读,以弥补术语差异。
  • 部分章节如无穷公理讨论极具启发性,但整体难度高于预期。
读者共识
  • 内容知识密度极高,虽部分观点过时,但思想价值依然巨大。
  • 脱离符号的尝试虽显啰嗦,但有助于理解概念背后的哲学本质。
  • 并非严格意义上的入门导论,更适合有基础者深化理论认知。

本导读基于书籍简介、目录、原文摘录、短评和书评生成,不等同于全文精读。

精彩摘录
  • "……数理逻辑所涉及的概念不用逻辑符号是不可能充分地表达出来的。……普通的文法和句法也非常容易引人入歧途……容易引起误解……散漫不精准…… 如果任何人为这本小书所引导而对数理逻辑作深刻的研究,写这本书的主要目的就算达到了。"
  • "当我们试作数的定义时,以上两点说明对于三方面都有关系。第一,数本身形成一个无穷集合,所以不能由列举来定义。第二有给定的项数的集合本身可能也形成一个无穷的集合。例如我们推测在这个世界上有无穷多的三个一组,也就是说,所有的三个组又形成一个无穷的集合,如若不然,世界上事物的总数将是有穷的,这虽可能,事实上似乎未必如此。第三,我们希望有一种定义数的方法,使无穷数也成为可能,要这样,我们就必须能够说出个无穷集合的项数,而这样一个集合必须由内涵来定义,或者说由一个性质来定义,这性质是它的所有分子所共有的,并且只为这些分子所共有。"
  • "一个语句可能对于一个函项真,而对于另一个假;例如,“我相信所有的人是有死的”可能真,而“我相信所有的有理性的动物是有死的”可能假,因为我可能误以为长生鸟是一个不死的有理性的动物。"
  • "……当我们以“$x$是有理性的动物“替换”$x$是人“时,这新函项仍然真,甚至在我误以为长生鸟是有理性的并且是不死的时候,函项仍真。"
  • "给定与 b 有关系 P 的任意一项,当自变数从下趋近于 a 时,函数 R Q-收敛于 b 的(对于 P 而言的)所有后继中。"
  • "……于是我们有了一个定理,$2^n$ 永远大于 $n$,即使 $n$ 是无穷数时也一样……"
  • "……如一分数分子与分母之和小于另一分数的分子与分母之和,则将此分数置于另一分数之前;如二分数它们的分子与分母之和相等,则将分子较小的放在前面……这个序列是一序级,所有的分数迟早在其中出现。因此,我们能够将所有的分数排入一个序级,它们的项数所以是 $\aleph_0$。"
  • "The distinction between mathematics and mathematical philosophy is one which depends upon the interest inspiring the research, and upon the stage which the research has reached; not upon the propositions with which the research is concerned."
目录
序言
编者注
第一章 自然数串
第二章 数的定义
第三章 有穷与数学归纳法

显示全部
用户评论
翻译太奇葩,需要读原文
其实还是归于数学多一点,虽然是数理逻辑的介绍的书,看起来倒是还可以。 罗素在现代数理逻辑的构建上做出了不可磨灭的贡献,而这本书就是他的代表作之一。在这本书中,主要介绍了数学、哲学的结合,而方式就是逻辑的方式。 在看这本书的过程中,我们需要考虑的更多是当时的时代背景,站在一个发展的角度去看待这本书。 入门级不推荐,一定要对于逻辑和哲学有一定了解后再看。并且在了解到不同程度之后,回头再看这本书,会有不同的收获。
逻辑主义
看完很有启发啊,对于数学的数 类 无穷 极限等概念 有了更深的认识 不过数理哲学终究需要掌握逻辑的符号系统
太啰嗦,强行把 ε-δ 符号语言转换成口头语言注定是事倍功半,不如直接读数理逻辑
归纳数、序和极限放在一起串讲读起来挺爽,很适合作为分析学入门读物或者全部忘光选手的复习提纲。数理逻辑部分讲得也太浅太散了,不知道是不是成书太早的原因,罗素用实际行动证明了妄图用自然语言讲清楚这些是事倍功半的。
数学和逻辑带来的确定性真的很迷人,但我还是要说数学杀我
有点啰嗦
补标,罗素始终是我最喜欢的哲学家之一。 用集合论处理皮亚诺的三个定义,用数学归纳处理无限的概念,这两处太好看了。 有机会一定要读完Principles of mathematics
1-6章
下载
收藏