读 Dov M. Gabbay 之 Handbook of the History of Logic. Volume 3: The Rise of Modern Logic

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

这次读的是逻辑学史手册的第三卷，讲述了从莱布尼茨到弗雷格的逻辑学。这一时期内的逻辑学是近现代逻辑学的开端，实际上也是现在一般意义上“逻辑学”的开端。在这一时期之前，虽然已经有了古希腊-罗马，古印度、中国古代三大逻辑学传统以及欧洲中世纪逻辑学、阿拉伯逻辑学、因明学、形名之学四种逻辑学传承，但它们的形式都和现代的逻辑学有较大差别。真正体现现代形式逻辑和数理逻辑范式的就是从莱布尼茨开始的近现代逻辑学。

所以，在论述逻辑学发展史的时候，如果不想追溯过早的逻辑学萌芽，不想去费心分辨一个古代作品是否承载了逻辑学知识的话，从莱布尼茨开始叙述逻辑学史是个不错的选择。

莱布尼茨给近现代逻辑学奠定的基础范式就是逻辑的算术化。他试图用一种算术方式来表示和处理逻辑问题。这样，我们就能像算加减乘除那样通过简单机械的运算检查证明过程乃至解决逻辑判断问题。为此他提出了他的形式逻辑系统以及二进制数等辅助工具。他的这些工作是后世计算机科学的必要铺垫。如果逻辑不算术化，那么依靠逻辑建立的数学就不能有效地内省自身，没法把各种证明和判断算术化，自然也就没法用算术机器自动完成运算。

在莱布尼茨之后布尔的布尔代数和弗雷格等人数理逻辑系统则是对莱布尼茨理想的进一步实现。这些成果不仅极大地改变了数学了逻辑学，甚至也对哲学造成了巨大的震动与改变。

说到哲学，本书中也对一些哲学家的逻辑学理论做了介绍。但由于所论述时间区间的限制，没有讲到因为和逻辑深度结合而出名的分析哲学。这本书中主要是对康德和黑格尔两位哲学家的逻辑学观点做了介绍。由于这两位所在的年代数理逻辑还没有诞生，所以他们的逻辑学并没有很强的数理化特征。

求点赞，求收藏，求分享

欢迎关注我的公众号，微信搜索：知则

读 Dov M. Gabbay 之 Handbook of the History of Logic. Volume 3: The Rise of Modern Logic相关推荐

读 Dov M. Gabbay 之 Handbook of the History of Logic. Volume 1: Greek, Indian and Arabic Logic
Dov M. Gabbay, John Woods. Handbook of the History of Logic. Volume 1: Greek, Indian and Arabic Logi ...
js textarea换行
利用html换行符或. 查看全文 http://www.taodudu.cc/news/show-4947167.html 相关文章: textarea 标签内换行 [解决回车键出现乱码的问题]禁用E ...
【规范】万字集大成的HDLFPGA学习和规范
HDL & FPGA 学习和规范(HDL-&-FPGA- study) p.s 本文 Github 仓库地址,日进步积,本文系小一年时间的不断积累迭代而成,所以是谓集大成者,仍将长期更 ...
Lattice ddr3教程全攻略之仿真篇
Lattice ddr3教程全攻略之仿真篇对于这部分,首先建议安装好diamond3.1,modelsim se 10.1a这两个软件,如果想仔细分析DDR3的IP部分,可仔细阅读DDR3 SDRA ...
A002-185-2530-吴伟滨
第一次作业 1,Requirements baseline[需求基线] 定义需求基线(Requirements baseline)是团队成员已经承诺将在某特定产品版本中实现的功能性和非功能性需求的一 ...
一个CCER研究生的学习感悟
一."活的思维"与"死的知识" 由于现实世界太过复杂而且充满不确定性,远非有限的生命用经验能够理解,因此先哲们基于一系列假设把现实世界简化到从概率上来说正确,从 ...
【神经网络】(7) 迁移学习（CNN-MobileNetV2），案例：乳腺癌二分类
各位同学好,今天和大家分享一下Tensorflow2.0中如何使用迁移学习的方法构造神经网络.需要数据集的在评论区留个言. 1. 迁移学习官方文档:Module: tf.keras.applicat ...
linux执行mount命令报错：mount: RPC: Remote system error - Connection refused（NFS：nfs-kernel-server 挂载教程）
文章目录什么是NFS挂载目录? 第一次尝试(失败) 第二次尝试(成功) - (ubuntu上安装NFS,Ubuntn上默认没有安装) - (给ubuntu上需要被共享的文件夹赋予权限,保证使用者都能 ...
python调用窗口_如何调用一个函数并在另一个窗口中打开？
我用的是IDLE,但这应该足够让球滚动了.IDLE是在Windows上下载Python时随Python一起安装的IDE.您可以通过按Windows键并搜索空闲来打开它.在这段代码很简单,但是它应该能 ...

读 Dov M. Gabbay 之 Handbook of the History of Logic. Volume 3: The Rise of Modern Logic

读 Dov M. Gabbay 之 Handbook of the History of Logic. Volume 3: The Rise of Modern Logic相关推荐

最新文章

热门文章