弗雷格论数学定义引言-mathematicallogicatfudan-复旦大学.pdfVIP

弗雷格论数学定义 杨睿之 复旦大学哲学学院 摘要：本文将探讨弗雷格关于数学定义的论述。弗雷格在其遗稿《数学中的逻辑》 一文中用了较大篇幅谈论数学定义。本文将指出弗雷格论述中含有诸多领先时代 的洞见，如对数学中规定性定义标准的较早表述，对贝斯可定义性定理的预见， 以及关于公理系统一致即真的见解。弗雷格在文中的主要论点是，只有规定性定 义是真正的数学定义。他对这一观点的论证引用了一些在今天看来不切实际的预 设。作者将试图在保留弗雷格核心立场的基础上对其理论假设做一定修正以便与 后来的不完全性、独立性等数学结果相兼容。特别地，在修正后的理论中，分析 性定义可以被接受。 关键字：数学哲学、定义、概念、弗雷格 一、引言 我们知道，弗雷格工作的主要动机是希望将数学归约为逻辑以一劳永逸地解 1 2 决数学基础问题。当然，弗雷格自《概念文字》至《算术基本法则》 的努力由 于罗素悖论的发现而折戟。今天，人们关于弗雷格谈论的更多的是散见于 《算术 3 基础》和一些公开发表论文中的关于数学、逻辑、语言的一系列洞见及其对现代 数学哲学、语言哲学的影响。 弗雷格去世前将大量未发表的遗稿托付给他的儿子阿尔佛雷德（Alfred Frege ） 并进而转交明斯特大学的肖尔茨（Heinrich Scholz）整理以期最终出版。第二次世 界大战中，弗雷格遗稿原件在盟军轰炸中全毁。今天我们看到的遗稿全部基于肖 尔茨的打印副本。战后，又由于肖尔茨的离世，其整理工作进展缓慢，直到1969 4 5 年才出版。 而直到 1979 年弗雷格遗稿才被介绍到英语世界。 王路编辑翻译的  本文得到教育部人文社会科学研究青年项目—— “当代集合论哲学及其对数学基础研究的影 响”（13YJCZH226）以及复旦大学2015 年青年研究创新项目资助。 1 Frege, G., Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens , Halle a. S.: Louis Nebert, 1879. English translated as Concept Script, a formal language of pure thought modelled upon that of arithmetic , by S. Bauer-Mengelberg in J. vanHeijenoort (ed.), From Frege to Gödel: A Source Boo k in Mathematical Logic, 1879–1931, Cambridge, MA: Harvard University Press, 1967. 中文 翻译：《概念文字：一种模仿算术语言构造的纯思维的形式语言》，见王路译《弗雷格哲学论著选辑》，北 京：商务印书馆，2006 年。 2 Frege, G., Grundgesetze der Arithmetik, Jena: Verlag Hermann Pohle, Band I/II, 1893/1903. Partial translation of Band I, The Basic Laws of Arithmetic, by M. Furth, Berkeley: U. of California Press, 1964. 3 Frege, G., Die Grundlagen der Arithmetik: eine logisch -mathematische Untersuchung über den Begriff der Zahl , Breslau: W. Koebner, 1884. English translated as The Foundations of Arithmetic: A logico- mathematical enquiry into the concept of number , by