×
米里亚姆·弗朗西拉

直觉主义数学中的本体论思考。 （英语） Zbl 07819162号

福斯卡·马里亚尼（编辑），《某物的意义》。重新思考本体论的逻辑性和统一性。查姆：斯普林格。日志。氩气。原因。29, 69-88 (2022).
摘要：在二十世纪的第一个十年里，直觉主义数学由荷兰人路易斯·埃格伯特·扬·布鲁沃（Luitzen Egbertus Jan Brouwer）创立，并通过其学生阿伦德·海廷（Arend Heyting）耐心的工作而普及。虽然“经典”数学遵循毕达哥拉斯-波罗的遗产，预设了一个本体论，其对象独立于人类存在，人类只能描述它们，然后推断它们的属性，但在直觉主义数学中，数学实体及其属性是由数学家自己产生的，因为是主体在自己的头脑中构建它们，只受自己的头脑的约束。在这篇文章中，我将仔细观察前两位直觉主义数学家的立场，以便从他们方法的多样性中，揭示出他们重新定义数学的共同事业的丰富性和关键方面。
关于整个系列，请参见[Zbl 1515.03007号].

MSC公司：

00A30型 数学哲学
03A05号 逻辑和基础的哲学和批判性方面
03楼55 直觉数学
PDF格式BibTeX公司 XML格式引用
\textit{M.Franchella}，日志。氩气。原因。29、69-88（2022；Zbl 07819162）
全文： 内政部

参考文献：

