{"title":"Sharon Berry. A Logical Foundation for Potentialist Set Theory","authors":"Chris Scambler","doi":"10.1093/philmat/nkad004","DOIUrl":"https://doi.org/10.1093/philmat/nkad004","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44665871","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":"Matthew Handelman.<i>The Mathematical Imagination: On the Origins and Promise of Critical Theory</i>","authors":"Mirna Džamonja","doi":"10.1093/philmat/nkac033","DOIUrl":"https://doi.org/10.1093/philmat/nkac033","url":null,"abstract":"Journal Article Matthew Handelman.The Mathematical Imagination: On the Origins and Promise of Critical Theory Get access Matthew Handelman.*The Mathematical Imagination: On the Origins and Promise of Critical Theory. Philosophy & Theory; 11. New York: Fordham University Press, 2019. Pp. 256. ISBN: 978-0-823283835. DOI: https://research.library.fordham.edu/philos/11. Mirna Džamonja Mirna Džamonja Institut de Recherche en Informatique Fondamentale (CNRS and Université de Paris Cité), 75205 Paris Cedex 13, France E-mail: mdzamonja@irif.fr https://orcid.org/0000-0002-6771-3975 Search for other works by this author on: Oxford Academic Google Scholar Philosophia Mathematica, Volume 31, Issue 2, June 2023, Pages 283–285, https://doi.org/10.1093/philmat/nkac033 Published: 05 January 2023","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"191 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135405874","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":"Mirja HartimoHusserl and Mathematics","authors":"Jairo José da Silva","doi":"10.1093/philmat/nkac020","DOIUrl":"https://doi.org/10.1093/philmat/nkac020","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"1 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2022-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41460284","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":"Penelope Rush.Ontology and the Foundations of Mathematics: Talking Past Each Other.","authors":"G. Hellman","doi":"10.1093/philmat/nkac018","DOIUrl":"https://doi.org/10.1093/philmat/nkac018","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2022-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45968641","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 Role of Imagination and Anticipation in the Acceptance of Computability Proofs: A Challenge to the Standard Account of Rigor","authors":"Keith Weber","doi":"10.1093/philmat/nkac015","DOIUrl":"https://doi.org/10.1093/philmat/nkac015","url":null,"abstract":"\u0000 In a 2022 paper, Hamami claimed that the orthodox view in mathematics is that a proof is rigorous if it can be translated into a derivation. Hamami then developed a descriptive account that explains how mathematicians check proofs for rigor in this sense and how they develop the capacity to do so. By exploring introductory texts in computability theory, we demonstrate that Hamami’s descriptive account does not accord with actual mathematical practice with respect to computability theory. We argue instead for an alternative account in which imagination, anticipation, and interpretations of natural language play roles in establishing mathematical rigor.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2022-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44476200","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":"Thomas Macaulay Ferguson and Graham Priest, eds. Robert Meyer and Relevant Arithmetic","authors":"","doi":"10.1093/philmat/nkac017","DOIUrl":"https://doi.org/10.1093/philmat/nkac017","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2022-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43105150","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":"Gödel’s Disjunctive Argument","authors":"Wesley Wrigley","doi":"10.1093/philmat/nkac013","DOIUrl":"https://doi.org/10.1093/philmat/nkac013","url":null,"abstract":"\u0000 Gödel argued that the incompleteness theorems entail that the mind is not a machine, or that certain arithmetical propositions are absolutely undecidable. His view was that the mind is not a machine, and that no arithmetical propositions are absolutely undecidable. I argue that his position presupposes that the idealized mathematician has an ability which I call the recursive-ordinal recognition ability. I show that we have this ability if, and only if, there are no absolutely undecidable arithmetical propositions. I argue that there are such propositions, but that no recognizable example of one can be identified, even in principle.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48118638","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":"Frederick Kroon, Jonathan McKeown-Green, and Stuart Brock. A Critical Introduction to Fictionalism","authors":"M. Leng","doi":"10.1093/philmat/nkac012","DOIUrl":"https://doi.org/10.1093/philmat/nkac012","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2022-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45409091","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":"Salvatore Florio and Øystein Linnebo. The Many and the One. A Philosophical Study of Plural Logic","authors":"F. Boccuni","doi":"10.1093/philmat/nkac009","DOIUrl":"https://doi.org/10.1093/philmat/nkac009","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2022-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49451448","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}