数理逻辑奠基人--弗雷格

坦率地说,站在无穷小背后的人有一大串数学巨人:弗雷格、希尔伯特、罗素、塔哥德尔、塔尔斯基与鲁宾逊,以及J.Keisler。

老实说,离开数理逻辑模型的严格证明,超实数无穷小理论就无从谈起。

弗雷格是什么人,请见本文明附件。

袁萌   陈启清  8月21附附件:

戈特洛布·弗雷格

出生

1848年11月8日

德意志邦联维斯马

逝世

1925年7月26日

魏玛共和国巴特克莱嫩

时代

十九世纪哲学

地区

西方哲学

学派

分析哲学

主要领域

数学哲学、数理逻辑、 语言哲学

著名思想

谓词演算, 逻辑主义, Sense and reference, Mediated reference theory

受影响于

显示▼

影响于

显示▼

弗里德里希·路德维希·戈特洛布·弗雷格(德语:Friedrich Ludwig Gottlob Frege,宽式IPA:/ˈɡɔtlop ˈfʁeːɡə/;1848年11月8日-1925年7月26日),著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。

目录

1生平

2 逻辑学家

3 思想

4 参考

4.1 主要的

4.2 次要的

5 外部链接

生平

弗雷格的父亲是擅长数学的学校教师。1869年弗雷格进入耶拿大学学习,两年后转至哥廷根大学,1873年在那里得到了他在数学领域的哲学博士学位。 根据Sluga的资料(1980), 弗雷格在大学所受的逻辑和哲学教育仍是未知。1875年,他回到耶拿担任讲师,并于1879年成为助理教授, 1896年成为教授。弗雷格只有一名注册学生,鲁道夫·卡尔纳普。 弗雷格的孩子都在成年前死去,而他于1905年领养了一名男孩。

弗雷格的工作没有在有生之年得到广泛的赞誉,但是受到伯特兰·罗素和路德维希·维特根斯坦和卡尔纳普的称赞,认为他注定会产生重大的影响。二战后他的工作才在英语世界广为人知,部分原因是一些哲学家和逻辑学家移居到了美国——例如卡尔纳普,塔尔斯基,和哥德尔——那些了解尊敬弗雷格工作并将他的主要著作翻译成英文的人。弗雷格的工作对分析哲学产生了巨大的影响。

逻辑学家

主条目:概念文字

弗雷格被公认为伟大的逻辑学家,如同亚里士多德,哥德尔,塔尔斯基。他于1879年出版的《概念文字》标志着逻辑学史的转折。《概念文字》开辟了新的领域。

思想

弗雷格是政治立场保守的德国数学家,他重新激起人们对逻辑学的哲学兴趣。他试图找出算术的“基础”,以演绎的方式证明“二加二等于四”这类基本恒等式必然为真。从亚里斯多德以降,逻辑学一直是研究命题与命题彼此关系的学问,弗雷格则扩大逻辑学的内容,创造了“量化”逻辑 ( 与“全部”、“有些”、“无”等范畴有关),使其成为今日哲学家熟知与沿用的知识。正如笛卡儿与洛克沿着知识论大道发展现代哲学,弗雷格也沿着逻辑学与语言分析之路发展当代哲学。“语言学转向”是个令人兴奋的突破,它试图以“分析”哲学为基础,解释所有的理论。

参考[编辑]

主要的[编辑]

Online bibliography of Frege's works and their English translations.

1879. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle a. S.: Louis Nebert. Translation: Concept Script, a formal language of pure thought modelled upon that of arithmetic, by S. Bauer-Mengelberg in Jean Van Heijenoort, ed., 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press.

1884. Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung über den Begriff der Zahl. Breslau: W. Koebner. Translation: J. L. Austin, 1974. The Foundations of Arithmetic: A logico-mathematical enquiry into the concept of number, 2nd ed. Blackwell.

1891. "Funktion und Begriff." Translation: "Function and Concept" in Geach and Black (1980).

1892a. "Über Sinn und Bedeutung" in Zeitschrift für Philosophie und philosophische Kritik 100: 25-50. Translation: "On Sense and Reference" in Geach and Black (1980).