[1] Becker，O.，《存在数学》，Jahrbuch für Philosophie und phänominologische Forschung，8，441-809（1927）
[2] 伯奈斯，P.，《柏拉图主义的社会》，《西方数学》，第34期，第52-69页（1935年）
[3] 爱沙尼亚州博雷尔。(1898). 行动的方向。巴黎：Gauthier-Villars。
[4] Brouwer、LEJ、Leven、kunst en mystiek、Delft、Waltman、trading。“生活、艺术和神秘主义”，《圣母院形式逻辑杂志》，37389-430（1905）
[5] Brouwer，L.E.J.（1907年）。在德格朗斯拉根德维昆德。阿姆斯特丹：Maas&van Suchtelen；英语。翻译。Brouwer 1975年的《数学基础》，第11-101页。
[6] Brouwer，L.E.J.（1908）。逻辑原理论。Tijdschrift voor Wijsbegeerte，第2152-158页；英语。翻译。《逻辑原则的不可靠性》，Brouwer 1975年，第107-111页，以及Van Atten M.&Göran Sundholm（2017）L.E.J.Brouwer's“逻辑原则的可靠性”：一个新的翻译，附有导言，逻辑的历史和哲学，38:1，第24-47页。
[7] 布鲁沃，L.E.J.（1912年）。形式上的直觉主义。阿姆斯特丹：克劳森。英语。翻译。“直觉主义和形式主义”，《美国数学学会公报》20（1913年），第81-96页，布劳沃1975年，第123-138页。
[8] Brouwer，LEJ，Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossennen Dritten。Erster Teil公司。Allgemeine Mengenlehre，KNAW Verhandelingen，1918，1-43（1918）
[9] Brouwer，L.E.J.（1933年）。Willen、Weten和Spreken。欧几里德，9177-193；同样在De uitdrukkingswijze der wetenschap，kennistheoretische voordrachten gehouden aan De Universiteit van Amsterdam，阿姆斯特丹，第43-63页；英语。翻译。van Stigt（1990），第418-431页，以及Brouwer 1975的摘录，第443-446页。
[10] Brouwer，LEJ，Essentieel negatieve eigenschappen，KNAW Proc，51，963-964（1948）·Zbl 0041.35207号
[11] 布鲁沃·L·E·J（1948b）。意识、哲学和数学。《第十届国际哲学大会会议记录》，阿姆斯特丹1948 III，第1235-1249页；后来在Brouwer 1975年，第480-494页。
[12] LEJ Brouwer，直觉主义的历史背景、原理和方法，南非科学杂志，49，1952，139-146（1952）
[13] Brouwer，LEJ，点和空间，加拿大数学杂志，6，1-17（1954）·Zbl 0055.04601号 ·doi:10.4153/CJM-1954-001-9
[14] Brouwer，L.E.J.（1975）。作品集（第一卷）。阿姆斯特丹：北荷兰（此处引用为CW I）。
[15] Brouwer，L.E.J.（1981）。布鲁尔在剑桥大学的直觉主义讲座（D.van Dalen，Ed.）。剑桥：剑桥大学出版社·Zbl 0476.03056号
[16] Carnap，R.（1934年）。Sprache逻辑语法。维恩：施普林格。
[17] Franchella，M.（1994年a）。L.E.J.Brouwer pensatore eterodosso公司。米兰：盖里尼。
[18] Franchella，M.，Heyting对数学、历史和逻辑哲学基础研究变化的贡献，15149-172（1994）·Zbl 0810.01003号 ·doi:10.1080/01445349408837229
[19] Franchella，M.，L.E.J.布鲁沃走向直觉逻辑，《数学史》，22304-322（1995）·Zbl 0833.01017号 ·doi:10.1006/hmat.1995.1026
[20] Franchella，M.，《就像窗玻璃上的蜜蜂：海廷对唯我论的反思》，《综合》，第105期，第207-251页（1995年）·Zbl 0960.00007号 ·doi:10.1007/BF01064219
[21] Franchella，M.（2008）。Con gli occhi negli occh di Brouwer公司。蒙扎：脊髓灰质炎·Zbl 1233.03003号
[22] Franchella，M.，Arend Heyting关于关系科学-宗教，Rivista di Filosofia Neo-scolastica，111，1，179-196（2019）
[23] Griss，GFC，Sur la négation（dans les mathematiques et la logique），综合，VII，71-74（1948）
[24] Heyting，A.（1930a）。直觉主义逻辑规范。Sitzungsberichte der preussischen Akad公司。der Wissenschaften，《物理数学》，第42-56页。https://plato.stanford.edu/entries/直觉主义逻辑开发/#Bib
[25] Heyting，A.（1930b）。直觉主义数学2。Sitzungsberichte der preussischen Akad公司。维森沙芬，《物理学-数学-克拉斯》，第57-71页。https://plato.stanford.edu/entries/直觉主义逻辑开发/#Bib
[26] Heyting，A.（1930c）。直觉主义数学研究所III.Sitzungsberichte der preußischen Akad。维森沙芬，《物理学-数学-克拉斯》，第158-169页。https://plato.stanford.edu/entrys/直觉逻辑开发/#Bib
[27] Heyting，A.，Die intuistinistische Grundlegung der Mathematik，Erkentnis，2106-115（1931）·doi:10.1007/BF02028143
[28] Heyting，A.，RéponseáMM.Barzin et Errera，《生命数学》，31274-275（1932）
[29] Heyting，A.（1934年）。Mathematische Grundlagenforschung数学。直觉主义。柏林：施普林格出版社。（法文翻译。《数学基础：直觉主义》，巴黎，高瑟尔-维拉斯/卢旺，瑙韦拉茨，1955年。这里引用的是法语版）。
[30] Heyting，A.（1949年）。斯潘宁根在德维昆德。《欧几里得》，第25页，第233-236页，第301-312页。
[31] 海廷，A.（1956a）。直觉主义：导论。阿姆斯特丹：荷兰北部·Zbl 0070.00801号
[32] Heyting，A.，《逻辑直觉主义的概念》，《哲学》，第11226-233页（1956年）
[33] Heyting，A.，Blick von der直觉主义Warte，Dialectica，12332-345（1958）·Zbl 0089.24502号 ·doi:10.1111/j.1746-8361.1958.tb01468.x
[34] Heyting，A.（1958b）。关于数学中的真理。在Verlag van de plechtige viering van het honderdvijftigjarig bestaan der Koninklijke Nederlandse Akademie van Wetenschappen会见了de teksten der bij die gelegenheid gehouden redeveringen en voorgedrachte（第277-279页）。阿姆斯特丹：荷兰北部。
[35] Heyting，A.（1958c）。数学中的直觉主义。在R.Klibansky（编辑）《中世纪哲学》中。调查（第101-115页）。佛罗伦萨：La Nuova Italia。
[36] Heyting，A。；内格尔，E。；Suppes，P。；塔斯基，A.，《三十年后，科学的逻辑、方法论和哲学》，194-197（1962），斯坦福大学出版社·Zbl 0166.24702号
[37] Heyting，A.（1968年）。L.E.J.布鲁尔。在R.Klibansky（编辑）《当代哲学》中。调查（第308-315页）。佛罗伦萨：La Nuova Italia。
[38] Heyting，A.（1974年）。科学，croyance，foi。在S.Dockx（编辑）中，《科学哲学》。国际科学哲学学术讨论会（第197-212页）。巴黎：博切斯。
[39] Heyting，A.（1980）。论文集。阿姆斯特丹：阿姆斯特丹大学数学学院。
[40] Ramsey，I.（1957）。宗教语言。伦敦：SCM出版社。
[41] Troelstra，A.S.（1981）。阿伦德·海廷及其对直觉主义的贡献。Nieuw Archief voor Wiskunde，XXIX（3），第1-23页·Zbl 0452.01010号
[42] Troelstra，A.S.（1982）。Heyting评论，A.“直觉主义逻辑的规范”。Wiskundig Genootschap第一部分二百周年大会会议记录（第165-175页）。阿姆斯特丹：Mathematisch Centrum。
[43] Troelstra，A.S.（1983年）。布鲁沃和海廷作品中的逻辑。在Atti del convergno internationale di Storia della Logica。圣吉米尼亚诺，1982年4月8日（第193-210页）。博洛尼亚：CLUEB。
[44] Troelstra，A.S.（1988）。关于直觉主义逻辑的早期历史。阿姆斯特丹：语言、逻辑和信息研究所·兹比尔0770.03002
[45] Van Atten，M.（2004）。布劳沃。贝尔蒙特：华兹华斯·Zbl 1072.03005号
[46] Van Atten，M.（2005）。奥斯卡·贝克尔和阿伦德·海廷之间的通信。在V.Peckhaus（编辑）、Oskar Becker und die Philosophie der Mathematik（第119-142页）中。慕尼黑：芬克。
[47] van Dalen，D.（1999）。神秘主义者、几何学家和直觉主义者：L.E.J.Brouwer的一生。第一卷：黎明的革命。牛津：克拉伦登出版社·Zbl 0916.01021号
[48] van Dalen，D.（2005）。神秘、几何和直觉主义：L.E.J.Brouwer的一生。第二卷：希望与幻灭。牛津：克拉伦登出版社。
[49] van Dantzig，D.（1949年）。评论Brouwer关于本质负性质的定理，Proc。阿卡德。阿姆斯特丹，52，第949-957页，Indagationes Mathematicae，11，第347-355页·Zbl 0038.00603号
[50] van Stigt，W.P.（1990）。布鲁沃的直觉主义。阿姆斯特丹：荷兰北部·Zbl 0707.03001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。