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

IF 0.5 3区哲学 Q3 HISTORY & PHILOSOPHY OF SCIENCE

History and Philosophy of Logic Pub Date : 2023-08-11 DOI:10.1080/01445340.2023.2237758

Nils Kürbis

引用次数: 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 ﬀ erent. Prior’s Polish notation is transcribed into more familiar idiom. Prior’s proof is followed by a proof of the necessity of di ﬀ erence, possibly the ﬁrst 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 ﬀ erence over time.

查看原文本刊更多论文

阿瑟·普赖尔对同一性和差异性必然性的证明

本文关注了Arthur Prior对同一性必要性的证明。它的简单性可以与奎因的证明相媲美，奎因的证明由克里普克推广开来，但两者略有不同。普赖尔的波兰语表示法被翻译成更熟悉的习语。在普赖尔的证明之后，接着是对差异的必然性的证明，这可能是文献中第一个这样的证明，这里也重复了一遍，并抄录了下来。本文最后简要讨论了普赖尔对同一性和差异性的看法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

History and Philosophy of Logic 综合性期刊-科学史与科学哲学

CiteScore

0.80

自引率

0.00%

发文量

审稿时长

>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.