The Logical Contingency of Identity

Download Edit this record How to cite View on PhilPapers
I show that intuitive and logical considerations do not justify introducing Leibniz’s Law of the Indiscernibility of Identicals in more than a limited form, as applying to atomic formulas. Once this is accepted, it follows that Leibniz’s Law generalises to all formulas of the first-order Predicate Calculus but not to modal formulas. Among other things, identity turns out to be logically contingent.
Reprint years
PhilPapers/Archive ID
Upload history
First archival date: 2018-03-23
Latest version: 3 (2018-11-10)
View other versions
Added to PP index

Total views
1,351 ( #3,842 of 71,186 )

Recent downloads (6 months)
50 ( #16,197 of 71,186 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.