“如果各位的兴趣偏重数理,那么最好是熟读塔斯基(Tarski)教授的IntroductiontoLogic,OxfordUniversityPress。塔斯基教授是波兰人,现在流亡美国,在加利福尼亚大学任教。他是美国的第一流逻辑家。所著Wahrheitsbegriff的论文,对于语意学以及哲学解析,影响颇大。这本逻辑引论是为习数学而有逻辑兴趣者写的。第二部分,在事实上是讲系统学,尤见精彩,但须细读方可通。”
“假若我们还想参及旁的书,应须读些什么呢?吴先生!”周文璞问。
“最好是读奎因(Quine)的新著MethodsofLogic,NewYork,HenryHolt & Co.出版。奎因是美国哈佛大学哲学教授,是美国第一流逻辑家,以量化论(theoryofquantification)为主要贡献。这本书写得很见精审。德国逻辑家也有好评。
“再进一步,读希尔伯特(Hilbert)和阿克曼(Ackermann)二氏合著的GrundlagenderTheoretischenLogik。此书有英译本,叫作PrinciplesofMathematicalLogic, NewYork, ChelseaPublishingCompany出版。希尔伯特是德国大数学家克莱因(Klein)以后的数学权威,这本书,逻辑界公认为标准的逻辑教本,凡现代逻辑中的重要问题,如类型论、决定问题(entscheidungsproblem),无不论列。不过这本书,正如许多老牌德国人写的理论书一样,写得非常紧凑,正文只有一百三十页,不多也不少,必须精读。近年来,写专门的逻辑论文者,作博士论文者,常常引用它,其重要可以想见。
“假若我们已熟读了上面所说的书,而对于逻辑再想深进,那么最佳的可读的标准著作便是奎因教授的MathematicalLogic,HarvardUniversity出版。这部书是逻辑界公认的一部精心杰构。如果我们熟读并习完这部书,那么对于现代逻辑的知识和训练,可说‘大体具备’。从此再往前去,不难左右逢源。
“如果我们已经熟读并且习过上面所说的那些书,那么就可以参读怀特海和罗素合作的巨构《数学原理》。”
“吴先生!请问有没有关于逻辑的刊物呢?”王蕴理问。
“有的,丘奇()教授等人编辑的TheJournalofSymbolicLogic是这方面的专门学刊。这个学刊的编辑,多是从事逻辑研究的专家。这个学刊是国际性的,所用语言至少有英、德、法三种。其中所发表的专文,乃世界第一第二流的著作。其中的书评,也多出自专家手笔。不过,这些作品,必须具备逻辑上专门的知识和训练,才可读懂。其余有关逻辑的文章,就英文的而言,常散见于JournalofPhilosophyofScience、英国出版的Analysis,以及英美的几种哲学刊物。