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}
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.
{"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}
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}
{"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}
{"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}
{"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}
{"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}
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}