Abstract
There is a certain argument against the principle of the indiscernibility of identicals (PInI), or the thesis that whatever is true of a thing is true of anything identical with that thing. In this argument, PInI is used together with the self-evident principle of the necessity of self-identity (“necessarily, a thing is identical with itself”) to reach the conclusion , which is held to be paradoxical and, thus, fatal to PInI (in its universal, unrestricted form). My purpose is to show that the argument in question does not have this consequence. Further, I argue that PInI is a universally valid principle which can be used to prove the necessity of identity (which in fact is how the argument in question is usually employed).
Similar content being viewed by others
Notes
This is how the argument is standardly taken (especially in its Kripkean form), i.e., not as a refutation (by reductio) of PInI but as a validation of the necessity of identity. See, for instance, Maunu (forthcoming).
Much of the material in this paper is familiar from the literature. My motivation for writing this paper is that even some renown philosophers seem to misconceive PInI (thus misleading students by their writings). Furthermore, I have noticed (via personal communication) that some philosophers find it hard to understand that the necessity of identity thesis has nothing to do with rigid designation for it can be expressed by means of definite descriptions (see the end of Sect. 5 below).
For example, Morris (2006, p. 118): “It is a basic law of identity that if a is the same thing as b, whatever is true of a is true of b. That means that if we begin with a truth about an object, in which the object is referred to by one name, we should still have a truth if we refer to the same object by a different name.”
Taylor (1998, pp. 45–46): “It is surely a reasonable principle that if a = b, then whatever property a has, b must have too. This is Leibniz’s principle of the indiscernibility of identicals. But, as soon as one states this seemingly unproblematic principle, there arise apparent counterexamples. ... [Russell’s example ‘George IV wished to know whether Scott was the author of Waverley’ ....] Frege’s approach attempts to preserve the logical sanctity of Leibniz’ law .... Russell too seeks to preserve the logical sanctity of Leibniz’ law ....” (Those who think, as Taylor apparently does, that PInI is in need of some kind of “saving”, must confuse PInI with PS.)
Simons (1998, pp. 678–79): “[PInI] is uncontroversial, but needs careful formulation to exclude non-extensional contexts. For example, in ‘John believes that x defeated Mark Antony’, substituting the names ‘Octavian’ and ‘Augustus’ for x may yield different truth-values ...”.
For example, Plantinga (1974, p. 15): “if x has P essentially, then the same claim must be made for anything identical with x. If 9 is essentially composite, so is Paul’s favourite number, that number being 9. This follows from the principle sometimes called ‘Leibniz’s Law’ or ‘The Indiscernibility of Identicals’:
-
(3)
For any property P and any objects x and y, if x is identical with y, then x has P if and only if y has P.
Like Caesar’s wife Calpurnia, this principle is entirely above reproach. [Footnote:] Apparently Leibniz himself did not clearly distinguish (3) from:
-
(3’)
Singular terms denoting the same object can replace each other in any context salva veritate
a ‘principle’ that does not hold for such excellent examples of language as English.”
-
(3)
However, possibly Jacquette, despite his just-quoted statement, is confused, and is conflating PInI and PS; and he may be talking about logical necessity, understood in such a manner that only PS is relevant. But then his conclusion does not concern PInI but is only that co-referential terms cannot always be interchanged salva veritate, which is hardly news.
This is Jacquette’s “\(\hbox {F}_{5}\)”.
Jacquette may be seen as begging the question against the necessity of identity in his statements such as “the property is intuitively that of being logically necessarily identical to entity a, a property which certainly a has but b does not have, when it is only logically contingently true that \(a = b\)” (Jacquette 2011, p. 108).
Cf. Kripke (1980, p. 3): “If ‘a’ and ‘b’ are rigid designators, it follows that ‘\(a = b\)’, if true, is a necessary truth. If ‘a’ and ‘b’ are not rigid designators, no such conclusion follows about the statement ‘\(a = b\)’ (though the objects designated by ‘a’ and ‘b’ will be necessarily identical).” See also Maunu (forthcoming).
I thank the anonymous referees of Synthese for useful suggestions that improved this paper.
References
Barcan, R. (1947). The identity of individuals in a strict functional calculus of second order. Journal of Symbolic Logic, 12, 12–15.
Cartwright, R. (1971). Identity and substitutivity. In M. K. Munitz (Ed.), Identity and Individuation (pp. 119–133). New York: New York University Press.
Dummett, M. (1973). Frege: Philosophy of language. London: Duckworth.
Geach, P. T. (1963). Quantification theory and the problem of identifying objects of reference. Acta Philosophica Fennica, 16, 41–52.
Haack, S. (1978). Philosophy of logics. Cambridge: Cambridge University Press.
Hintikka, J. (1957). Modality as referential multiplicity. Ajatus, 20, 49–64.
Jacquette, D. (2011). Modal objection to naive Leibnizian identity. History and Philosophy of Logic, 32, 107–118.
Kripke, S. (1971). Identity and necessity. In M. K. Munitz (Ed.), Identity and Individuation (pp. 135–164). New York: New York University Press.
Kripke, S. (1980). Naming and necessity. Cambridge: Harvard University Press.
Marcus, R. B. (1961). Modalities and intensional languages. Synthese, 13, 303–322.
Marcus, R. B. (1986). Possibilia and possible worlds. Grazer Philosophische Studien, 25/26, 107–133.
Maunu, A. (2002). Indiscernibility of identicals and substitutivity in Leibniz. History of Philosophy Quarterly, 19, 367–380.
Maunu, A. (forthcoming). On a misguided argument for the necessity of identity. Journal of Philosophical Research.
Morris, M. (2006). An introduction to the philosophy of language. Cambridge: Cambridge University Press.
Plantinga, A. (1974). The nature of necessity. Oxford: Oxford University Press.
Quine, W. V. O. (1961) [1953]. Reference and modality. In W. V. O. Quine (Ed.), From a logical point of view, second revised edn. (pp. 139–159). Cambridge: Harvard University Press [First ed. 1953].
Quine, W. V. O. (1976) [1953]. Three grades of modal involvement. In W. V. O. Quine (Ed.), The Ways of paradox and other essays, second revised and enlarged ed. (p. 158B176) . Cambridge: Harvard University Press. (First ed. 1966, New York: Random House.) [Original publication in 1953 in Proceedings of the XI International Congress of Philosophy vol 14, pp. 65–81.].
Quine, W. V. O. (1960). Word and object. Cambridge: MIT Press.
Simons, P. (1998). Identity of indiscernibles. In E. Craig (Ed.), Routledge Encyclopedia of Philosophy (Vol. 4). London: Routledge.
Smullyan, A. (1948). Modality and description. Journal of Symbolic Logic, 13, 31–37.
Stalnaker, R. (1977). Complex predicates. Monist, 60, 327–339.
Taylor, K. A. (1998). Truth and meaning: An introduction to the philosophy of language. Oxford: Blackwell.
Thomason, R. H., & Stalnaker, R. (1968). Modality and reference. Noûs, 2, 359–372.
Wiggins, D. (1965). Identity-statements. In R. J. Butler (Ed.), Analytic philosophy: Second series (pp. 40–71). Oxford: Blackwell.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Maunu, A. The principle of the indiscernibility of identicals requires no restrictions. Synthese 196, 239–246 (2019). https://doi.org/10.1007/s11229-017-1468-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-017-1468-y