寻美食|数学与逻辑是什么关系？数学需要什么样的逻辑？( 二 )

笛·摩根也从事过把逻辑符号化的研究，并以提出了闻名的笛·摩根法则。

本文插图
对逻辑代数跨出最重要一步的是英国数学教授布尔，他确信语言的符号化会使逻辑严密。布尔的办法是从外延逻辑，即类的逻辑开始。布尔相信，人的头脑会根据一些记号当即作出一些初等的推理规则，这些规则就是逻辑公理。

本文插图
【寻美食|数学与逻辑是什么关系？数学需要什么样的逻辑？】笛·摩根和布尔是改造亚里士多德逻辑的开创者，使的逻辑逐渐离开哲学而靠近数学。到20世纪30年代后，逻辑的数学化得到巨大发展，并发展出一个新的数学分支——数理逻辑。作为一门成熟的学科，包括了逻辑演算、证实论、集合的公理化理论、递归论和模型论等5个分支。其中逻辑演算是数理辑中最重要、最基本的部门。
古典逻辑匡助了数学的建立和发展，使数学建立在逻辑的基础上；反过来，跟着数学的发展，又匡助逻辑克服其自身的缺陷，使逻辑数学化。它们相辅相成，都得到了突飞猛进的发展。