莱布尼茨的理想

摘要：

现代逻辑思想开始于17世纪后半叶莱布尼茨的工作.莱布尼茨雄心勃勃的逻辑数学化理想可划分为两个组成部分:“普遍语言” (ars characteristica,characteristica universalis,lingua characteristica)和“理性演算”(calculus ratiocinator).现代逻辑在19世纪诞生之时,正是沿着这两条路线得以实现的.1967年,著名逻辑史学家范·海杰诺尔(J.van Heijenoort)出版数理逻辑原始资料选《从弗雷格到哥德尔》[1]及其经典论文《作为语言的逻辑与作为演算的逻辑》,[2]这些论著中的观点不仅在非逻辑史学界具有压倒性的影响,在逻辑史学界也具有相当的代表性.1988年,这两个传统被格拉顿-奎内斯(IvorGrattan-Guinness)称为“数理逻辑”传统和“逻辑代数”传统;[3]大致就在同一时候,这一划分被欣迪卡(J.Hintikka)等人推广到哲学领域,[4]此外还可能影响了王浩的哲学思想.

机标关键词：莱布尼茨

分类号：B516.22;N031;B82

资助基金：国家社会科学基金12BZX061

在线出版日期：2015-01-26（万方平台首次上网日期，不代表论文的发表时间）

页码：88-93