Computation, Logic, Philosophy pdf epub mobi txt 电子书 下载 2026

This book is important to philosophers, logicians, computer scientists, and historians of contemporary philosophy and technology. The essays collected here, chiefly written between 1953 and 1966, reveal the working of one of most productive and prophetic minds in recent philosophy.

This first set of essays are philosophical and they develop "Wittgensteinian" themes, emphasizing mathematician's practice and such concepts as surveyability and feasibility. That a proof is surveyable by us or that a computation is feasible on a certain machine are both vague phenomena and relative to our actual abilities (or the machine's). These notions seem more practical than traditional formal or idealistic concepts like arbitrarily large finite number or Turing machine.

Wang shows how the philosophy of mathematics might be different if examined using these more human-centered concepts. In his well-known, but hard to obtain, "Process and Existence in Mathematics", he questions whether there can be, ultimately, a sharp division between theory and practice in mathematics. "Shall we say that theoretical and practical significances merge in such fundamental improvements in the technology of mathematics (as Arabic notation, logarithmic tables, computing machines)?" "Logic, Computation and Philosophy" adumbrates a philosophy and history of mathematics that is more closely tied to actual mathematical developments than are the traditional foundational approaches.

以上内容转自著名学术论文网站JSTOR，《Mind》杂志数理哲学家Thomas Tymoczko对本书的书评。

王浩出生在一个知识分子的家庭，父亲是著名教育家、山东第一师范学校校长王祝晨先生，念初中时，在父亲的建议下，他阅读了恩格斯的著作《反杜林论》和《路德维希·费尔巴哈与德国古典哲学的终结》。进入北京师大附中（城固）读高中后，他第一次接触到逻辑方面的知识，便被深深吸引。一次偶然的机会，他得到金岳霖先生写的《逻辑》(1935)。其中约80页介绍罗素(B．Russel)的名著《数学原理》第一卷的内容，在王浩眼中，既引人入胜又通俗易懂。他决定首先尝试学习较容易的数理逻辑，为以后学习辩证法奠定基础。师大附中良好的教学环境和师资力量，不仅使王浩接触到了数理逻辑，也使原本对理科有着浓厚兴趣的他，在文、理方面都具备了良好的基础。

1939年，王浩以全校第一名的优异成绩考入西南联大数学系。大学一年级时，他旁听王宪钧先生的符号逻辑课，系统学习了《数学原理》第一卷，并通过阅读希尔伯特一阿克曼的《数理逻辑基础》(1938年版)学习德语，之后又读完了希尔伯特--贝尔纳斯的《数学基础》(两卷集，1934年版)第一卷。1942年，王浩一边师从沈有鼎先生学习维特根斯坦的《逻辑哲学论》(Tractatus，1921的)，一边阅读卡纳普(R．Carnap)的《语言的逻辑句法》(1934年版)，并开始撰写关于休漠的归纳问题的论文。一年后，他写出了谈归纳法的长文，并把文章送清华大学哲学系金岳霖教授审阅。

1943年，王浩考入清华大学文科研究所哲学部，导师原为金岳霖先生，因金先生赴美，便师从王宪钧先生，并用两年时间获得硕士学位，期间兼任西南联大附中的数学教员。在回忆这段紧张而有意义的学习生活时，王浩说：“1939年到1946年我在昆明，享受到生活贫苦而精神食粮丰盛的乐趣。特别是因为和金岳霖先生及几位先生、同学都有着共同的兴趣和暗合的视为当然的价值标准，觉得心情愉快，并因而能够把工作变成了一个最基本的需要，成为以后自己生活上主要的支柱。我的愿望是：愈来愈多的中国青年可以有机会享受这样一种清淡的幸福！”

1946年，在清华大学的推荐下，王浩获美国国务院奖学金，并进入美国哈佛大学研究生院，师从当代美国著名数理逻辑学家、哲学家奎因（Quine）教授，研究奎因创立的形式公理系统。仅用一年多的时间，王浩就提出一个异常“经济”的系统，不仅能导出奎因书中的全部结果，还有许多新的发现，在奎因的建议下，王浩完成博士论文《经典分析的经济实体论》(AnEconomicOnto1ogyforC1assicalAnalysis)。1947年，王浩担任奎因的高等逻辑与语言哲学等课程的助教；1948年6月即获哲学博士学位，并留校担任青年研究员，后任助理哲学教授。1949年奎因暂离哈佛期间，王浩接替他开设高等逻辑课，用一种相当完备的方法介绍哥德尔的不完备定理。

1950至1951年，王浩赴瑞士苏黎世联邦工学院数学研究所，从事博士后研究，并在巴黎大学发表关于集合论公理体系的讲演。之后，王浩回哈佛任教，1952年被选为美国文理学院院士。

