Identidad de los indiscernibles

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:

  1. Si dos objetos a y b comparten todas sus propiedades, entonces a y b son idénticos, es decir, son el mismo objeto.[1]
  2. Si dos objetos a y b comparten todas sus propiedades cualitativas, entonces a y b son idénticos.[1]
  3. 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)]

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. En lógica de segundo orden, este principio se expresa así:

\forall x \forall y [(x = y) \to \forall P (Px \leftrightarrow Py)]

A veces se llama ley de Leibniz a la conjunción de ambos principios.[3]

Notas y referencias

  1. 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 
  2. a b c d Ted Honderich, ed., «identity of indiscernibles» (en inglés), The Oxford Companion to Philosophy, Oxford University Press 
  3. 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 

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • identidad de los indiscernibles — Principio enunciado por G.W. Leibniz que niega la posibilidad de que dos objetos sean numéricamente distintos si comparten todas sus propiedades no relacionales, donde una propiedad relacional es una que implica establecer una relación con otro… …   Enciclopedia Universal

  • Identidad — puede referirse a: Contenido 1 Nombres de grupos o movimientos políticos o sociales 2 Nombres de obras artísticas o literarias 3 Anatomía y fisiología 4 …   Wikipedia Español

  • Identidad (filosofía) — En filosofía, la identidad es la relación que cada entidad mantiene sólo consigo misma.[1] La identidad propiamente se refiere a la identidad numérica, como distinta de la similitud exacta o identidad cualitativa.[1] Dos entidades son… …   Wikipedia Español

  • identidad — (Del bajo lat. identitas.) ► sustantivo femenino 1 Circunstancia de ser una cosa o persona muy parecida o igual a otra con la que se compara. SINÓNIMO equivalencia igualdad paralelismo semejanza 2 Hecho de ser una persona o cosa la misma que se… …   Enciclopedia Universal

  • Principio de identidad — Saltar a navegación, búsqueda Para la igualdad entre expresiones algebraicas, véase Identidad (álgebra). El principio de identidad es un principio clásico de la lógica y la filosofía, según el cual toda entidad es idéntica a sí misma. Por ejemplo …   Wikipedia Español

  • Gottfried Leibniz — «Leibnitz» redirige aquí. Para el cráter lunar, véase Leibnitz (cráter lunar). Gottfried Leibniz. Gottfried Wilhelm Leibniz, a veces von Leibniz[1] (Leipzig …   Wikipedia Español

  • el — (Del lat. ille, aquél.) ► artículo Indica el género masculino y el número singular de la palabra a la que acompaña. * * * el (del lat. «ille») art. Artículo masculino singular. ⇒ Apénd. II, artículo. ➢ La, los, las. ➢ Del. ⊚ Se emplea también… …   Enciclopedia Universal

  • él — (Del lat. ille, aquél.) ► artículo Indica el género masculino y el número singular de la palabra a la que acompaña. * * * el (del lat. «ille») art. Artículo masculino singular. ⇒ Apénd. II, artículo. ➢ La, los, las. ➢ Del. ⊚ Se emplea también… …   Enciclopedia Universal

  • Lógica de segundo orden — Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.[1] Así se expande el poder expresivo del… …   Wikipedia Español

  • Espacio métrico — Saltar a navegación, búsqueda En matemática, un espacio métrico es un tipo particular de espacio topológico donde una distancia entre puntos está definida. Corresponde al caso muy común en que se dispone de una noción de distancia sobre el… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”