The mathematician G.F.C. Griss is known for his program of negationless intuitionistic mathematics. Although Griss's rejection of negation is regarded as characteristic of his philosophy, this is a consequence of an executability requirement that mental constructions presuppose agents’ executing corresponding mental activity. Restoring Griss's executability requirement to a central role permits a more subtle characterization of the rejection of negation, according to which D. Nelson's strong constructible negation is compatible with Griss's principles. This exposes a ‘holographic’ theory of negation in negationless mathematics, in which a full theory of negation is ‘flattened’ in a putatively negationless setting.
{"title":"Negation in Negationless Intuitionistic Mathematics","authors":"Thomas Macaulay Ferguson","doi":"10.1093/philmat/nkac026","DOIUrl":"10.1093/philmat/nkac026","url":null,"abstract":"The mathematician G.F.C. Griss is known for his program of negationless intuitionistic mathematics. Although Griss's rejection of negation is regarded as characteristic of his philosophy, this is a consequence of an executability requirement that mental constructions presuppose agents’ executing corresponding mental activity. Restoring Griss's executability requirement to a central role permits a more subtle characterization of the rejection of negation, according to which D. Nelson's strong constructible negation is compatible with Griss's principles. This exposes a ‘holographic’ theory of negation in negationless mathematics, in which a full theory of negation is ‘flattened’ in a putatively negationless setting.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"29-55"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47393855","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":"Andrew Arana and Marco Panza, eds. Précis de philosophie de la logique et des mathématiques. Vol. 2. Philosophie des mathématiques","authors":"","doi":"10.1093/philmat/nkac031","DOIUrl":"10.1093/philmat/nkac031","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"146-146"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42268848","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":"Jan von Plato. Can Mathematics be Proved Consistent?","authors":"John W Dawson","doi":"10.1093/philmat/nkac014","DOIUrl":"10.1093/philmat/nkac014","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"31 1","pages":"104-111"},"PeriodicalIF":1.1,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46172108","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":"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":"31 1","pages":"112-119"},"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":"31 1","pages":"125-131"},"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":"31 1","pages":"120-124"},"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":"31 1","pages":"1-28"},"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":"31 1","pages":"56-80"},"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：