??? 1939年，王浩進入西南聯(lián)大數(shù)學(xué)系學(xué)習(xí)，1943年獲學(xué)士學(xué)位后又入清華大學(xué)研究生院哲學(xué)部學(xué)習(xí)，1945年以論文《論經(jīng)驗知識的基礎(chǔ)》獲碩士學(xué)位。
??? 王浩在中學(xué)時代就對哲學(xué)有興趣，初中時閱讀過恩格斯的著作《反杜林論》和《路德維希·費爾巴哈與德國古典哲學(xué)的終結(jié)》。高中時他閱讀金岳霖的《邏輯》，感到這些內(nèi)容既吸引人又容易懂，覺得應(yīng)首先嘗試學(xué)習(xí)較容易的數(shù)理邏輯，為以后學(xué)習(xí)辯證法作準備。
??? 大一時，他旁聽了王憲鉤的符號邏輯課，系統(tǒng)地學(xué)習(xí)了《數(shù)學(xué)原理》第一卷。并通過閱讀希爾伯特一阿克曼的《數(shù)理邏輯基礎(chǔ)》（1938年版）學(xué)習(xí)德語。又閱讀了希爾伯特·貝爾納斯的 《數(shù)學(xué)基礎(chǔ)》（兩卷集，1934年版）的第一卷。 1942年聽了沈有鼎講授維特根斯坦的《邏輯哲學(xué)論》課，閱讀了卡納普的 《語音的邏輯句法》（1934年版），并開始撰寫關(guān)于休漠的歸納問題的論文。
??? 1946年，王浩前往美國哈佛大學(xué)，在那里見到了當代美國著名哲學(xué)家、邏輯學(xué)家奎因，并隨即開始學(xué)習(xí)他創(chuàng)立的形式公理系統(tǒng)，不久就對該系統(tǒng)作出改進，其部分結(jié)果寫成博士論文。根據(jù)奎因的建議，論文的題目取為《經(jīng)典分析的經(jīng)濟實體論》。
??? 1947年開始擔(dān)任奎因的高等邏輯與語言哲學(xué)等課程的助教；1948年獲理學(xué)博士，并繼續(xù)留在哈佛大學(xué)；1948—1951年任初級研究員；195l—1956年任助理哲學(xué)教授；1949年奎因暫離哈佛期間，王浩接替他開設(shè)高等邏輯課，用一種相當完備的方法介紹哥德爾的不完備定理。
??? 1972年以后，王浩數(shù)次回國。 1973年他寫了《訪問中國的沉思》，被報紙與雜志廣泛刊載。 1985年兼任北京大學(xué)教授；1986年兼任清華大學(xué)教授。
??? 王浩曾發(fā)表論文100多篇。主要著作有：《數(shù)理邏輯概論》，收集了他在l947—1959年期間撰寫的關(guān)于數(shù)學(xué)基礎(chǔ)、形式公理系統(tǒng)、計算機理論和數(shù)學(xué)定理機械化證明的一些研究論文和其它文章。 《從數(shù)學(xué)到哲學(xué)》闡述一系列哲學(xué)問題，并對當今在西方世界影響甚大的分析哲學(xué)進行批判，書中還包括大邏輯學(xué)家哥德爾一些未發(fā)表的哲學(xué)觀點，極有研究價值。 《數(shù)理邏輯通俗講話》，這是根據(jù)作者在1977年在中國科學(xué)院作的6次關(guān)于數(shù)理邏輯的廣泛而通俗的講演整理而成的。 《超越分析哲學(xué)——公平對待我們具有的知識》，對分析哲學(xué)的代表人物羅素、維特根斯坦、卡納普和奎因等人的思想觀點作了詳細介紹，并給予縝密的分析和有力的批判。
??? 1983年在美國丹佛召開的，由人工智能國際聯(lián)合會和美國數(shù)學(xué)會共同主辦的，自動定理證明特別年會上，王浩被授予首屆里程碑獎，以表彰他在數(shù)學(xué)定理機械證明研究領(lǐng)域中所作出的開創(chuàng)性貢獻。
??? （韋清對本文亦有貢獻）
?