资源介绍
这本书是德国哲学家、数学家戈特洛布·弗雷格的代表作《算术基本规律》的英译本，由蒙哥马里·弗斯翻译并编辑，加州大学出版社出版。弗雷格这个名字在今天看来几乎已经成了现代数理逻辑的代名词，虽然在他生前，他的思想长期处于被忽视的状态，真正读懂他、重视他的人寥寥无几。这本《算术基本规律》第一卷出版于1893年，第二卷出版于1903年，其英文译本的问世让英语世界的读者终于有机会直接面对这位思想巨人的原始论述，而非通过二手转述去了解他。弗斯的译本不仅语言精准，还在前面附上了一篇篇幅可观且极具学术价值的编者导读，对弗雷格的工作背景、思想脉络以及这本书的来龙去脉进行了详细的梳理，即便是初次接触弗雷格的学生，读过导读之后也能对全书的旨趣有较为清晰的把握。说到这本书的核心目标，其实可以用一句话来概括：弗雷格试图证明算术和数学分析中的真理本质上就是逻辑真理，这就是后来被称为"逻辑主义"的哲学立场。在他看来，康德认为算术命题是先天综合判断的观点是错误的，密尔认为算术来源于经验的看法同样站不住脚，算术命题应当被还原为纯粹的逻辑命题。为了实现这个雄心勃勃的计划，弗雷格在书中首先给出了一组数量不多但毫无疑问属于纯逻辑真理的基本命题，然后建立了一套形式化的推理规则系统，最后从这些逻辑命题和推理规则出发，逐步推导出标准算术与分析的命题。这项工作的工作量极其庞大，光是推导过程本身就占据了全书绝大部分篇幅。不过正如弗斯在导读中指出的那样，从今天的角度看，这本书最珍贵的部分其实不在于那些冗长的推导，而在于弗雷格在构建形式系统过程中对逻辑真值、逻辑推论等概念的深刻探讨。他几乎是以一己之力奠定了后来被理解为一阶谓词逻辑和二阶谓词逻辑的系统，其中还包含了一套在二阶逻辑框架内展开的集合论。更令人惊叹的是，弗雷格在阐述其原始符号系统时，贯穿着一种深思熟虑的语义学解释，而这种解释本身又承载着一整套语言哲学思想，这种语言哲学的影响渗透到了全书的形式语言构造之中，体现出极高的严谨性和清晰度。遗憾的是，正如后世所知，弗雷格在这本书中使用的集合论系统存在致命的不一致，这个矛盾是1902年夏天罗素在一封著名信函中向他指出的，当时第二卷还在印刷之中。这直接宣告了弗雷格以原有形式完成逻辑主义纲领的计划归于失败。但失败并不等于毫无价值，恰恰相反，弗雷格对逻辑学的开创性贡献、他对语言哲学的深刻洞见，以及他以极高的明晰性和严谨性构建形式系统所树立的典范，都在后来几十年间持续影响着哲学和数学的发展。值得一提的是，由于种种历史原因，弗雷格的形式系统在其后相当长的一段时间里被学界忽视，主流的逻辑学发展走的是《数学原理》的路线，直到近几十年人们才重新认识到弗雷格的工作在很多方面其实比罗素和怀特海的处理方式更加精妙、更加有力。这本书适合的读者群体相当广泛，对数理逻辑史、分析哲学史感兴趣的学者可以从这里追溯现代逻辑的源头，对数学基础问题怀有好奇心的读者也能从中看到一位伟大思想家如何系统地尝试把数学奠基于逻辑之上，哲学专业的高年级本科生和研究生则可以把这部著作与弗雷格早期的《概念文字》以及《算术基础》参照阅读，从而获得对弗雷格思想全貌更为完整的理解。当然，坦白说，这本书不是那种可以轻松翻阅的读物，读者需要具备一定的逻辑学基础和耐心，但一旦真正进入其中，那种面对伟大思想时的震撼感是难以替代的。