非形式逻辑的兴起及其哲学意蕴

非形式逻辑是如可诞生的?它研究些什么内容?它对思维科学的研究具有怎样的哲学意义?本文试图对此作一较全面的介绍和分析。 一、深刻的历史背景 伟大的哲学家莱布尼兹曾有一个美妙的设想:将逻辑处理成演算;使得推理的有效性可以转化为计算的可靠性。为了实现他的这一设想,逻辑学家以及数学家们付出了艰辛的努力,尤其是经过弗雷格和罗素等人的工作,莱氏将“逻辑”处理成演算的设想在比较完全的意义上得以实现。莱布尼兹也因此被人们看作是现代形式逻辑(狭义的,即数理逻辑)的奠基