kill

kill

La identidad propiamente se refiere a la identidad numérica, como distinta de la similitud exacta o identidad cualitativa.1 Dos entidades son cualitativamente idénticas cuando sonexactamente similares, es decir cuando comparten todas sus cualidades.1 En cambio, la identidad numérica se da cuando no hay propiamente dos entidades, sino una sola que quizás lleva dos nombres.1 . Deacuerdo con el principio de identidad de los indiscernibles, dos entidades no pueden compartir todas sus cualidades y ser sin embargo numéricamente distintas.1
Diferentes tipos de entidades tienendiferentes criterios para determinar la identidad numérica.2 Por ejemplo, en matemáticas, dos entidades son idénticas si y sólo si tienen los mismos miembros. En cambio, en los clubes, los miembros puedencambiar y el club permanecer el mismo. Los criterios de identidad muchas veces son vagos y llevan a paradojas, como la paradoja sorites y la paradoja de Teseo.
La relación de identidad numérica esuna relación de equivalencia, simétrica, reflexiva y transitiva.2 Sin embargo, a veces los filósofos han propuesto criterios de identidad que no respetan todas estas propiedades.2



El principiode 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, Julio César es idéntico a sí mismo (a Julio César), el Sol esidéntico a sí mismo, esta manzana es idéntica a sí misma, etc. El principio de identidad es, junto con el principio de no contradicción y el principio del tercero excluido, una de las leyes clásicas delpensamiento.1
En lógica de primer orden con identidad, el principio de identidad se expresa:

Es decir: para toda entidad x, x es idéntica a sí misma.
No se debe confundir al principio de identidadcon la siguiente tautología de la lógica proposicional:

Esta fórmula expresa que toda proposición es verdadera si y sólo si ella misma es verdadera. Por lo tanto, expresa una verdad acerca de...