莱布尼茨逻辑学说的历史命运

现代数理逻辑学家通常将弗雷格视为数理逻辑的缔造者,而莱布尼茨则被视为数理逻辑最伟大的先驱.莱布尼茨对这一名誉实至名归.(1)尽管亚里士多德和他的大多数追随者有一个逻辑形式系统的狭义逻辑观,而莱布尼茨更像一个现代人,有一个逻辑的普遍性目标,一个可应用于各种类型的推理的逻辑观.(2)他试图为他的逻辑建构一种数学的算法,他没有达到这一目标是因为他对亚里士多德三段论和他的主谓句法过分尊重.尽管上述观点存在一定的合理性,但不得不承认莱布尼茨是数理逻辑的先驱,同时将他的失败归之于他过分尼于三段论模式和主谓句法的论断也是站不住脚的.如果是这样的话,莱布尼茨就不是作为弗雷格的伟大先驱,而是作为传统三段论的集大成者出现了.的确,莱布尼茨作为一位逻辑巨人的资格既是建立在对即将到来的新逻辑的预见方面,也是建立在他对古老的三段论隐藏的力量和范围承认的基础之上的.