{"title":"Alexander Miller, ed. Logic, Language, and Mathematics: Themes from the Philosophy of Crispin Wright","authors":"","doi":"10.1093/philmat/nkab007","DOIUrl":"https://doi.org/10.1093/philmat/nkab007","url":null,"abstract":"","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"29 3","pages":"419-419"},"PeriodicalIF":1.1,"publicationDate":"2021-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70607939","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}
Domain extension in mathematics occurs whenever a given mathematical domain is augmented so as to include new elements. Manders argues that the advantages of important cases of domain extension are captured by the model-theoretic notions of existential closure and model completion. In the specific case of domain extension via ideal elements, I argue, Manders's proposed explanation does not suffice. I then develop and formalize a different approach to domain extension based on Dedekind's Habilitationsrede, to which Manders's account is compared. I conclude with an examination of three possible stances towards extensions via ideal elements.
{"title":"Domain Extension and Ideal Elements in Mathematics","authors":"Anna Bellomo","doi":"10.1093/philmat/nkab018","DOIUrl":"https://doi.org/10.1093/philmat/nkab018","url":null,"abstract":"Domain extension in mathematics occurs whenever a given mathematical domain is augmented so as to include new elements. Manders argues that the advantages of important cases of domain extension are captured by the model-theoretic notions of existential closure and model completion. In the specific case of domain extension via ideal elements, I argue, Manders's proposed explanation does not suffice. I then develop and formalize a different approach to domain extension based on Dedekind's Habilitationsrede, to which Manders's account is compared. I conclude with an examination of three possible stances towards extensions via ideal elements.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"29 3","pages":"366-391"},"PeriodicalIF":1.1,"publicationDate":"2021-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/iel7/8016814/9623708/09623712.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70607954","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}
There is no prospect of discovering measurable cardinals by radio astronomy, but this does not mean that higher set theory is entirely irrelevant to applied mathematics broadly construed. By way of example, the bearing of some celebrated descriptive-set-theoretic consequences of large cardinals on measurable-selection theory, a body of results originating with a key lemma in von Neumann's work on the mathematical foundations of quantum theory, and further developed in connection with problems of mathematical economics, will be considered from a philosophical point of view.
{"title":"Measurable Selections: A Bridge Between Large Cardinals and Scientific Applications?","authors":"John P Burgess","doi":"10.1093/philmat/nkab016","DOIUrl":"https://doi.org/10.1093/philmat/nkab016","url":null,"abstract":"There is no prospect of discovering measurable cardinals by radio astronomy, but this does not mean that higher set theory is entirely irrelevant to applied mathematics broadly construed. By way of example, the bearing of some celebrated descriptive-set-theoretic consequences of large cardinals on measurable-selection theory, a body of results originating with a key lemma in von Neumann's work on the mathematical foundations of quantum theory, and further developed in connection with problems of mathematical economics, will be considered from a philosophical point of view.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"29 3","pages":"353-365"},"PeriodicalIF":1.1,"publicationDate":"2021-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70607972","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}
It is currently fashionable to take Putnamian model-theoretic worries seriously for mathematics, but not for discussions of ordinary physical objects and the sciences. However, I will argue that (under certain mild assumptions) merely securing determinate reference to physical possibility suffices to rule out the kind of nonstandard interpretations of our number talk Putnam invokes. So, anyone who accepts determinate reference to physical possibility should not reject determinate reference to the natural numbers on Putnamian model-theoretic grounds.
{"title":"Physical Possibility and Determinate Number Theory","authors":"Sharon Berry","doi":"10.1093/philmat/nkab013","DOIUrl":"https://doi.org/10.1093/philmat/nkab013","url":null,"abstract":"It is currently fashionable to take Putnamian model-theoretic worries seriously for mathematics, but not for discussions of ordinary physical objects and the sciences. However, I will argue that (under certain mild assumptions) merely securing determinate reference to physical possibility suffices to rule out the kind of nonstandard interpretations of our number talk Putnam invokes. So, anyone who accepts determinate reference to physical possibility should not reject determinate reference to the natural numbers on Putnamian model-theoretic grounds.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"29 3","pages":"299-317"},"PeriodicalIF":1.1,"publicationDate":"2021-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70607961","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}
I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects.
{"title":"Objectivity in Mathematics, Without Mathematical Objects","authors":"Markus Pantsar","doi":"10.1093/philmat/nkab010","DOIUrl":"https://doi.org/10.1093/philmat/nkab010","url":null,"abstract":"I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"29 3","pages":"318-352"},"PeriodicalIF":1.1,"publicationDate":"2021-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1093/philmat/nkab010","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70607962","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}
We shall defend three philosophical theses about the extent of intrinsic justification based on various technical results. We shall present a set of theorems which indicate intriguing structural similarities between a family of “weak” reflection principles roughly at the level of those considered by Tait and Koellner and a family of “strong” reflection principles roughly at the level of those of Welch and Roberts, which we claim to lend support to the view that the stronger reflection principles are intrinsically justified as well as the weaker ones. We consider connections with earlier work of Marshall.
{"title":"Intrinsic Justifications for Large-Cardinal Axioms","authors":"Rupert McCallum","doi":"10.1093/philmat/nkaa038","DOIUrl":"https://doi.org/10.1093/philmat/nkaa038","url":null,"abstract":"We shall defend three philosophical theses about the extent of intrinsic justification based on various technical results. We shall present a set of theorems which indicate intriguing structural similarities between a family of “weak” reflection principles roughly at the level of those considered by Tait and Koellner and a family of “strong” reflection principles roughly at the level of those of Welch and Roberts, which we claim to lend support to the view that the stronger reflection principles are intrinsically justified as well as the weaker ones. We consider connections with earlier work of Marshall.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"29 1","pages":"195-213"},"PeriodicalIF":1.1,"publicationDate":"2021-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1093/philmat/nkaa038","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68176532","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
扫码关注我们
求助内容：
应助结果提醒方式：