En filosofía se llama identidad de los indiscernibles, o a veces también ley de Leibniz,​ a una variedad de principios ontológicos,​ a saber: 1. * Si dos objetos a y b comparten todas sus propiedades, entonces a y b son idénticos, en referencia, son el mismo objeto.​ 2. * Si dos objetos a y b comparten todas sus propiedades cualitativas, entonces a y b son idénticos.​ 3. * Si dos objetos a y b comparten todas sus propiedades cualitativas no relacionales, entonces a y b son idénticos.​ El principio de identidad de los indiscernibles puede formularse en la lógica de segundo orden,​ así:

Property Value
dbo:abstract
  • En filosofía se llama identidad de los indiscernibles, o a veces también ley de Leibniz,​ a una variedad de principios ontológicos,​ a saber: 1. * Si dos objetos a y b comparten todas sus propiedades, entonces a y b son idénticos, en referencia, son el mismo objeto.​ 2. * Si dos objetos a y b comparten todas sus propiedades cualitativas, entonces a y b son idénticos.​ 3. * Si dos objetos a y b comparten todas sus propiedades cualitativas no relacionales, entonces a y b son idénticos.​ Intuitivamente, una propiedad cualitativa es una propiedad intrínseca a los objetos,​ que puede ser instanciada por más de un objeto y que no involucra una relación con ningún otro objeto particular.​ 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.​ Por ejemplo, la propiedad de estar sobre una mesa cualquiera. El primero de estos principios es trivialmente verdadero y necesario.​​ 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.​ El segundo y el tercer principio ya son menos triviales, y existe un debate sobre si son principios verdaderos y si son necesariamente verdaderos.​​ Usualmente se restringe el alcance del principio de identidad de los indiscernibles a los objetos concretos.​ El principio de identidad de los indiscernibles puede formularse en la lógica de segundo orden,​ así: (es)
  • En filosofía se llama identidad de los indiscernibles, o a veces también ley de Leibniz,​ a una variedad de principios ontológicos,​ a saber: 1. * Si dos objetos a y b comparten todas sus propiedades, entonces a y b son idénticos, en referencia, son el mismo objeto.​ 2. * Si dos objetos a y b comparten todas sus propiedades cualitativas, entonces a y b son idénticos.​ 3. * Si dos objetos a y b comparten todas sus propiedades cualitativas no relacionales, entonces a y b son idénticos.​ Intuitivamente, una propiedad cualitativa es una propiedad intrínseca a los objetos,​ que puede ser instanciada por más de un objeto y que no involucra una relación con ningún otro objeto particular.​ 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.​ Por ejemplo, la propiedad de estar sobre una mesa cualquiera. El primero de estos principios es trivialmente verdadero y necesario.​​ 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.​ El segundo y el tercer principio ya son menos triviales, y existe un debate sobre si son principios verdaderos y si son necesariamente verdaderos.​​ Usualmente se restringe el alcance del principio de identidad de los indiscernibles a los objetos concretos.​ El principio de identidad de los indiscernibles puede formularse en la lógica de segundo orden,​ así: (es)
dbo:wikiPageID
  • 3044679 (xsd:integer)
dbo:wikiPageLength
  • 3741 (xsd:integer)
dbo:wikiPageRevisionID
  • 117575217 (xsd:integer)
dct:subject
rdfs:comment
  • En filosofía se llama identidad de los indiscernibles, o a veces también ley de Leibniz,​ a una variedad de principios ontológicos,​ a saber: 1. * Si dos objetos a y b comparten todas sus propiedades, entonces a y b son idénticos, en referencia, son el mismo objeto.​ 2. * Si dos objetos a y b comparten todas sus propiedades cualitativas, entonces a y b son idénticos.​ 3. * Si dos objetos a y b comparten todas sus propiedades cualitativas no relacionales, entonces a y b son idénticos.​ El principio de identidad de los indiscernibles puede formularse en la lógica de segundo orden,​ así: (es)
  • En filosofía se llama identidad de los indiscernibles, o a veces también ley de Leibniz,​ a una variedad de principios ontológicos,​ a saber: 1. * Si dos objetos a y b comparten todas sus propiedades, entonces a y b son idénticos, en referencia, son el mismo objeto.​ 2. * Si dos objetos a y b comparten todas sus propiedades cualitativas, entonces a y b son idénticos.​ 3. * Si dos objetos a y b comparten todas sus propiedades cualitativas no relacionales, entonces a y b son idénticos.​ El principio de identidad de los indiscernibles puede formularse en la lógica de segundo orden,​ así: (es)
rdfs:label
  • Identidad de los indiscernibles (es)
  • Identidad de los indiscernibles (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of