??? 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年在美國丹佛召開的,由人工智能國際聯合會和美國數學會共同主辦的,自動定理證明特別年會上,王浩被授予首屆里程碑獎,以表彰他在數學定理機械證明研究領域中所作出的開創性貢獻。
??? (韋清對本文亦有貢獻)
?