算术基础
Douban
[德] G.弗雷格
overblik
弗雷格是杰出的数学家和逻辑学家。他想从逻辑推出数学。为了这一目的,他进行了三步努力。
第一步是发表了《概念文字》,他在该书中构造了一种形式语言,并以这种语言建立了一阶谓词演算系统,从而提供了一种严格的逻辑工具。第二步是发表了《算术基础》,在这部著作中,他详细探讨了什么是数,什么是0,什么是1等基本概念;他批评了许多数学家和哲学家,包括密尔、康德等人关于这些问题的错误论述;他还从逻辑角度刻画了这些概念。这就为他的第三步,即以逻辑系统来构造算术奠定了基础。虽然后来由于罗素发现了悖论,他的第三步工作没有成功,但是他的前两步工作倍受人们称赞。
他的《算术基础》本身包含着许多深刻的哲学探讨,比如关于数的讨论、关于分析和综合的讨论、关于逻辑和心理学的区别的讨论。特别是他提出的三条原则,即必须把心理学的东西与逻辑的东西区别开,把主观的东西与客观的东西区别开;必须在句子联系中询问语词的意谓;必须注意概念和对象的区别,成为今天人们研究和讨论的热点。
contents
译者序
序
I.一些著作家关于算术句子的性质的意见
数公式是可证明的吗?
算术规律是归纳的真命题吗?
算术定律是先验综合的还是分析的?
II.一些著作家关于数概念的看法
数是外在事物的性质吗?
数是主观的东西吗?
作为集合的数
III.关于单位和一的看法
“一”这个数词表达对象的一种性质吗?
单位是否彼此相等?
克服这个困难的尝试
困难的解决
IV.数这个概念
每个个别的数都是一个独立的对象
为了获得数这个概念,必须确定数相等的意义
对我们这个定义的补充和证明
无穷数
V.结论
其他的数