王浩(1921-1955)是一位科学巨匠,他在逻辑、数学和计算机科学等领域都做出了卓越贡献,这些贡献为他赢得了世界性声誉。但从学生时代起,王浩就立志要研究哲学问题。据他在一次访谈中自己讲,高考时他原本想报考西南联大哲学系,只是因为父亲反对,才改了数学系。虽然身在数学系,但并不妨碍他选修各种哲学系课程,以及进行广泛的哲学阅读。王浩的哲学兴趣发端很早。
这种兴趣贯穿了他此后的人生,本科毕业后,王浩即进入清华研究院哲学部学习,之后赴美留学,在哈佛大学哲学系跟随分析哲学大师蒯因学习,后来又辗转任教于牛津、哈佛、洛克菲勒等大学,从事哲学方面的教学和研究。
王浩在《数哲》中主要关注如下一些基本概念:自然数、连续统、集合、逻辑真、逻辑常项、证明、形式系统、一致性、机械程序、人工智能,等等。在对这些概念进行知识学刻画时,王浩既广泛引用了历史上人们对这些概念的分析,又紧密结合了数理逻辑中与它们有关的大量技术性结果,为我们呈现出重峦叠嶂、江河万里的概念画卷。
王浩的实质事实主义与二十世纪七十年代以来分析哲学界盛行的方法论自然主义有明显相似性。自然主义明确主张摒弃第一哲学,认为正是在科学中,实在被辨认和描述。科学方法就是我们认识世界的最好方法。哲学家们应当信任科学,在现代科学认识成果的基础上思考一切哲学问题。王浩也明确说,我们接受以下为一个原始事实:“在科学提供了普遍接受的答案的那些方面,科学所绘就的世界图景就整体轮廓而言是真实的。”
王浩留给我们的主要哲学遗产是知识哲学方面的,但应该注意的是,他也始终关切人生和社会问题。实际上,据何兆武回忆,硕士毕业答辩时,金岳霖先生曾问王浩为什么要学哲学,王浩的回答是:“我想解决人生问题。”而在《数哲》中,王浩引人注目地用了一章(《关于知识与生活的札记》)的篇幅,专门讨论知识与生活的关系问题。