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