王浩(1921—1995),美藉华裔数理逻辑学家,王祝晨的三子。被 《纽约时报》称为“逻辑课题的开拓者”。
1939年,王浩进入西南联大数学系学习,1943年获学士学位后又入清华大学研究生院哲学部学习,1945年以论文《论经验知识的基础》获硕士学位。
王浩在中学时代就对哲学有兴趣,初中时阅读过恩格斯的著作《反杜林论》和《路德维希·费尔巴哈与德国古典哲学的终结》。高中时他阅读金岳霖的《逻辑》,感到这些内容既吸引人又容易懂,觉得应首先尝试学习较容易的数理逻辑,为以后学习辩证法作准备。
大一时,他旁听了王宪钩的符号逻辑课,系统地学习了《数学原理》第一卷。并通过阅读希尔伯特一阿克曼的《数理逻辑基础》(1938年版)学习德语。又阅读了希尔伯特·贝尔纳斯的 《数学基础》(两卷集,1934年版)的第一卷。 1942年听了沈有鼎讲授维特根斯坦的《逻辑哲学论》课,阅读了卡纳普的 《语音的逻辑句法》(1934年版),并开始撰写关于休漠的归纳问题的论文。
1946年,王浩前往美国哈佛大学,在那里见到了当代美国著名哲学家、逻辑学家奎因,并随即开始学习他创立的形式公理系统,不久就对该系统作出改进,其部分结果写成博士论文。根据奎因的建议,论文的题目取为《经典分析的经济实体论》。
1947年开始担任奎因的高等逻辑与语言哲学等课程的助教;1948年获理学博士,并继续留在哈佛大学;1948—1951年任初级研究员;195l—1956年任助理哲学教授;1949年奎因暂离哈佛期间,王浩接替他开设高等逻辑课,用一种相当完备的方法介绍哥德尔的不完备定理。
1972年以后,王浩数次回国。 1973年他写了《访问中国的沉思》,被报纸与杂志广泛刊载。 1985年兼任北京大学教授;1986年兼任清华大学教授。
王浩曾发表论文100多篇。主要著作有:《数理逻辑概论》,收集了他在l947—1959年期间撰写的关于数学基础、形式公理系统、计算机理论和数学定理机械化证明的一些研究论文和其它文章。 《从数学到哲学》阐述一系列哲学问题,并对当今在西方世界影响甚大的分析哲学进行批判,书中还包括大逻辑学家哥德尔一些未发表的哲学观点,极有研究价值。 《数理逻辑通俗讲话》,这是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成的。 《超越分析哲学——公平对待我们具有的知识》,对分析哲学的代表人物罗素、维特根斯坦、卡纳普和奎因等人的思想观点作了详细介绍,并给予缜密的分析和有力的批判。
1983年在美国丹佛召开的,由人工智能国际联合会和美国数学会共同主办的,自动定理证明特别年会上,王浩被授予首届里程碑奖,以表彰他在数学定理机械证明研究领域中所作出的开创性贡献。
(韦清对本文亦有贡献)