科研之友
微信
新浪微博
Facebook
分享链接
摘要
<正>现代逻辑思想开始于17世纪后半叶莱布尼茨的工作。莱布尼茨雄心勃勃的逻辑数学化理想可划分为两个组成部分:"普遍语言"(ars characteristica,characteristica universalis,lingua characteristica)和"理性演算"(calculus ratiocinator)。现代逻辑在19世纪诞生之时,正是沿着这两条路线得以实现的。1967年,著名逻辑史学家范·海杰诺尔(J.van Heijenoort)出版数理逻辑原始资料选《从弗雷格到哥德尔》[1]及其经典论文《作为语言的逻辑与作为演算的逻辑》,[2]这些论著中的观点不仅在非逻辑史学界
-
单位中国社会科学院哲学研究所
