The Logical Contingency of Identity

Download Edit this record How to cite View on PhilPapers
Abstract
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
2018
ISBN(s)
PhilPapers/Archive ID
BENTLC-2
Upload history
First archival date: 2018-03-23
Latest version: 3 (2018-11-10)
View other versions
Added to PP index
2018-03-23

Total views
1,240 ( #2,931 of 58,296 )

Recent downloads (6 months)
232 ( #1,932 of 58,296 )

How can I increase my downloads?

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