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
Revision history
First archival date: 2018-03-23
Latest version: 3 (2018-11-10)
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-03-23

Total downloads
493 ( #4,365 of 37,188 )

Recent downloads (6 months)
209 ( #1,331 of 37,188 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.