发布求助
文献互助 智能选刊 最新文献

Philosophia Mathematica最新文献

筛选
英文 中文
Mathematical Explanations: An Analysis Via Formal Proofs and Conceptual Complexity 数学解释：通过形式证明和概念复杂性进行分析
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2023-12-07 DOI: 10.1093/philmat/nkad023
Francesca Poggiolesi
{"title":"Mathematical Explanations: An Analysis Via Formal Proofs and Conceptual Complexity","authors":"Francesca Poggiolesi","doi":"10.1093/philmat/nkad023","DOIUrl":"https://doi.org/10.1093/philmat/nkad023","url":null,"abstract":"This paper studies internal (or intra-)mathematical explanations, namely those proofs of mathematical theorems that seem to explain the theorem they prove. The goal of the paper is a rigorous analysis of these explanations. This will be done in two steps. First, we will show how to move from informal proofs of mathematical theorems to a formal presentation that involves proof trees, together with a decomposition of their elements; secondly we will show that those mathematical proofs that are regarded as having explanatory power all display an increase of conceptual complexity from the assumptions to the conclusion.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138559460","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Luciano Boi and Carlos Lobo, eds. When Form Becomes Substance: Power of Gestures, Diagrammatical Intuition and Phenomenology of Space Luciano Boi 和 Carlos Lobo 编辑。当形式成为实质：手势的力量、图解直觉和空间现象学
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2023-12-06 DOI: 10.1093/philmat/nkad024
{"title":"Luciano Boi and Carlos Lobo, eds. When Form Becomes Substance: Power of Gestures, Diagrammatical Intuition and Phenomenology of Space","authors":"","doi":"10.1093/philmat/nkad024","DOIUrl":"https://doi.org/10.1093/philmat/nkad024","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138598119","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Joel D. Hamkins.Lectures on the Philosophy of Mathematics Joel D. Hamkins.数学哲学讲座
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2023-12-06 DOI: 10.1093/philmat/nkad022
J. Ferreirós
{"title":"Joel D. Hamkins.Lectures on the Philosophy of Mathematics","authors":"J. Ferreirós","doi":"10.1093/philmat/nkad022","DOIUrl":"https://doi.org/10.1093/philmat/nkad022","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138595463","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Intuition, Iteration, Induction 直觉，迭代，归纳法
IF 1.1 1区 哲学
Philosophia Mathematica Pub Date : 2023-11-11 DOI: 10.1093/philmat/nkad017
Mark van Atten
{"title":"Intuition, Iteration, Induction","authors":"Mark van Atten","doi":"10.1093/philmat/nkad017","DOIUrl":"https://doi.org/10.1093/philmat/nkad017","url":null,"abstract":"Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis provides an alternative to that in Tieszen’s Mathematical Intuition, and confirms a view of Gödel on his Dialectica Interpretation.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"110423257","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Dominique Pradelle.Être et genèse des idéalités. Un ciel sans éternité 多米尼克Pradelle。理想的存在和起源。没有永恒的天空
1区 哲学
Philosophia Mathematica Pub Date : 2023-11-08 DOI: 10.1093/philmat/nkad020
Bruno Leclercq
{"title":"Dominique Pradelle.<i>Être et genèse des idéalités. Un ciel sans éternité</i>","authors":"Bruno Leclercq","doi":"10.1093/philmat/nkad020","DOIUrl":"https://doi.org/10.1093/philmat/nkad020","url":null,"abstract":"Journal Article Dominique Pradelle.Être et genèse des idéalités. Un ciel sans éternité Get access Dominique Pradelle.*Être et genèse des idéalités. Un ciel sans éternité, [Being and genesis of ideal elements: A heaven without eternity.] Collection Épiméthée. Paris: PUF [Presses universitaires de France], 2023. Pp. 544. ISBN: 978-2-13-083587-5 (pbk); 978-2-13-083588-2 (epub); 978-2-13-085194-3 (pdf). Bruno Leclercq Bruno Leclercq Philosophy Department, Université de Liège, 4000 Liège, Belgium E-mail: b.leclercq@uliege.be https://orcid.org/0000-0002-3322-943X Search for other works by this author on: Oxford Academic Google Scholar Philosophia Mathematica, nkad020, https://doi.org/10.1093/philmat/nkad020 Published: 08 November 2023","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135430051","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Internal Applications and Puzzles of the Applicability of Mathematics 数学适用性的内部应用和困惑
1区 哲学
Philosophia Mathematica Pub Date : 2023-10-25 DOI: 10.1093/philmat/nkad019
Douglas Bertrand Marshall
{"title":"Internal Applications and Puzzles of the Applicability of Mathematics","authors":"Douglas Bertrand Marshall","doi":"10.1093/philmat/nkad019","DOIUrl":"https://doi.org/10.1093/philmat/nkad019","url":null,"abstract":"Abstract Just as mathematics helps us to represent and reason about the natural world, in its internal applications one branch of mathematics helps us to represent and reason about the subject matter of another. Recognition of the close analogy between internal and external applications of mathematics can help resolve two persistent philosophical puzzles concerning its applicability: a platonist puzzle arising from the abstractness of mathematical objects; and an empiricist puzzle arising from mathematical propositions’ lack of empirical factual content. In order to see how this is the case, we will examine what it is to apply mathematics internally and describe examples.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135168582","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sorin Bangu, Emiliano Ippoliti, and Marianna Antonutti Marfori, eds. Explanatory and Heuristic Power of Mathematics Sorin Bangu, Emiliano Ippoliti和Marianna Antonutti Marfori主编。数学的解释力和启发式力量
1区 哲学
Philosophia Mathematica Pub Date : 2023-10-16 DOI: 10.1093/philmat/nkad018
{"title":"Sorin Bangu, Emiliano Ippoliti, and Marianna Antonutti Marfori, eds. <i>Explanatory and Heuristic Power of Mathematics</i>","authors":"","doi":"10.1093/philmat/nkad018","DOIUrl":"https://doi.org/10.1093/philmat/nkad018","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136079969","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Are Large Cardinal Axioms Restrictive? 大基数公理是限制性的吗?
1区 哲学
Philosophia Mathematica Pub Date : 2023-09-24 DOI: 10.1093/philmat/nkad014
Neil Barton
{"title":"Are Large Cardinal Axioms Restrictive?","authors":"Neil Barton","doi":"10.1093/philmat/nkad014","DOIUrl":"https://doi.org/10.1093/philmat/nkad014","url":null,"abstract":"Abstract The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper I question this claim. I show that there is a kind of maximality (namely absoluteness) on which large cardinal axioms come out as restrictive relative to a formal notion of restrictiveness. Within this framework, I argue that large cardinal axioms can still play many of their usual foundational roles.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135925160","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Elaine Landry.Plato Was Not a Mathematical Platonist 伊莱恩·兰德里。柏拉图不是数学柏拉图主义者
1区 哲学
Philosophia Mathematica Pub Date : 2023-09-16 DOI: 10.1093/philmat/nkad016
Colin McLarty
{"title":"Elaine Landry.<i>Plato Was Not a Mathematical Platonist</i>","authors":"Colin McLarty","doi":"10.1093/philmat/nkad016","DOIUrl":"https://doi.org/10.1093/philmat/nkad016","url":null,"abstract":"Journal Article Elaine Landry.Plato Was Not a Mathematical Platonist Get access Elaine Landry*Plato Was Not a Mathematical Platonist. Cambridge Elements in the Philosophy of Mathematics. Cambridge University Press, 2023. Pp. 48. ISBN: 978-0-19-966262-3 (online). Colin McLarty Colin McLarty Departments of Philosophy and of Mathematics, Case Western Reserve University, Cleveland, Ohio 44106, U.S.A colin.mclarty@case.edu https://orcid.org/0000-0002-3181-7537 Search for other works by this author on: Oxford Academic Google Scholar Philosophia Mathematica, nkad016, https://doi.org/10.1093/philmat/nkad016 Published: 16 September 2023","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135306043","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Mark Jay Steiner May 6, 1942 – April 6, 2020 Mark Jay Steiner 1942年5月6日- 2020年4月6日
1区 哲学
Philosophia Mathematica Pub Date : 2023-09-16 DOI: 10.1093/philmat/nkad015
Yemima Ben-Menahem, Carl Posy
{"title":"Mark Jay Steiner May 6, 1942 – April 6, 2020","authors":"Yemima Ben-Menahem, Carl Posy","doi":"10.1093/philmat/nkad015","DOIUrl":"https://doi.org/10.1093/philmat/nkad015","url":null,"abstract":"Journal Article Mark Jay Steiner May 6, 1942 – April 6, 2020 Get access Yemima Ben-Menahem, Yemima Ben-Menahem The Hebrew University of Jerusalem E-mail: yemima.ben-menahem@mail.huji.ac.il. https://orcid.org/0009-0007-3632-3820 Search for other works by this author on: Oxford Academic Google Scholar Carl Posy Carl Posy The Hebrew University of Jerusalem E-mail: carl.posy@mail.huji.ac.il. https://orcid.org/0000-0002-8047-8527 Search for other works by this author on: Oxford Academic Google Scholar Philosophia Mathematica, nkad015, https://doi.org/10.1093/philmat/nkad015 Published: 16 September 2023","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135306040","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信