本章将主要介绍分析弗雷格的数学哲学思想,并从自然主义的角度.docVIP

弗雷格的算术哲学 叶峰 摘要 本文介绍弗雷格的算术哲学，包括它失败的原因即罗素悖论，并对它做一些简单的评价。 关键词 弗雷格，逻辑主义，算术哲学 §1 引言 弗雷格的数学基础研究并没有对二十世纪的数学研究产生过很大的影响，在这一点上他不如康托尔、戴德金、皮亚诺等对普通数学学生来说耳熟能详的十九世纪末数学家。但是，弗雷格为他自己的数学基础研究而发明的（或说发现的）逻辑系统，则是现代数理逻辑的开端，他因此成为现代数理逻辑的开创者，是自亚里士多德以来的最伟大的逻辑学家。弗雷格对二十世纪分析哲学的影响则是无与伦比的。他的语言哲学是二十世纪分析哲学的源头。他的算术哲学思想的影响同样持续到今天。最近二十多年来出现了许多弗雷格的算术哲学研究的专著、论文集等等，显示了他所受到的重视。又比如，最近十多年来，数学哲学是国际分析哲学研究中相对而言比较沉寂的一个领域，但源于弗雷格的思想的所谓新弗雷格主义，是最近十多年来数学哲学研究中相对活跃的课题。这也显示了弗雷格的经久不衰的影响。 弗雷格的算术哲学思想包括他对“数”这个概念的分析，对“自然数”的定义，以及从他的逻辑系统到相当于皮亚诺公理的关于自然数的定理的推导。弗雷格的算术哲学思想一般被归为数学哲学中的逻辑主义。逻辑主义者试图用纯逻辑的概念来定义数学概念，并从逻辑公理推导出数学定理，因此将数学还原为逻辑，从而为数学奠定更牢固的基础，并将有关数学的本体论与认识论问题等哲学问题，归结为关于逻辑的哲学问题。一般认为，逻辑真理是更可靠的真理，而且，关于逻辑的一些哲学问题有较肯定的答案，比如，逻辑知识是先天的，逻辑真理是分析真理等等。当然，事实不一定如此，即关于逻辑的哲学问题不一定真的更容易回答。但假如逻辑主义的策略可以成功的话，至少它是数学基础与数学哲学研究的一个进步。很遗憾的是，弗雷格将算术还原为逻辑的尝试没有成功，原因是，弗雷格所认为的并用来还原算术的逻辑公理中包含着矛盾，即所谓罗素悖论。 本文将介绍弗雷格的算术哲学，包括它失败的原因即罗素悖论。我们还要对它做一些简单的评价。 §2 弗雷格的算术哲学的要点 一、对数词的功能的分析 弗雷格在他的主要著作《算术基础》与两卷本的《算术的基本定律》中表达的算术哲学包括了以下几个要点。首先，弗雷格提供了一个对包含数词的简单陈述的逻辑结构的分析。弗雷格在《算术基础》中先批评了几种错误的分析，包括认为数词是形容词，表达具体事物的属性，或者认为数词“3”是指称任何一个3个一组的事物，或者认为数词指称我们的主观的观念，等等。然后，弗雷格提出了他自己的分析。他认为，一个包含数词的简单陈述是对一个概念作一个论断。比如，如下陈述 The King’s carriage is drawn by four horses. （国王的马车是由四匹马拉的。） 是将自然数4赋予概念 horse that draws the King’s carriage（拉国王的马车的马）， 因此是关于一个概念的论断，是在断言，这个概念（2）有某种特性，即有四个对象落在这个概念之下。在这个意义上，一个数与一个二阶概念即概念的概念相对应：（1）相当于说概念（2）是落在与自然数4相对应的那个二阶概念之下。 二、自然数是对象，不是概念 但是，弗雷格坚持认为，自然数是对象（object）而不是概念，或二阶概念。这是弗雷格的算术哲学的另一个要点。所以，前面只是说自然数4与一个二阶概念相对应，而没有说自然数4就是那个二阶概念。弗雷格讨论了为什么我们必须将自然数看作对象。他提出的理由包括，我们通常说“那个自然数4”，其中的定冠词显示了4应该是一个对象；我们接受等式2+2=4也意味着承认数2、4等等是对象。至于句子（1）中的数词“four”似乎不是指称事物的专有名词这一事实，弗雷格认为（1）应该读为 4 = the number of horses that draw the King’s carriage（拉国王的马车的马的个数）。 弗雷格还考虑了这样的反对意见：数不能是对象，因为我们不能形成关于数的任何观念（idea）。这里的“观念”似乎是指某种类似于视觉形象的知觉观念，我们的确没有关于4这个对象的这样一个观念。弗雷格的回应则是强调所谓的语境原理（context principle），即我们不应该孤立地问一个词项的意义，而应该在一个句子（即语境）中决定一个词项的意义。这里，弗雷格似乎是假设了这样一个原理：假如一个包含一个单称词项的句子是有意义的，那么该单称词项就指称一个对象，即使我们不能形成关于这个指称的观念。包含数词的许多句子是有意义的，而且是将数词当作专有名词用，因此数词指称对象，即使我们不能形成关于数的知觉观念。 三、自然数的定义