王浩是卓越的邏輯學家;由丁在機器證明方麵的開創性工作,他也是知名的計算機科學家;同時,他又是哲學家。王浩的工作多種多樣,要對它們做出恰如其分的評價和介紹是相當困難的。不過,由於筆者個人方麵的某些考慮,還是想做一次嚐試。
1984年筆者訪問洛克菲勒大學時,曾與王浩有過幾次關下他的學術生涯的談話。這篇關於王浩住邏輯學中的貢獻的編年體的評述,部分取材於王浩在上述場合的談話,部分取材於筆者個人在過去二十餘年中積累的有關劄記。成稿後還未及送請王先生本人核正,毋庸贅言,本文中敘述的觀點和評語都由筆者個人負責。
早年的學習生活
早在中學時代王浩就對數理邏輯產生.了興趣。那時,他曾偶然地接觸到一本在本世紀20年代出版、中國著名邏輯學家和哲學家金嶽霖教授所著的邏輯書。後來王浩於1939年進人中國西南聯合大學主修數學。他選修了曾在德國深造的王憲鈞教授的數理邏輯課。在王憲鈞教授的建議卜,他開始學習德文。1939年-1940年期間,他花了大量時間閱讀的《數學原理》,中在大學年級時開始讀《數學基礎》。
1942年春,王浩寫了一篇談歸納法的文章。他把文章送給金嶽霖教授。起初,金教授以為這不過是一份根據有關文獻所作的摘錄筆記,後來,當金教授得知它完全出自這名三年級學生本人之手時,深感驚異。
這時,王浩已在數理邏輯方麵做出了一些研究。他得到命題演算完全性的一個證明。該證明與]的工作相似,但是獨立完成的。
1943年,王浩從數學係畢業,並考上清華大學哲學係研究生。1945年,他完成了由下述四個部分構成的碩士論文:真理論特別是對論證原則的批判;感覺資料;歸納法。
在哈佛
1946年,王浩獲得競爭激烈的當時中國政府的獎學金,赴美深造。他先人布朗大學,不久又轉人哈佛大學。
他開始參加的數理邏輯工作。他提出一個修訂係統的方案,從而避免了不久前在原係統中發現的“悖論”。對此十分熱心。王浩的公理弱一些,但仍然能證明其中的多數定理。1947年,王浩完成了以修訂和改進數理邏輯係統為內容的學位論文。
王浩的文章《論集合論公理》事實上包含了一種新型集合論的主要思想。這種集合論在日後的文獻中通稱為穆爾凱利集合論。
這篇文章首次闡明直謂集合論與非直謂集合論的區別,從而在集合論中開創了一個新的領域謂集合。
1958年暑假也是碩果累累。這次,王浩在181公司渡過了假期絕大部分時間,他用181704機的彙編語言編寫了證明前述《數學原理》-書中定理的程序,他在這種型號的機器上成功地用了不到九分鍾時間證出一階邏輯部分的全部350條定理(此事例見1983年出版的王浩著《數理邏輯通俗講話》這件事轟動了數學界。這次他所設;可判定算法是相當高效的(至少對邏輯定理是這樣
1960年6月,王浩在哈佛大學作過兩次講話。此後,該校請他重返哈佛。1961年7月,王浩作為數理邏輯教授回到哈佛,受聘於應用數學係。
如所周知,近數十年來美國與英國之學院哲學著名大學哲學係中講授之哲學乃係所說的分析的經驗論。此四家哲學均係植基於數理邏輯者,及人對邏輯本身做出過重要貢獻。西方哲學界將哲學分為技術性強的與通俗的兩種。上述四家哲學均係技術之哲學。王浩係數理邏輯當代名家,時乂熟悉美國與英閩的學院哲學.所以是對此四家哲學作評述批判非常恰當之人選。
還有.作者此書不僅是對與代“分析的經驗論”的批判,而且也提出了作者自巴的哲學觀點。作者認為,哲學不僅僅是一門專門科學,而是在人類知識中有其特殊地位者,不能將哲學歸結為邏輯或關於語言的研究。他並且認為這是中國哲學的傳統,而在這一問題上他是受到了影響的。