| 弗雷格《概念文字》的构造及其意义 |
| |
| 引用本文： | 李慧华.弗雷格《概念文字》的构造及其意义[J].毕节学院学报,2009,27(3). |
| |
| 作者姓名： | 李慧华 |
| |
| 作者单位： | 中国人民大学哲学院,北京,100872 |
| |
| 基金项目： | 贵州省教育厅高校人文社科研究项目(规划项目)，毕节学院科研基金重点项目 |
| |
| 摘 要： | 弗雷格在研究逻辑和算术的关系时深切地认识到了语言的缺陷,因此他借鉴了数学思想,引入了断定、函数和自变元等符号,在传统逻辑自然语言和算术形式语言的基础上构造出了纯思维的形式语言,在历史上第一次建立了一阶谓词演算系统,开创了现代逻辑的新纪元.
|
| 关 键 词： | 概念文字 断定 函数 |
The Construction and Meaning of Frege's Begriffsschrift |
| |
| LI Hui-hua.The Construction and Meaning of Frege's Begriffsschrift[J].Journal of Bijie University,2009,27(3). |
| |
| Authors: | LI Hui-hua |
| |
| Institution: | Philosophy School of Renmin University of China;Beijing 100872;China |
| |
| Abstract: | 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 modern logic. |
| |
| Keywords: | Begriffsschrift Assertion Function |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
