{"title":"Francesca Boccuni and Andrea Sereni, eds. Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics","authors":"","doi":"10.1093/philmat/nkad001","DOIUrl":"https://doi.org/10.1093/philmat/nkad001","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":" ","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43461025","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}
In their recent article ‘Resolving Frege’s other Puzzle’ Eric Snyder, Richard Samuels, and Stewart Shapiro defend a semantic type-shifting solution to Frege’s other Puzzle and criticize my own cognitive type-shifting solution. In this article I respond to their criticism and in turn point to several problems with their preferred solution. In particular, I argue that they conflate semantic function and semantic value, and that their proposal is neither based on general semantic type-shifting principles nor adequate to the data.
Eric Snyder、Richard Samuels和Stewart Shapiro在他们最近的文章《解决Frege的另一个谜题》中为Frege的其他谜题的语义类型转换解决方案辩护，并批评了我自己的认知类型转换解决方法。在这篇文章中，我回应了他们的批评，并指出了他们首选解决方案的几个问题。特别是，我认为他们将语义功能和语义价值混为一谈，他们的建议既不基于一般的语义类型转换原则，也不适合数据。
{"title":"Refocusing Frege’s Other Puzzle: A Response to Snyder, Samuels, and Shapiro","authors":"Thomas Hofweber","doi":"10.1093/philmat/nkad005","DOIUrl":"https://doi.org/10.1093/philmat/nkad005","url":null,"abstract":"\u0000 In their recent article ‘Resolving Frege’s other Puzzle’ Eric Snyder, Richard Samuels, and Stewart Shapiro defend a semantic type-shifting solution to Frege’s other Puzzle and criticize my own cognitive type-shifting solution. In this article I respond to their criticism and in turn point to several problems with their preferred solution. In particular, I argue that they conflate semantic function and semantic value, and that their proposal is neither based on general semantic type-shifting principles nor adequate to the data.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"1 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41616300","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":"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}
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
期刊文章马修·汉德尔曼。数学想象:论批判理论的起源和前景数学想象:论批判理论的起源和前景。哲学与理论;11. 纽约:福特汉姆大学出版社，2019。256页。ISBN: 978-0-823283835。DOI: https://research.library.fordham.edu/philos/11。Mirna Džamonja Mirna Džamonja信息基础研究所(CNRS和巴黎城市大学)，75205 Paris Cedex 13, France E-mail: mdzamonja@irif.fr https://orcid.org/0000-0002-6771-3975搜索作者的其他作品:牛津学术谷歌学者数学哲学，第31卷，第2期，2023年6月，283-285页，https://doi.org/10.1093/philmat/nkac033出版日期:2023年1月5日
{"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}
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：