论文部分内容阅读
借助于自然语言，特别是借助于对于自然语，是从亚里士多德到中世纪以至近代一些时候是西方逻辑发展的传统阶段；17世纪莱布尼茨提出建立一种普遍的人工语言，使用数学一样的精确方法研究与表达概念之间的关系；后来的布尔设计了一种命题逻辑演算；弗雷格构造了第一个谓词逻辑的演算系统；再经过罗素、希尔伯特、甘岑、哥德尔和塔斯基等人的工作，数理逻辑逐步得到产生与发展。他们既是科学家，又是哲学家。没有西方理性思维的发展，就没有今天越来越精致、严格与完备的逻辑学的繁荣。它的发展，对数学、哲学、计算机科学以及语言学等中得到了广泛的