函数结构——纪念弗雷格的《概念文字》发表130周年

摘要：

@@ 人们赞美现代逻辑有许多说法,比如,它采用公理系统的方法,从而使逻辑成为一门科学;它采用自然演绎系统的方法,可以比较自然地刻画和描述日常推理的实践;它采用形式化的方法,因而消除了自然语言的歧义,使逻辑达到精确性;它提供了一种普遍的构造语言和建立演算的方法,使逻辑可以不断发展并且获得广泛的应用,等等.

机标关键词：函数结构、弗雷格、概念文字、Function、Structure、现代逻辑、方法、自然演绎系统、自然语言、一门科学、日常推理、公理系统、形式化、精确性、演算、实践、歧义、描述、构造

分类号：B5(欧洲哲学)

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

页数：共9页

页码：60-68