弗雷格现代逻辑之父 - 复旦大学精品课程.docVIP

  • 3
  • 0
  • 约8.24千字
  • 约 7页
  • 2017-06-04 发布于天津
  • 举报

弗雷格现代逻辑之父 - 复旦大学精品课程.doc

弗雷格的逻辑和数学思想的哲学基础张庆熊复旦大学现代哲学研究所提要弗雷格在算术基础中阐述了三条基本原理这三条原理一方面说明他为什么要构造他的人工语言系统另一方面说明算术何以能够建立在逻辑的基础之上这是从哲学的高度出发论证他的逻辑和数学思想的基础弗雷格于年发表概念文字一种模仿算术语言构造的纯思维的形式语言这本薄薄的书可谓现代逻辑的开山之作它奠定了数理逻辑中的命题逻辑和一阶谓词逻辑的基础然而对于这本逻辑史上划时代的专著在当时却少有人问津弗雷格反思其原因认为除人们对那陌生的符号系统望而生畏外还不理解他为

弗雷格的逻辑和数学思想的哲学基础 张庆熊 复旦大学现代哲学研究所 【提要】弗雷格在《算术基础》中阐述了三条基本原理,这三条原理一方面说明他为什么要构造他的人工语言系统,另一方面说明算术何以能够建立在逻辑的基础之上,这是从哲学的高度出发论证他的逻辑和数学思想的基础。 弗雷格(Gottlob Friedrich Ludwig Frege,1848-1925)于1897年发表《概念文字:一种模仿算术语言构造的纯思维的形式语言》(Begriffsschrift,eine der arithmetischen nachgebildete Formelsprache des reinen Denkens

文档评论(0)

1亿VIP精品文档

相关文档