数理哲学导论，ISBN：9787100027625，作者：（英）罗素（Bertrand Russell）著；晏成书译

王浩20年倾力之作，书中包括哥德尔一些未发表的哲学观点，接续上一本《哥德尔》的论题并将其扩展到更加广泛的领域：柏拉图主义、逻辑的本质、心灵、上帝的存在性、实证主义、现象学等等。哥德尔定理于20世纪的意义相当于爱因斯坦的相对论，海森伯格的测不准原理，凯恩斯的经济学，依据作者和哥德尔多年的私人交往与探讨写就的此书，扩展了过去人们认为的哥德尔在逻辑和哲学方面的贡献。

这份讲义是当代逻辑入门课程的教材，内容大约是一阶逻辑的前部，可作为教科书或参考书，用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生，也可以把它当作课外读物。 无论在国内还是国外，可用于一阶逻辑课的教材不少，导论性的教材更多；但两类教材的脱节是个老问题。国外一些教材在导论性内容后增加些一阶逻辑的内容（如完全性定理），其中有的已被国内学者介绍或模仿。但这类教材通常仍只能用于导论课。编写《符号逻辑讲义》的目的之一，就是想把脱节的教材连起来。说到西方人写的当代逻辑入门教材，不能不提一种现象：越来越多的这类教材是由逻辑界之外的人撰写的。有一次，美国哲学界的几位同事谈起部分学生逻辑水平很低，其中一人开玩笑说，那是你们逻辑学家的过错——谁让你们不写几本好的初级教科书呢？西方人写的逻辑教科书，有的很好，有的也很糟。所以，选用这类教材时要慎重，决不是西方人写的就一定好。 作为学科和知识体系，当代逻辑并没有理科当代逻辑、上科当代逻辑和文科当代逻辑之分。任何人着想掌握当代逻辑的基础知识，应该学习的决不会比其他学科的人更少。编写《符号逻辑讲义》时，在基本内容的选择上对各学科读者一视同仁，但为了使没经过理论数学的严格训练的人也能学好，在写法上力求从接近直观的东西入手，循序渐进。

《数理逻辑(第2版)》主要内容：What is a mathematical proof？ How can proofs be justified？ Are there limitations to provability？ To what extent can machines carry out mathematical proofs？Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is' Godel's completeness theorem， which shows that the consequence relation coincides with formal provability： By means of a calculus consisting of simple formal inference rules， one can obtain all consequences of a given axiom system (and in particular， imitate all mathematical proofs)

内容简介 现今社会，逻辑思维能力越来越被人看重。不仅考MBA有逻辑题，而且公务员考试也开始加试逻辑测试题。此外，在一些跨国公司的招聘面试中，这类逻辑能力训练题目更是经常出现，它对考察一个人的思维方式及思维方式转变能力有着极其明显的作用。而据一些研究显示，这样的能力往往也与工作中的应变与创新能力密切相关。所以我们平时加强这类题目的训练，到真正用的时候，就可以得心应手，游刃有余了。

本书主要整理了金岳霖先生对《穆勒名学》的解读除13讲外，还包括了金岳霖评介严复未翻译“假设”篇7讲，这对研究金先生的学术思想有很大的参考价值。 这本书是古典传统逻辑的终结，也是在现代逻辑出现之前一本影响大的著作，它先后出版八次之多。波兰华沙大学原国际符号学会主席佩尔斯（Jerzy Pelc）教授曾说，其实全世界当时都在读这一本书。