逻辑学意义实用、.PDFVIP

2011 年1 月 湖北大学学报（哲学社会科学版） Jan．,2011 第38 卷第1 期 Journal of Hubei University （Philosophy and Social Science） Vol．38 No．1 逻辑学的意义：实用、科学 ——— 汪奠基《现代逻辑》评介 宋文坚 （北京大学哲学系，北京100871） ［摘 要］在《现代逻辑》一著中，汪奠基先生认为，现代逻辑之科学思想，非一家一派之专论，而是综合西方 国家各派的理论“参考取益”。现代逻辑乃以符号逻辑为新型式逻辑之总称，它“分而有代数逻辑派、数学逻辑派、 数理逻辑派”。因此，汪奠基先生在《现代逻辑》中以介绍数学基础研究中的罗素学派、希尔伯特学派及布劳维尔学 派之逻辑观点要旨，其中又以罗素的逻辑主义为主。如今，逻辑在现代计算机技术中的运用从一个侧面印证了汪 奠基先生开创性工作所具有的前瞻性。 ［关键词］逻辑主义；数理逻辑；逻辑演算 ［中图分类号］B81-092 ［文献标志码］A ［文章编号］1001－4799 （2011）01－0021－08 《现代逻辑》1937 年由商务印书馆作为《大学丛书》类出版。它是汪奠基先生第二部数理逻辑的著作。 第一部是 1927 年商务印书馆作为《科学丛书》类出版的《逻辑与数学逻辑论》，为中国最早介绍数理逻辑 及其发展史的著作。《现代逻辑》分四篇十三章。第一篇《概论诸家要旨》，考察逻辑发展史上种种逻辑定 义和数理逻辑学家对旧逻辑的批评。第二篇《逻辑演算原理》，主要介绍罗素、怀德海《逻辑原理》的主要 内容，探讨逻辑演算中一些专门课题。第三篇《棣通证明之公理论》，介绍希尔伯特的形式公理化方法。第 四篇《综核演绎型式及新兴问题》，介绍布劳维尔直觉主义派的构造主义逻辑观及三值逻辑和微观物理 中的不确定性问题。 可以看出，本书实际是以介绍20 世纪初以来，关于数学基础问题研究中的逻辑主义、形式公理学和 直觉主义三大流派的逻辑理论、数学思想为目的的，著书时间是1936 年。汪先生引证的著作也是止于30 年代中期。因而这是一本在当时属时新理论的著作。惟少对哥德尔著作的介绍，缺失当时最顶尖的研究 新进展。本书一个很显著的特点是，注重从理论方面说明问题。一些理论问题讨论得很细致。有文章论文 之风格，从学术研究的角度使问题讨论得比较深入。 和我国同时期的一些数理逻辑著述比较，我觉得汪先生是从数理逻辑和科学关系的角度来写这本书 的，这从他对数理逻辑做的新解释就可看出。他在书的例言中说：“本书以‘象徵’或‘符号逻辑’为新型逻 辑之总称，分而有代数逻辑派、数学逻辑派、数理逻辑派。前者指十九世纪末坡来（即布尔）石扣德（即施 罗德），次则包廿世纪罗素班洛（即皮亚诺）诸家，斯二者有时混称一名；后者则为近十年来新兴数学物理 学之理论批评中所创之逻辑问题。国人往往以‘数理逻辑’包前三者，名既不正，义亦混淆。故余願保‘数 [1] 例言 1 理‘二字之实义，以俟将来之成功。” 这就是说，数理逻辑是数学逻辑和实证科学中的物理学以及其 他科学相结合之后所产生的一些新的逻辑课题。汪先生期望将来成功的“数理逻辑”会是一个大家族，类 似我们今日说的应用逻辑。他赋予数理逻辑的含义后来并未流行。但这不能掩抹他做出这一区别的意义 价值。我觉得这里也许能显示着汪奠基先生在逻辑上有一种展望，即逻辑的实用意义、应用意义、科学方 面之意义。汪奠基先生是把他理解的数理逻辑叫做科学逻辑的。 相比汪奠基早期出版的《逻辑与数学逻辑论》而言，无论同时或较前在中国发表的一些介绍现代逻 辑的文章，还是金岳霖同期出版的大学丛书的《逻辑》，其研究角度主要是从数理逻辑和传统形式逻辑相 比较展开的。这种比较的视角能克服传统逻辑的缺点，而这些缺点主要还是思维的严密性不够、逻辑性 ［收稿日期］2010-07-05 ［作者简介］宋文坚（1928- ），男，山东牟平人，北京大学哲学系教授，主要从事西方逻辑思想研究。