弗雷格《概念文字》的构造及其意义  

The Construction and Meaning of Frege's Begriffsschrift

作　　者：李慧华[1] 

机构地区：[1]中国人民大学哲学院,北京100872

出　　处：《毕节学院学报（综合版）》2009年第3期39-42,共4页Journal of Bijie University

基　　金：贵州省教育厅2007年度高校人文社科研究项目(规划项目)"比较逻辑学理论体系建构";项目编号:0703228;毕节学院科研基金2007年度重点项目"比较逻辑学的理论体系";项目编号:20071001

摘　　要：弗雷格在研究逻辑和算术的关系时深切地认识到了语言的缺陷,因此他借鉴了数学思想,引入了断定、函数和自变元等符号,在传统逻辑自然语言和算术形式语言的基础上构造出了纯思维的形式语言,在历史上第一次建立了一阶谓词演算系统,开创了现代逻辑的新纪元。Through a thoroughly study on the relation between logic and arithmetic, Frege realized that the language has many limitations, therefore he adopted the mathematical thoughts, introduced the symbols of assertion, function, variables and etc. Finally, he established a pure thought of formal language based on the traditional natural logic language and formal language of arithmetic. For the first time in human history, he created the first - order predicate calculus system which started a new era of modem logic.

关 键 词：概念文字 断定 函数 

分 类 号：B81-05[哲学宗教—逻辑学]