{"title":"增强If-thenism","authors":"P. Maddy","doi":"10.1093/oso/9780197508855.003.0012","DOIUrl":null,"url":null,"abstract":"This essay attempts to revive if-thenism (or deductivism), the view that contemporary pure mathematics is the study of what follows from what. Historical antecedents are traced in Russell and Putnam, some traditional objections dispatched, and an account of applications different from Putnam’s deployed to undercut the indispensability arguments. The central challenge is that mathematics is not indifferent to what goes in the ‘if’ part of the if-then; this is where Simple If-thenism is enhanced to include an account of the rationality of one choice over another. The connection between the ‘if’ and the ‘then’ is accounted for in terms of the second-philosophical view of logic in Essays ##8 and 9, and arithmetic is treated as in Essays ##9 and 10. The final section deals with matters of meta-mathematics, especially Gödel’s second incompleteness theorem.","PeriodicalId":243091,"journal":{"name":"A Plea for Natural Philosophy","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Enhanced If-thenism\",\"authors\":\"P. Maddy\",\"doi\":\"10.1093/oso/9780197508855.003.0012\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This essay attempts to revive if-thenism (or deductivism), the view that contemporary pure mathematics is the study of what follows from what. Historical antecedents are traced in Russell and Putnam, some traditional objections dispatched, and an account of applications different from Putnam’s deployed to undercut the indispensability arguments. The central challenge is that mathematics is not indifferent to what goes in the ‘if’ part of the if-then; this is where Simple If-thenism is enhanced to include an account of the rationality of one choice over another. The connection between the ‘if’ and the ‘then’ is accounted for in terms of the second-philosophical view of logic in Essays ##8 and 9, and arithmetic is treated as in Essays ##9 and 10. The final section deals with matters of meta-mathematics, especially Gödel’s second incompleteness theorem.\",\"PeriodicalId\":243091,\"journal\":{\"name\":\"A Plea for Natural Philosophy\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-02-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"A Plea for Natural Philosophy\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1093/oso/9780197508855.003.0012\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"A Plea for Natural Philosophy","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1093/oso/9780197508855.003.0012","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This essay attempts to revive if-thenism (or deductivism), the view that contemporary pure mathematics is the study of what follows from what. Historical antecedents are traced in Russell and Putnam, some traditional objections dispatched, and an account of applications different from Putnam’s deployed to undercut the indispensability arguments. The central challenge is that mathematics is not indifferent to what goes in the ‘if’ part of the if-then; this is where Simple If-thenism is enhanced to include an account of the rationality of one choice over another. The connection between the ‘if’ and the ‘then’ is accounted for in terms of the second-philosophical view of logic in Essays ##8 and 9, and arithmetic is treated as in Essays ##9 and 10. The final section deals with matters of meta-mathematics, especially Gödel’s second incompleteness theorem.