来源:《思维与智慧》1991年第04期 作者:阮松;
选择字号

第一讲 非形式逻辑的兴起

分享到: 分享到QQ空间

<正> 哲学家莱布尼兹有过一个美妙的设想:将思维加以逻辑处理或演算,使得推理的有效性可转化为计算的可靠性,这样,当争论发生时,争论双方只要“拿起铅笔,坐下来心平气和地进行计算”,问颢便会仰刃而解。在他之后,逻辑学家以及数学家们付出了艰辛的努力,尤其是经过弗雷格和罗素的工作,莱氏的设想在特定的意义上得以实现。从被认为是数理逻辑成熟标志的《数学原理》发表,至今已将近一个世纪,其间,又诞生了现代逻辑的三大成果,形成了各具特色的“四论”。现代逻辑沿形式化方向的发展仍在不断深入,许多逻辑学家沉溺于公式、符号间的演算,甚至有人认为数理逻辑将构成全部(本文共计3页)       [继续阅读本文]

下载阅读本文     订阅本刊   
如何获取本文>>          如何获取本刊>> 

相关文章推荐

思维与智慧杂志1991年第04期
思维与智慧
主办:河北师范大学
出版:思维与智慧杂志编辑部
出版周期:旬刊
出版地:河北省石家庄市

本期目录