数学哲学中地基础主义与心理主义之争———从《算术基础》到《真之追求》.docVIP

数学哲学中的基础主义与心理主义之争———从《算术基础》到《真之追求》-哲学 数学哲学中的基础主义与心理主义之争———从《算术基础》到《真之追求》 刘钰森 【摘要】 在《算术基础》中，弗雷格追溯了数学表达式之不变的逻辑基础的同时，清理了带有主观性和相对性的心理主义。但心理主义并没有因此销声匿迹，反而在蒯因那里得到复兴，而且蒯因还基于自然主义的心理主义，否定了弗雷格对数学基础的探寻。本文试图借由解读弗雷格和蒯因的文本，展示数学哲学中的基础主义与心理主义之争，并借由弗雷格的文本对蒯因的心理主义做出回应。 关键词 基础主义；心理主义；分析性；整体论 中图分类号：B089文献标识码：A 文章编号：1000-7660（2015）03-0063-07 作者简介：刘钰森，广东潮州人，哲学博士，（广州510006）华南师范大学公共管理学院、哲学研究所讲师。 蒯因（W·V·Quine）在《从刺激到科学》开头“追忆往昔”一章中提到弗雷格（Gottlob Frege）时，将弗雷格的理想概括为探寻数学知识的本质以及数学真理的基础。他认为弗雷格和罗素、怀特海在这一方面是同路人，他们的结论是认为数学可翻译为纯逻辑，由此可以进一步推导出数学真理是逻辑真理，并且它的全部都能还原为自明的逻辑真理。蒯因认为弗雷格等人的这种观点是错误的，而且哥德尔1931年的论文以及罗素1902年的发现使得弗雷格等人的理想烟消云散 。 弗雷格当年在《算术基础》等著作中所提出的如蒯因以上所说的基础主义 理想，否定了密尔等人关于数学的心理主义所带有的主观性和相对性。然而，蒯因否定弗雷格等人对数学基础的探寻的背后，恰好是他在《真之追求》等著作中所概括的自然主义的心理主义立场。本文试图通过从《算术基础》到《真之追求》的解读，展示数学哲学中基础主义与心理主义之争的某种面貌，也试图基于弗雷格的文本，回应蒯因新兴的心理主义。 一、弗雷格的“基础主义” “如果在万物长河中，没有任何东西是不变的，永恒的，那么世界就不再是可认识的，一切就会陷于混乱。” 弗雷格要探求的就是这种永恒不变的东西。作为一名数学家，他的这种探索是从数字入手的。比如数字1，惯常的说法是它指示一个事物；将1这个数说成属于事物，却没有说明事物是哪个；这将使得每个人都可以任意理解这个名称，关于1的同一个句子对于不同的人意味着不同的东西。心理主义会导致的这种相对主义是弗雷格所反对的。 弗雷格认为，思维本质上在哪里都是一样的：绝不能根据对象而考虑不同种类的思维规律。不同于心理主义从具有相对性的心理表象来解释意义，弗雷格要找的是一个客观的外在基础：“人们从本书将能看出，甚至像从n到n＋1这样一条表面上专属于数学的推理，也基于普遍的逻辑规律，而且不需要特殊的聚合思维的规律。” 弗雷格要的是在语言、数字后面的那个永恒不变的东西，他要的是一种在哪里都是一样的“思维”、一种普遍的逻辑规律。 弗雷格力图说明，感觉与内在图像具备不稳定性和不确定性，而数学概念和对象则具备确定性和明确性；因此算术与感觉根本没有关系，内在图像对于数学是无关紧要和偶然的。如果从心灵本质对概念进行心理学解释，并以为由此可以得到概念的本质，那么这只会使一切成为主观，走到底甚至会取消真。要认识到概念的纯粹性质，需要大量的理性工作以追溯定义普遍的逻辑基础： 如果定义仅仅在后来由于没有遇到矛盾而被证明是有理由的，那么进行证明的严格性依然是一种假象，尽管推理串可能没有缺陷。归根到底，人们以这种方式总是只得到一种经验的可靠性，实际上人们必须准备最终还是会遇到矛盾，而这个矛盾将使整个大厦倒塌。为此，我认为必须追溯到普遍的逻辑基础…… 普遍的逻辑基础的追溯需要坚持三条基本原则：“要把心理学的东西和逻辑的东西，主观的东西和客观的东西明确区别开来；必须在句子联系中研究语词的意谓，而不是个别地研究语词的意谓；要时刻看到概念和对象的区别。”同上，第8—9页。 换言之，坚持客观性原则，要求只在心理学意义上使用“表象”，把表象与概念和对象区别开来，前者代表心理的和主观的，后者代表客观的和逻辑的；坚持语境原则，要求避免将个别的心灵的内在图像或活动当作语词的意谓；函项原则要求的是，未充实的概念不可成为不变的客观对象。 客观性原则预示着弗雷格所追溯的基础将是与具有相对性的心理表象无关的客观逻辑基础，它是普遍性的；而函项原则与语境原则将在获得作为算术基础的数定义方面起着至关重要的作用。提出这三个原则之后，弗雷格指出他那个时代的数学回到一种甚至要努力超越欧几里得的严格性，那就是人们对各种概念进行严格的证明；而且他相信沿着严格证明之路，必然能获得构成整个算术基础的数概念以及适合于正整数的最简单的句子。 于是在弗雷格眼中，数学本