Modal Objection to Naive Leibnizian Identity

History and Philosophy of Logic 32 (2):107 - 118 (2011)
This essay examines an argument of perennial importance against naive Leibnizian absolute identity theory, originating with Ruth Barcan in 1947 (Barcan, R. 1947. ?The identity of individuals in a strict functional 3 calculus of second order?, Journal of Symbolic Logic, 12, 12?15), and developed by Arthur Prior in 1962 (Prior, A.N. 1962. Formal Logic. Oxford: The Clarendon Press), presented here in the form offered by Nicholas Griffin in his 1977 book, Relative Identity (Griffin, N. 1977. Relative Identity. Oxford: The Clarendon Press). The objection considers the property of being necessarily identical to a specific object a as a counterexample to Leibnizian identity conditions, and more particularly to the indiscernibility of identicals, when it is only contingently true that a=b. The inquiry eliminates necessity and reference to a specifically designated object as responsible for the counterexample, leaving only identity. The requirements for an exact reinterpretation of Leibniz's Law in light of counterexamples involving converse intentional properties and the family of properties suggested by the property of being necessarily identical to a where a=b (or an equivalent definite descriptor variation) is only logically contingently true, are formalized in a more powerful, counterexample-resistant version of Leibniz's Law that does not succumb to relative identity as a necessary alternative motivated by desperation over the failure of the absolute identity principle
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445340.2010.524492
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 15,865
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Saul Kripke (2010). Naming and Necessity. In Darragh Byrne & Max Kölbel (eds.), Philosophy. Routledge 431-433.
H. P. Barendregt (1984). The Lambda Calculus: Its Syntax and Semantics. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..

View all 13 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Kathinka Evers (1999). The Identity of Clones. Journal of Medicine and Philosophy 24 (1):67 – 76.
Chang Seong Hong (1998). Natural Kinds and the Identity of Property. Teorema: International Journal of Philosophy 17 (1):89-98.
Dietmar von der Pfordten (2009). Absolute Identity/Unity. Review of Metaphysics 62 (4):803-818.

Monthly downloads

Added to index


Total downloads

23 ( #126,250 of 1,724,882 )

Recent downloads (6 months)

2 ( #268,588 of 1,724,882 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.