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
Revision history
First archival date: 2018-03-23
Latest version: 3 (2018-11-10)
View upload history
References found in this work BETA
A New Introduction to Modal Logic.Cresswell, M. J. & Hughes, G. E.
A New Introduction to Modal Logic.Crivelli, Paolo; Williamson, Timothy; Hughes, G. E. & Cresswell, M. J.
A New Introduction to Modal Logic.E. Hughes, G. & Cresswell, M. J.

View all 11 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
872 ( #3,691 of 50,335 )

Recent downloads (6 months)
248 ( #1,448 of 50,335 )

How can I increase my downloads?

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