算术基础认领

弗雷格是杰出的数学家和逻辑学家。他想从逻辑推出数学。为了这一目的，他进行了三步努力。第一步是发表了《概念文字》，他在该书中构造了一种形式语言，并以这种语言建立了一阶谓词演算系统，从而提供了一种严格的逻辑工具。第二步是发表了《算术基础》，在这部著作中，他详细探讨了什么是数，什么是0，什么是1等基本概念；他批评了许多数学家和哲学家，包括密尔、康德等人关于这些问题的错误论述；他还从逻辑角度刻画了... 更多