首页 > 最新文献

Philosophia Mathematica最新文献

英文 中文
Is Iteration an Object of Intuition? 迭代是直觉的对象吗?
IF 1.1 1区 哲学 Q2 HISTORY & PHILOSOPHY OF SCIENCE Pub Date : 2024-09-26 DOI: 10.1093/philmat/nkae019
Bruno Bentzen
In ‘Intuition, iteration, induction’, Mark van Atten argues that iteration is an object of intuition for Brouwer and explains the intuitive character of the act of iteration drawing from Husserl’s phenomenology. I find the arguments for this reading of Brouwer unconvincing. In this note I set out some issues with his claim that iteration is an object of intuition and his Husserlian explication of iteration. In particular, I argue that van Atten does not accomplish his goals due to tensions with Brouwer’s comments on second-order mathematics and because Husserl does not understand the experience of succession as Brouwer does.
在《直觉、迭代、归纳》一文中,马克-范-阿滕认为迭代是布劳威尔的直觉对象,并从胡塞尔的现象学中解释了迭代行为的直觉特征。我认为这种解读布劳威尔的论据缺乏说服力。在这篇笔记中,我阐述了他关于迭代是直观对象的主张以及他对迭代的胡塞尔式阐释的一些问题。特别是,我认为,由于与布鲁瓦关于二阶数学的评论之间的矛盾,以及胡塞尔并不像布鲁瓦那样理解继承的经验,范阿滕并没有达到他的目的。
{"title":"Is Iteration an Object of Intuition?","authors":"Bruno Bentzen","doi":"10.1093/philmat/nkae019","DOIUrl":"https://doi.org/10.1093/philmat/nkae019","url":null,"abstract":"In ‘Intuition, iteration, induction’, Mark van Atten argues that iteration is an object of intuition for Brouwer and explains the intuitive character of the act of iteration drawing from Husserl’s phenomenology. I find the arguments for this reading of Brouwer unconvincing. In this note I set out some issues with his claim that iteration is an object of intuition and his Husserlian explication of iteration. In particular, I argue that van Atten does not accomplish his goals due to tensions with Brouwer’s comments on second-order mathematics and because Husserl does not understand the experience of succession as Brouwer does.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142325606","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
A Taxonomy for Set-Theoretic Potentialism 集合论潜在论的分类标准
IF 1.1 1区 哲学 Q2 HISTORY & PHILOSOPHY OF SCIENCE Pub Date : 2024-08-28 DOI: 10.1093/philmat/nkae016
Davide Sutto
Set-theoretic potentialism is one of the most lively trends in the philosophy of mathematics. Modal accounts of sets have been developed in two different ways. The first, initiated by Charles Parsons, focuses on sets as objects. The second, dating back to Hilary Putnam and Geoffrey Hellman, investigates set-theoretic structures. The paper identifies two strands of open issues, technical and conceptual, to clarify these two different, yet often conflated, views and categorize the potentialist approaches that have emerged in the contemporary debate. The final outcome is a taxonomy that should help researchers navigate the rich landscape of modal set theories.
集合论势论是数学哲学中最活跃的趋势之一。关于集合的模态论有两种不同的发展方式。第一种是由查尔斯-帕森斯(Charles Parsons)提出的,侧重于作为对象的集合。第二种可追溯到希拉里-普特南(Hilary Putnam)和杰弗里-赫尔曼(Geoffrey Hellman),研究集合论结构。本文确定了技术和概念两方面的开放性问题,以澄清这两种不同但又经常混为一谈的观点,并对当代辩论中出现的潜在论方法进行分类。最后的成果是一个分类法,它应能帮助研究人员浏览模态集合理论的丰富景观。
{"title":"A Taxonomy for Set-Theoretic Potentialism","authors":"Davide Sutto","doi":"10.1093/philmat/nkae016","DOIUrl":"https://doi.org/10.1093/philmat/nkae016","url":null,"abstract":"Set-theoretic potentialism is one of the most lively trends in the philosophy of mathematics. Modal accounts of sets have been developed in two different ways. The first, initiated by Charles Parsons, focuses on sets as objects. The second, dating back to Hilary Putnam and Geoffrey Hellman, investigates set-theoretic structures. The paper identifies two strands of open issues, technical and conceptual, to clarify these two different, yet often conflated, views and categorize the potentialist approaches that have emerged in the contemporary debate. The final outcome is a taxonomy that should help researchers navigate the rich landscape of modal set theories.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142084654","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
Up with Categories, Down with Sets; Out with Categories, In with Sets! 分类向上,集合向下;分类向外,集合向内!
IF 1.1 1区 哲学 Q1 Arts and Humanities Pub Date : 2024-04-13 DOI: 10.1093/philmat/nkae010
Jonathan Kirby
Practical approaches to the notions of subsets and extension sets are compared, coming from broadly set-theoretic and category-theoretic traditions of mathematics. I argue that the set-theoretic approach is the most practical for ‘looking down’ or ‘in’ at subsets and the category-theoretic approach is the most practical for ‘looking up’ or ‘out’ at extensions, and suggest some guiding principles for using these approaches without recourse to either category theory or axiomatic set theory.
本文比较了来自广义集合论和范畴论数学传统的子集和外延集概念的实用方法。我认为,对于 "向下 "或 "向内 "看子集,集合论方法是最实用的;而对于 "向上 "或 "向外 "看扩展集,范畴论方法是最实用的。
{"title":"Up with Categories, Down with Sets; Out with Categories, In with Sets!","authors":"Jonathan Kirby","doi":"10.1093/philmat/nkae010","DOIUrl":"https://doi.org/10.1093/philmat/nkae010","url":null,"abstract":"Practical approaches to the notions of subsets and extension sets are compared, coming from broadly set-theoretic and category-theoretic traditions of mathematics. I argue that the set-theoretic approach is the most practical for ‘looking down’ or ‘in’ at subsets and the category-theoretic approach is the most practical for ‘looking up’ or ‘out’ at extensions, and suggest some guiding principles for using these approaches without recourse to either category theory or axiomatic set theory.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140551916","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
Chris Pincock.  Mathematics and Explanation 克里斯-品科克 数学与解释
IF 1.1 1区 哲学 Q1 Arts and Humanities Pub Date : 2024-04-12 DOI: 10.1093/philmat/nkae007
Alan Baker
{"title":"Chris Pincock.  Mathematics and Explanation","authors":"Alan Baker","doi":"10.1093/philmat/nkae007","DOIUrl":"https://doi.org/10.1093/philmat/nkae007","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140709072","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
Donald Gillies.Lakatos and the Historical Approach to Philosophy of Mathematics 唐纳德-吉利斯.拉卡托斯与数学哲学的历史方法
IF 1.1 1区 哲学 Q1 Arts and Humanities Pub Date : 2024-04-01 DOI: 10.1093/philmat/nkae008
B. Larvor
{"title":"Donald Gillies.Lakatos and the Historical Approach to Philosophy of Mathematics","authors":"B. Larvor","doi":"10.1093/philmat/nkae008","DOIUrl":"https://doi.org/10.1093/philmat/nkae008","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140763127","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
Felix Lev.Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory 费利克斯-列夫.有限数学是经典数学和量子理论的基础
IF 1.1 1区 哲学 Q1 Arts and Humanities Pub Date : 2024-03-30 DOI: 10.1093/philmat/nkae006
J. P. Van Bendegem
{"title":"Felix Lev.Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory","authors":"J. P. Van Bendegem","doi":"10.1093/philmat/nkae006","DOIUrl":"https://doi.org/10.1093/philmat/nkae006","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140363570","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
The Logic for Mathematics without Ex Falso Quodlibet 没有 Ex Falso Quodlibet 的数学逻辑学
IF 1.1 1区 哲学 Q1 Arts and Humanities Pub Date : 2024-03-11 DOI: 10.1093/philmat/nkae001
Neil Tennant
{"title":"The Logic for Mathematics without Ex Falso Quodlibet","authors":"Neil Tennant","doi":"10.1093/philmat/nkae001","DOIUrl":"https://doi.org/10.1093/philmat/nkae001","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140252558","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
A.C. Paseau and Alan Baker.Indispensability A.C. Paseau 和 Alan Baker.不可或缺性
IF 1.1 1区 哲学 Q1 Arts and Humanities Pub Date : 2024-02-21 DOI: 10.1093/philmat/nkae003
Christian Alafaci
{"title":"A.C. Paseau and Alan Baker.Indispensability","authors":"Christian Alafaci","doi":"10.1093/philmat/nkae003","DOIUrl":"https://doi.org/10.1093/philmat/nkae003","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140443641","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
Jean W. Rioux. Thomas Aquinas’ Mathematical Realism 让-W-里奥托马斯-阿奎那的数学现实主义
IF 1.1 1区 哲学 Q1 Arts and Humanities Pub Date : 2024-02-20 DOI: 10.1093/philmat/nkae004
Daniel Eduardo Usma Gómez
{"title":"Jean W. Rioux. Thomas Aquinas’ Mathematical Realism","authors":"Daniel Eduardo Usma Gómez","doi":"10.1093/philmat/nkae004","DOIUrl":"https://doi.org/10.1093/philmat/nkae004","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140445823","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
Identity and Extensionality in Boffa Set Theory 波法集合论中的同一性和扩展性
IF 1.1 1区 哲学 Q1 Arts and Humanities Pub Date : 2024-02-08 DOI: 10.1093/philmat/nkad025
Nuno Maia, Matteo Nizzardo
Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called ‘Quine atoms’. Rieger contends that this theory cannot be a faithful description of set-theoretic reality. He argues that, even after granting that there are non-well-founded sets, ‘the extensional nature of sets’ precludes numerically distinct Quine atoms. In this paper we uncover important similarities between Rieger’s argument and how non-rigid structures are conceived within mathematical structuralism. This opens the way for an objection against Rieger, whilst affording the theoretical resources for a defence of Boffa set theory as a faithful description of set-theoretic reality.
波法非完备集合论允许几个不同的集合等于各自的单子,即所谓的 "奎因原子"。里格认为,这一理论不能忠实地描述集合论的现实。他认为,即使承认存在非完备集合,"集合的扩展性 "也排除了在数量上截然不同的奎因原子。在本文中,我们揭示了里格的论证与数学结构主义如何构想非刚性结构之间的重要相似之处。这为反对里格的观点开辟了道路,同时也为博法集合论作为集合论现实的忠实描述进行辩护提供了理论资源。
{"title":"Identity and Extensionality in Boffa Set Theory","authors":"Nuno Maia, Matteo Nizzardo","doi":"10.1093/philmat/nkad025","DOIUrl":"https://doi.org/10.1093/philmat/nkad025","url":null,"abstract":"Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called ‘Quine atoms’. Rieger contends that this theory cannot be a faithful description of set-theoretic reality. He argues that, even after granting that there are non-well-founded sets, ‘the extensional nature of sets’ precludes numerically distinct Quine atoms. In this paper we uncover important similarities between Rieger’s argument and how non-rigid structures are conceived within mathematical structuralism. This opens the way for an objection against Rieger, whilst affording the theoretical resources for a defence of Boffa set theory as a faithful description of set-theoretic reality.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139750353","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
期刊
Philosophia Mathematica
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1