Dov M. Gabbay, John Woods. Handbook of the History of Logic. Volume 3: The Rise of Modern Logic: From Leibniz to Frege. ISBN: 978-0-444-51611-4
这次读的是逻辑学史手册的第三卷，讲述了从莱布尼茨到弗雷格的逻辑学。这一时期内的逻辑学是近现代逻辑学的开端，实际上也是现在一般意义上“逻辑学”的开端。在这一时期之前，虽然已经有了古希腊-罗马，古印度、中国古代三大逻辑学传统以及欧洲中世纪逻辑学、阿拉伯逻辑学、因明学、形名之学四种逻辑学传承，但它们的形式都和现代的逻辑学有较大差别。真正体现现代形式逻辑和数理逻辑范式的就是从莱布尼茨开始的近现代逻辑学。
所以，在论述逻辑学发展史的时候，如果不想追溯过早的逻辑学萌芽，不想去费心分辨一个古代作品是否承载了逻辑学知识的话，从莱布尼茨开始叙述逻辑学史是个不错的选择。
莱布尼茨给近现代逻辑学奠定的基础范式就是逻辑的算术化。他试图用一种算术方式来表示和处理逻辑问题。这样，我们就能像算加减乘除那样通过简单机械的运算检查证明过程乃至解决逻辑判断问题。为此他提出了他的形式逻辑系统以及二进制数等辅助工具。他的这些工作是后世计算机科学的必要铺垫。如果逻辑不算术化，那么依靠逻辑建立的数学就不能有效地内省自身，没法把各种证明和判断算术化，自然也就没法用算术机器自动完成运算。
在莱布尼茨之后布尔的布尔代数和弗雷格等人数理逻辑系统则是对莱布尼茨理想的进一步实现。这些成果不仅极大地改变了数学了逻辑学，甚至也对哲学造成了巨大的震动与改变。
说到哲学，本书中也对一些哲学家的逻辑学理论做了介绍。但由于所论述时间区间的限制，没有讲到因为和逻辑深度结合而出名的分析哲学。这本书中主要是对康德和黑格尔两位哲学家的逻辑学观点做了介绍。由于这两位所在的年代数理逻辑还没有诞生，所以他们的逻辑学并没有很强的数理化特征。
求点赞，求收藏，求分享
欢迎关注我的公众号，微信搜索：知则
