Identidad de los indiscernibles
Se llama identidad de los indiscernibles, o a veces también ley de Leibniz, a una variedad de principios filosóficos,[1] principalmente:
- Si dos objetos a y b comparten todas sus propiedades, entonces a y b son idénticos, es decir, son el mismo objeto.[1]
- Si dos objetos a y b comparten todas sus propiedades cualitativas, entonces a y b son idénticos.[1]
- Si dos objetos a y b comparten todas sus propiedades cualitativas no relacionales, entonces a y b son idénticos.[1]
Intuitivamente, una propiedad cualitativa es una propiedad intrínseca a los objetos,[2] que puede ser instanciada por más de un objeto y que no involucra una relación con ningún otro objeto particular.[1] Por ejemplo, la propiedad de ser blanco. Sin embargo, no toda propiedad cualitativa es no relacional, porque algunas propiedades relacionales no implican una relación con un objeto particular.[1] Por ejemplo, la propiedad de estar sobre una mesa cualquiera.
El primero de estos principios es trivialmente verdadero y necesario.[1] [2] Dado el principio de identidad, se sabe que el objeto b tiene la propiedad de ser idéntico a sí mismo, es decir a b. Luego, si suponemos que a y b comparten todas sus propiedades, entonces a también tendrá la propiedad de ser idéntico a b, que es lo que se quería demostrar.[2]
El segundo y el tercer principio ya son menos triviales, y existe un debate sobre si son principios verdaderos y si son necesariamente verdaderos.[1] [2]
Usualmente se restringe el alcance del principio de identidad de los indiscernibles a los objetos concretos.[1]
El principio de identidad de los indiscernibles puede formularse en la lógica de segundo orden,[3] así:
![\forall x \forall y [ \forall P (Px \leftrightarrow Py) \to (x = y)]](http://upload.wikimedia.org/math/d/9/d/d9d8f1bdfcfcecdd1a6b3207fc74b403.png)
[editar] Indiscernibilidad de los idénticos
La versión conversa del principio de identidad de los indiscernibles es el principio de indiscernibilidad de los idénticos, el cual dice que si x e y son la misma entidad, entonces tienen exactamente las mismas propiedades. En lógica de segundo orden, este principio se expresa así:
![\forall x \forall y [(x = y) \to \forall P (Px \leftrightarrow Py)]](http://upload.wikimedia.org/math/b/2/e/b2e2d9aa38087bd177394c0c94066be8.png)
A veces se llama ley de Leibniz a la conjunción de ambos principios.[3]
[editar] Notas y referencias
- ↑ a b c d e f g h i Robert Audi, ed., «identity of indiscernibles» (en inglés), The Cambridge Dictionary of Philosophy (2nd Edition edición), Cambrige University Press
- ↑ a b c d Ted Honderich, ed., «identity of indiscernibles» (en inglés), The Oxford Companion to Philosophy, Oxford University Press
- ↑ a b Forrest, Peter, «The Identity of Indiscernibles», en Edward N. Zalta (en inglés), The Stanford Encyclopedia of Philosophy (Summer 2009 Edition edición), http://plato.stanford.edu/archives/sum2009/entries/identity-indiscernible/, consultado el 4 de noviembre de 2009
