天才一秒记住【梧桐文学】地址：https://www.wtwx.net
“您说的这两种书，是不是主要以符号逻辑为内容的书呢？”
王蕴理问。
“不是的，二者都是采取兼容并收的写法。”
“假如我们想读点符号逻辑的书，您可以介绍哪些呢？”
王蕴理又问。
“有两种很标准的著作。
一是艾丽丝·安布罗斯（AliceAmbrose）和莫里斯·拉泽罗维茨（MorrisLazerowitz）合著的FualsofSymboliewYork，Riandc.出版。
这本书说理畅达，编排均匀，又将古典逻辑兼消于类论（theoryofclasses）之中，恰到好处。
所以，自出版以来，书评界迭有好评。
可惜，这本书对于类型论（theoryoftypes）谈得太少，这是美中不足之处。
“如果各位的兴趣偏重数理，那么最好是熟读塔斯基（Tarski）教授的IntrodutoLogic，OxfordUyPress。
塔斯基教授是波兰人，现在流亡美国，在加利福尼亚大学任教。
他是美国的第一流逻辑家。
所著Wahrheitsbegriff的论文，对于语意学以及哲学解析，影响颇大。
这本逻辑引论是为习数学而有逻辑兴趣者写的。
第二部分，在事实上是讲系统学，尤见精彩，但须细读方可通。”
“假若我们还想参及旁的书，应须读些什么呢？吴先生！”
周文璞问。
“最好是读奎因（QuihodsofLogiewYork，HenryHolt&Co.出版。
奎因是美国哈佛大学哲学教授，是美国第一流逻辑家，以量化论（theoryofquantifi）为主要贡献。
这本书写得很见精审。
德国逻辑家也有好评。
“再进一步，读希尔伯特（Hilbert）和阿克曼（A）二氏合著的GruisLogik。
此书有英译本，叫作PrihematicalLogiewYork，ChelseaPublishingpany出版。
希尔伯特是德国大数学家克莱因（Klein）以后的数学权威，这本书，逻辑界公认为标准的逻辑教本，凡现代逻辑中的重要问题，如类型论、决定问题（entsgsproblem），无不论列。
不过这本书，正如许多老牌德国人写的理论书一样，写得非常紧凑，正文只有一百三十页，不多也不少，必须精读。
近年来，写专门的逻辑论文者，作博士论文者，常常引用它，其重要可以想见。
“假若我们已熟读了上面所说的书，而对于逻辑再想深进，那么最佳的可读的标准著作便是奎因教授的MathematicalLogic，HarvardUy出版。
这部书是逻辑界公认的一部精心杰构。
如果我们熟读并习完这部书，那么对于现代逻辑的知识和训练，可说‘大体具备’。
从此再往前去，不难左右逢源。
“如果我们已经熟读并且习过上面所说的那些书，那么就可以参读怀特海和罗素合作的巨构《数学原理》。”
“吴先生！
请问有没有关于逻辑的刊物呢？”
王蕴理问。
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！