当代英国逻辑学家涅尔，威廉(WilliamKneale)和他的夫人玛莎·涅尔(Martha Kneale)合着的一部逻辑史书，牛津大学克拉兰敦出版社于1962年初版，以后多次重印。该书是一部有较大影响的逻辑史着作，评述了古典形式逻辑史和现代形式逻辑(数理逻辑)史以及重要的逻辑哲学和数理哲学问题。全书分两大部分，共12章，对逻辑史上出现的和在现代逻辑中具有重要意义的概念皆作出了详尽的分析。本书认为，在亚里士多德的《工具论》之前，希腊哲学家已经开始讨论了有效推理的规则，亚里士多德的《工具论》则决定了以后逻辑的研究领域。他第一次使用了词项变元。亚里士多德的三段论有3个格，三段论的还原是一种程序，类似树枝形的复杂推导。麦加拉学派对逻辑的发展作了3个重要贡献：发现了一些有趣的怪论，重新考虑了模态概念，对条件陈述句的性质作了研究。斯多亚学派第一次详尽地论述了包含有条件命题和其他形式的复杂命题的论证理论。本书指出，中世纪逻辑有两个很重要的新发现：一是关于词项特性的理论，二是关于推论的学说。该书还阐述了从莱布尼茨到哥德尔的数理逻辑的发展。莱布尼茨开创了现代逻辑的方向。布尔成功地建立了逻辑代数。德摩根和皮尔士创立了关系逻辑。康托尔建立了集合论。狄德金和皮亚诺在算术理论的研究中取得重要成果。在现代逻辑史上，弗雷格的几部着作包含了现代逻辑的一切要点。在弗雷格之后，数理逻辑得到长足的发展，出现了各种演算的形式系统。本书作者分析了与消除集合论悖论有关的几种数理哲学理论。全书以演绎系统理论结束，论述了对一致性和完全性研究的发展情况，以及在判定问题的研究中所取得的成果。

1985年商务印书馆出版了张家龙、洪汉鼎的中译本。

本文地址： https://www.yishiweijian.com/zhishibk/20230133796.html

文章来源：主编

版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。