Pub Date : 2021-09-14DOI: 10.1201/9781003223191-17
A. Cevik
{"title":"Does Mathematics Need More Axioms?","authors":"A. Cevik","doi":"10.1201/9781003223191-17","DOIUrl":"https://doi.org/10.1201/9781003223191-17","url":null,"abstract":"","PeriodicalId":119865,"journal":{"name":"Philosophy of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130858896","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-09-14DOI: 10.1201/9781003223191-11
A. Cevik
{"title":"Models, Completeness, and Skolem's Paradox","authors":"A. Cevik","doi":"10.1201/9781003223191-11","DOIUrl":"https://doi.org/10.1201/9781003223191-11","url":null,"abstract":"","PeriodicalId":119865,"journal":{"name":"Philosophy of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121374549","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-09-14DOI: 10.1201/9781003223191-12
A. Cevik
{"title":"Axiom of Choice","authors":"A. Cevik","doi":"10.1201/9781003223191-12","DOIUrl":"https://doi.org/10.1201/9781003223191-12","url":null,"abstract":"","PeriodicalId":119865,"journal":{"name":"Philosophy of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114245024","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Logicism","authors":"A. Cevik","doi":"10.1201/9781003223191-5","DOIUrl":"https://doi.org/10.1201/9781003223191-5","url":null,"abstract":"","PeriodicalId":119865,"journal":{"name":"Philosophy of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126121451","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
$mdtrique’cdots Further$, when the catchword ‘the salvation of mathematics’ has lost its profound meaning and the theory of consistency has been defined as one pertaining to the formal system, that is, a problem in metamathematics, metamathematics has been liberated from the shackles of the ‘finitary’ standpoint, and thus given a varied choice of standpoints. In this way, researches in the foundations of mathematics which have hitherto been very much diversified have come to fall into the following ,two categories; suggestions of formal systems and metamathematics conceming them”.1) This view is probably shared by most specialists today. In so far as the foundations of mathematics is regarded as a branch of mathematics, such a change in it as is described in the above quotation comes only natural from a process of narrow screening of its objects and methods. Philosophical thinking is placed out of account here. This point of view gives rise to statements like the following. “The presentday problems of the foundations of mathematics, as we see, are investigated mainly in the framework of logico-mathematical technique.–The philosophical disputation conceming the standpoint from which the logico-mathematical constructions are employed, has, therefore, been usually disregarded.–From this point of view, which may be taken for granted by almost every mathematician,
{"title":"Formalism","authors":"K. Kunugi, Sakiomi Nakazima","doi":"10.2307/j.ctv125jmzr.8","DOIUrl":"https://doi.org/10.2307/j.ctv125jmzr.8","url":null,"abstract":"$mdtrique’cdots Further$, when the catchword ‘the salvation of mathematics’ has lost its profound meaning and the theory of consistency has been defined as one pertaining to the formal system, that is, a problem in metamathematics, metamathematics has been liberated from the shackles of the ‘finitary’ standpoint, and thus given a varied choice of standpoints. In this way, researches in the foundations of mathematics which have hitherto been very much diversified have come to fall into the following ,two categories; suggestions of formal systems and metamathematics conceming them”.1) This view is probably shared by most specialists today. In so far as the foundations of mathematics is regarded as a branch of mathematics, such a change in it as is described in the above quotation comes only natural from a process of narrow screening of its objects and methods. Philosophical thinking is placed out of account here. This point of view gives rise to statements like the following. “The presentday problems of the foundations of mathematics, as we see, are investigated mainly in the framework of logico-mathematical technique.–The philosophical disputation conceming the standpoint from which the logico-mathematical constructions are employed, has, therefore, been usually disregarded.–From this point of view, which may be taken for granted by almost every mathematician,","PeriodicalId":119865,"journal":{"name":"Philosophy of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126543002","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-09-14DOI: 10.1201/9781003223191-14
A. Cevik
{"title":"Structuralism","authors":"A. Cevik","doi":"10.1201/9781003223191-14","DOIUrl":"https://doi.org/10.1201/9781003223191-14","url":null,"abstract":"","PeriodicalId":119865,"journal":{"name":"Philosophy of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130081659","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：