数理逻辑史正文　　现代演绎方法、形式化和公理系统的发展史。 　　以演绎方法为中心内容的形式逻辑已有2000多年的历史。最早从形式结构来论述演绎推理的著作是古希腊亚里士多德的《工具论》。自亚里士多德起至17世纪后期是形式逻辑的古典阶段。古典形式逻辑包括几种常见的演绎推理和最简单的量词理论，也使用一些特有符号。它没有探讨关系逻辑和公理系统的逻辑性质。自17世纪后期G.W.莱布尼茨起是数理逻辑的萌芽和发展时期，是形式逻辑的现代阶段。数理逻辑使… [ 进入词条 ][ 进入数理逻辑史维吧 ]