l953年，王浩开始计算器理论与机器证明的研究：一方面，他敏锐地感觉到被认为过分讲究形式的精确、十分繁琐而无任何实际用处的数理逻辑可以在计算器领域发挥极好的作用；他曾兼任巴勒斯公司的研究工程师(1953—1954年)、贝尔电话实验室技术专家(1959—1960年)、IBM研究中心客座科学家（1973—1974年）等一系列职务。

1954年，王浩以洛克菲勒基金会研究员的身份任教英国牛津大学，先后担任约翰·洛克（英国哲学家）讲座讲师和数理逻辑哲学高级讲师，讲授“集合论”和维持根斯坦的《对数学基础的看法》的数理哲学等课程，牛津大学哲学家中的领头人物大多数参加了这个讨论班。

1961年，回到哈佛大学后，王浩一直担任数理逻辑戈登·麦凯(GordonMacKay)讲座教授。l967年，王浩转入洛克菲勒大学任数学教授，并主持该校的逻辑研究室，在他的主持下，该研究室聚集了一批著名的哲学家和逻辑学家。

王浩一贯关心国内的科学教育事业，早在1962年科学出版社就出版了王浩的《数理逻辑概论》。1972年，王浩参与了第一个归国访问美籍学者代表团。1973年他撰写的《访问中国的沉思》被报纸与杂志广泛刊载。1977年，为了推动国内数理逻辑的研究，他在北京作了六次关于数理逻辑的讲演，内容丰富而深入，当中不乏研究成果和独到见解。1985年，王浩兼任北京大学教授，1986年兼任清华大学教授。

王浩被认为是自莱布尼茨以来最伟大的数理逻辑学家和哲学家哥德尔的衣钵传人。1952年，王浩当选为美国文理学院院士，1970年当选英国科学院通讯院士。在该院历史上，仅有四名华人学者当选，其余三位是陈寅恪（1945年）、夏鼐（1974年）和赵元任（1975年），该组织的性质与英国皇家学会相似，不过后者属理科，该组织属文科。1983年，由于对数学定理计算机的证明做出开创性贡献，王浩荣获人工智能领域的“数学定理自动化证明里程碑奖”。

在数理逻辑和计算机科学方面，王浩做出了重大贡献，主要包括六个方面：(1)公理集合论。(2)逻辑语言学。(3)理想计算机。他提出的一种新型理想计算机被称为“王氏机”。(4)数学定理机械化证明。他有效地证明了罗素与怀特海(Whitehead)的《数学原理》中带集式的谓词演算部分的350多条定理，这一结果当时在国际数学界引起轰动。(5)数学逻辑中谓词逻辑的判定问题。(6)“铺砖”理论（又称“骨牌游戏理论”）。是王浩于1960年创造的一种新的算法理论，被称为“王砖”，这一理论有非常广泛的应用范围，其变型——“彭罗塞(Penrose)砖”曾被用于准晶。

王浩曾发表100多篇论文。主要著作有：《数理逻辑概论》(ASurveyofMathematicalLogic，l962)，其中收集了他在l947年至1959年期间写的关于数学基础、形式公理系统、计算器理论和数学定理机械化证明的一些研究论文和其它文章。《从数学到哲学》(FromMathematicstoPhilosophy，1974)，作者试图用"实事求是论"(Substantialfactualism)的观点阐述对一系列哲学问题，特别是数学哲学问题的看法，并对当今在西方世界影响甚大的分析哲学进行批判，书中还包括大逻辑学家哥德尔一些未发表的哲学观点，极有研究价值。《数理逻辑通俗讲话》，有中英文两种版本，这是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成的。《超越分析哲学—公平对待我们具有的知识》(BeyondAnalyticPhilosophy—DoingJusticetoWhatweKnow，l986)，作者对分析哲学的代表人物罗素、维特根斯坦、卡纳普和奎因等人的思想观点作了详细介绍，并给予镇密的分析和有力的批判，主要论据是他们的哲学无法为人类现有的知识，特别是数学知识提供基础。由于作者非常熟悉这四人的工作，甚至与其中一些人有直接交往，所以他的批判十分深刻。牛津大学的彼特·斯特苏森爵士(SirP．Strawson)评论到：“哲学家们对于王浩此书的主要的、深厚的兴趣在于，它记录了一位极富才智、卓越和敏锐的哲学家对所谓‘分析’或‘英一美’哲学在本世纪经历的发展过程的看法。王的书是对现代哲学史和元哲学的丰富、迷人的贡献。”

王浩被认为是在数理逻辑和人工智能方面成就最大的华人之一，也是上世纪全世界范围内最杰出的学者之一。1983年，国际人工智能联合会与美国数学会共同将首届“里程碑奖”（MilestoneAward）授予他，可谓名至实归。

转自http://www.bjsdfz.com/readstory.aspx?story=4&article=23 其中略有删节