{"title":"Maria Hämeen-Anttila and Jan von Plato, eds, Kurt Gödel: The Princeton Lectures on Intuitionism","authors":"Ulrich Kohlenbach","doi":"10.1093/philmat/nkac024","DOIUrl":"https://doi.org/10.1093/philmat/nkac024","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68133731","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":"Jens Erik Fenstad. Structures and Algorithms: Mathematics and the Nature of Knowledge","authors":"Julian C Cole","doi":"10.1093/philmat/nkac025","DOIUrl":"https://doi.org/10.1093/philmat/nkac025","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68133729","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":"Joan Weiner. Taking Frege at His Word","authors":"Roy T Cook","doi":"10.1093/philmat/nkac023","DOIUrl":"https://doi.org/10.1093/philmat/nkac023","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68133730","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}
A key question of the ‘maverick’ tradition of the philosophy of mathematical practice is addressed, namely what is mathematical progress. The investigation is based on an article by Penelope Maddy devoted to this topic in which she considers only contributions ‘of some mathematical importance’ as progress. With the help of a case study from contemporary mathematics, more precisely from tropical geometry, a few issues with her proposal are identified. Taking these issues into consideration, an alternative account of ‘mathematical importance’, broadly within the framework of progress Maddy offers, is developed with a special focus on mathematicians’ peer-review practice.
{"title":"Mathematical Progress — On Maddy and Beyond","authors":"Simon Weisgerber","doi":"10.1093/philmat/nkac019","DOIUrl":"10.1093/philmat/nkac019","url":null,"abstract":"A key question of the ‘maverick’ tradition of the philosophy of mathematical practice is addressed, namely what is mathematical progress. The investigation is based on an article by Penelope Maddy devoted to this topic in which she considers only contributions ‘of some mathematical importance’ as progress. With the help of a case study from contemporary mathematics, more precisely from tropical geometry, a few issues with her proposal are identified. Taking these issues into consideration, an alternative account of ‘mathematical importance’, broadly within the framework of progress Maddy offers, is developed with a special focus on mathematicians’ peer-review practice.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/iel7/8016814/10056759/10056762.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48471608","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
I use my reading of Plato to develop what I call as-ifism, the view that, in mathematics, we treat our hypotheses as if they were first principles and we do this with the purpose of solving mathematical problems. I then extend this view to modern mathematics showing that when we shift our focus from the method of philosophy to the method of mathematics, we see that an as-if methodological interpretation of mathematical structuralism can be used to provide an account of the practice and the applicability of mathematics while avoiding the conflation of metaphysical considerations with mathematical ones.
{"title":"Mathematics: Method Without Metaphysics","authors":"Elaine Landry","doi":"10.1093/philmat/nkac027","DOIUrl":"https://doi.org/10.1093/philmat/nkac027","url":null,"abstract":"I use my reading of Plato to develop what I call as-ifism, the view that, in mathematics, we treat our hypotheses as if they were first principles and we do this with the purpose of solving mathematical problems. I then extend this view to modern mathematics showing that when we shift our focus from the method of philosophy to the method of mathematics, we see that an as-if methodological interpretation of mathematical structuralism can be used to provide an account of the practice and the applicability of mathematics while avoiding the conflation of metaphysical considerations with mathematical ones.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68133644","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 this paper, we offer a descriptive theory of analogical reasoning in mathematics, stating general conditions under which an analogy may provide genuine inductive support to a mathematical conjecture (over and above fulfilling the merely heuristic role of ‘suggesting’ a conjecture in the psychological sense). The proposed conditions generalize the criteria of Hesse in her influential work on analogical reasoning in the empirical sciences. By reference to several case studies, we argue that the account proposed in this paper does a better job in vindicating the use of analogical inference in mathematics than the prominent alternative defended by Bartha.
{"title":"Reasoning by Analogy in Mathematical Practice","authors":"N. Cangiotti, F. Nappo","doi":"10.1093/philmat/nkad003","DOIUrl":"https://doi.org/10.1093/philmat/nkad003","url":null,"abstract":"\u0000 In this paper, we offer a descriptive theory of analogical reasoning in mathematics, stating general conditions under which an analogy may provide genuine inductive support to a mathematical conjecture (over and above fulfilling the merely heuristic role of ‘suggesting’ a conjecture in the psychological sense). The proposed conditions generalize the criteria of Hesse in her influential work on analogical reasoning in the empirical sciences. By reference to several case studies, we argue that the account proposed in this paper does a better job in vindicating the use of analogical inference in mathematics than the prominent alternative defended by Bartha.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2022-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42220392","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}