Modal Objection to Naive Leibnizian Identity

History and Philosophy of Logic 32 (2):107 - 118 (2011)
Abstract
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)
Options
 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: 11,365
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
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 9 references

Citations of this work BETA

No citations found.

Similar books and articles
Kathinka Evers (1999). The Identity of Clones. Journal of Medicine and Philosophy 24 (1):67 – 76.
Dietmar von der Pfordten (2009). Absolute Identity/Unity. Review of Metaphysics 62 (4):803-818.
Analytics

Monthly downloads

Added to index

2011-05-12

Total downloads

20 ( #86,209 of 1,102,740 )

Recent downloads (6 months)

6 ( #46,741 of 1,102,740 )

How can I increase my downloads?

My notes
Sign in to use this feature


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