Arthur Prior's Proofs of the Necessities of Identity and Difference

IF 0.5 3区 哲学 Q3 HISTORY & PHILOSOPHY OF SCIENCE
Nils Kürbis
{"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.
阿瑟·普赖尔对同一性和差异性必然性的证明
本文关注了Arthur Prior对同一性必要性的证明。它的简单性可以与奎因的证明相媲美,奎因的证明由克里普克推广开来,但两者略有不同。普赖尔的波兰语表示法被翻译成更熟悉的习语。在普赖尔的证明之后,接着是对差异的必然性的证明,这可能是文献中第一个这样的证明,这里也重复了一遍,并抄录了下来。本文最后简要讨论了普赖尔对同一性和差异性的看法。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
History and Philosophy of Logic
History and Philosophy of Logic 综合性期刊-科学史与科学哲学
CiteScore
0.80
自引率
0.00%
发文量
24
审稿时长
>12 weeks
期刊介绍: 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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信