{"title":"Arthur Prior's Proofs of the Necessities of Identity and Difference","authors":"Nils Kürbis","doi":"10.1080/01445340.2023.2237758","DOIUrl":null,"url":null,"abstract":"This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity it is comparable to a proof of Quine’s, popularised by Kripke, but it is slightly di ff erent. Prior’s Polish notation is transcribed into more familiar idiom. Prior’s proof is followed by a proof of the necessity of di ff erence, possibly the first such proof in the literature, which is also repeated here and transcribed. The paper concludes with a brief discussion of Prior’s views on identity and di ff erence over time.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":" ","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2023-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"History and Philosophy of Logic","FirstCategoryId":"98","ListUrlMain":"https://doi.org/10.1080/01445340.2023.2237758","RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"HISTORY & PHILOSOPHY OF SCIENCE","Score":null,"Total":0}
引用次数: 0
Abstract
This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity it is comparable to a proof of Quine’s, popularised by Kripke, but it is slightly di ff erent. Prior’s Polish notation is transcribed into more familiar idiom. Prior’s proof is followed by a proof of the necessity of di ff erence, possibly the first such proof in the literature, which is also repeated here and transcribed. The paper concludes with a brief discussion of Prior’s views on identity and di ff erence over time.
期刊介绍:
History and Philosophy of Logic contains articles, notes and book reviews dealing with the history and philosophy of logic. ’Logic’ is understood to be any volume of knowledge which was regarded as logic at the time in question. ’History’ refers back to ancient times and also to work in this century; however, the Editor will not accept articles, including review articles, on very recent work on a topic. ’Philosophy’ refers to broad and general questions: specialist articles which are now classed as ’philosophical logic’ will not be published.
The Editor will consider articles on the relationship between logic and other branches of knowledge, but the component of logic must be substantial. Topics with no temporal specification are to be interpreted both historically and philosophically. Each topic includes its own metalogic where appropriate.