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
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 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-03-23

Total views
546 ( #4,720 of 40,772 )

Recent downloads (6 months)
60 ( #9,135 of 40,772 )

How can I increase my downloads?

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