1892b. "Über Begriff und Gegenstand" in Vierteljahresschrift für wissenschaftliche Philosophie 16: 192-205. Translation: "Concept and Object" in Geach and Black (1980).

1893. Grundgesetze der Arithmetik, Band I. Jena: Verlag Hermann Pohle. Band II, 1903. Partial translation: Furth, M, 1964. The Basic Laws of Arithmetic. Uni. of California Press.

1904. "Was ist eine Funktion?" in Meyer, S., ed., 1904. Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage, 20. Februar 1904. Leipzig: Barth: 656-666. Translation: "What is a Function?" in Geach and Black (1980).

Peter Geach and Max Black, eds., and trans., 1980. Translations from the Philosophical Writings of Gottlob Frege, 3rd ed. Blackwell.

Frege intended that the following three papers be published together in a book titled Logical Investigations. The English translati/ns thereof were so published in 1975.

1918-19. "Der Gedanke: Eine logische Untersuchung (Thought: A Logical Investigation)" in Beiträge zur Philosophie des Deutschen Idealismus I: 58-77.

1918-19. "Die Verneinung" (Negation)" in Beiträge zur Philosophie des deutschen Idealismus I: 143-157.

1923. "Gedankengefüge (Compound Thought)" in Beiträge zur Philosophie des Deutschen Idealismus III: 36-51.

次要的

George Boolos, 1998. Logic, Logic, and Logic. MIT Press. Contains several influential papers on Frege's philosophy of arithmetic and logic.

Michael Dummett, 1973. Frege: Philosophy of Language. Harvard University Press.

Michael Dummett, 1991. Frege: Philosophy of Mathematics. Harvard University Press.

Demopoulos, William, 1995. "Frege's Philosophy of Mathematics". Harvard University Press. A nice collection that explores the significance of Frege's theorem, and his mathematical and intellectural background.

Gillies, Douglas A., 1982. Frege, Dedekind, and Peano on the foundations of arithmetic. Assen, Netherlands: Van Gorcum.

Ferreira, F. and Wehmeier, K., 2002, "On the consistency of the Delta-1-1-CA fragment of Frege's Grundgesetze," Journal of Philosophic Logic 31: 301–11.

Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots 1870-1940. Princeton Uni. Press. Fair to the mathematician, less so to the philosopher.

Hatcher, William, 1982. The Logical Foundations of Mathematics. Pergamon. Uses natural deduction to rederive Peano's axioms from the Grundgesetze system, recast in modern notation.

Hill, C. O. Word and Object in Husserl, Frege and Russell: The Roots of Twentieth-Century Philosophy. Athens: Ohio University Press, 1991.

Hill, C. O., and Rosado Haddock, G. E., 2000. Husserl or Frege: Meaning, Objectivity, and Mathematics. Open Court. The Frege-Husserl-Cantor triangle.

Hans Sluga, 1980. Gottlob Frege. Routledge.

数理逻辑奠基人--弗雷格相关推荐

  1. 逻辑究竟是什么以及逻辑应当是什么?

    来源:"哲学园" 公众号 编辑:姜天海 审核:范   杰 逻辑究竟是什么以及逻辑应当是什么? 郝兆宽 作者简介:郝兆宽,复旦大学哲学学院教授 人大复印:<逻辑>2016 ...

  2. 【历史上的今天】3 月 27 日:《华尔街日报》技术专栏作家出生;AMD 推出 K5 处理器;匈牙利数理逻辑的奠基人诞生

    整理 | 王启隆 透过「历史上的今天」,从过去看未来,从现在亦可以改变未来. 今天是 2022 年 3 月 27 日,在 2010 年的今天,浙江吉利控股集团有限公司与美国福特汽车公司在沃尔沃总部所在 ...

  3. (转)数理逻辑时代的大师们

    rel="File-List" href="file:///C:%5CDOCUME%7E1%5CQuinn%5CLOCALS%7E1%5CTemp%5Cmsohtml1% ...

  4. 计算机软件理论基础集合论,从数理逻辑观点看计算机专业的理论基础探讨

    从数理逻辑观点看计算机专业的理论基础探讨 从数理逻辑观点看计算机专业的理论基础探讨计从数理逻辑观点看计算机专业的理论基础探讨算机科学与技术学科包括计算机系统结构.计算机软件与理论.计算机应从数理逻辑观 ...

  5. 【数理逻辑四】谓词逻辑及形式系统 【上】

    谓词逻辑及形式系统(句法)[上] 一.简介 [谓词逻辑]是所有逻辑学的中心内容,包括亚里士多德的三段论(虽然那时谓词逻辑还没有产生).弗雷格的谓词逻辑.以及后来的数理逻辑三大流派都是围绕[谓词逻辑]展 ...

  6. 计算机科学奠基人冯诺依曼思想是,冯_诺依曼的计算机科学哲学思想.doc

    冯_诺依曼的计算机科学哲学思想 冯·诺依曼的计算机科学哲学思想任晓明,潘沁( 南开大学 哲学院,天津 300071)摘 要: 冯·诺依曼是计算机科学哲学理论的主要奠基人之一.他的计算机科学哲学思想主要 ...

  7. 计算机软件理论基础集合论,从数理逻辑观点看计算机专业的理论基础探讨.doc...

    文档介绍: 从数理逻辑观点看计算机专业的理论基础探讨.doc从数理逻辑观点看计算机专业的理论基础探讨计算机科学与技术学科包括计算机系统结构.计算机软件与理论.计算机应用技术.一般地说,研究型计算机学院 ...

  8. 我们不雇佣数理逻辑不好的学生

    「我们不雇佣数理逻辑不好的学生」这句话是一个公司创始人说的,也是他的公司招聘的唯一硬性标准.如果你能进入这个公司,你的一只脚就跨入了富豪的行列了. 想象一下,如果 1ml 水价值 100 元,那么 1 ...

  9. 深度学习奠基人特伦斯:美国学界已经找到了解释人工智能“黑盒子”的方法...

    (图片来源:壹图网) 来源:今日头条 经济观察网 记者 宋笛 "是的,目前美国数学家已经找到了解释深度学习黑盒子的方法,但是还没有发表,所以我不能透露更多."7月25日 ,美国&q ...

最新文章

  1. 每次启动“Everything“需要管理员权限来索引NTFS卷.
  2. tf.InteractiveSession()与tf.Session()
  3. Codeforces 494Div3(ABCDJava编写)
  4. Java核心篇之Java锁--day2
  5. 亚马逊自动化仓库事故,机器人失手戳破有毒喷雾,24名工人被送医院
  6. Struts2之checkboxlist 设置默认值和结果回显
  7. android定义多个上下文菜单,Android编程实现为ListView创建上下文菜单(ContextMenu)的方法...
  8. GJB150.10A-2009霉菌试验标准费用-霉菌试验GJBA检测机构
  9. Unity Shader·科技感描边效果(利用Robert算子边缘检测)
  10. 斐波那契数列(C语言实现)
  11. 解决你的R语言乱码问题
  12. 土方计算过程(方格网法)
  13. 【Unity3D实战】零基础一步一步教你制作酷跑类游戏(1)
  14. Selenium UnreachableBrowserException异常处理方案
  15. [附源码]Java计算机毕业设计SSM成都美食交流平台
  16. 游戏开发公司如何开发一款小游戏
  17. Wireshark研究血族Bloodline手游聊天系统 - 初尝试
  18. Servlert 下 (HttpServletRequest 类和 HttpServletResponse 类)
  19. 【无标题】Doris报错 (too many filtered rows)
  20. 软件与中国古代史:政界往事(上)

热门文章

  1. 计算机基础-云计算+机器人技术
  2. MYSQL 安装/ Navicat可视化数据库使用
  3. osgEarth配置地图资源
  4. 《LSTM神经网络和双色球预测例子》
  5. Ubuntu 编译jdk源码
  6. 想知道PDF文件怎么识别文字吗?
  7. 基于OpenDDS+Qt的Shapes演示
  8. Arcmap加载在线地图的方法总结
  9. wpa_supplicant的log中四次握手分析
  10. [杂谈] 机器学习与优化算法的对比