Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

(del latín identitas, derivado de idem, el mismo) Noción que se reduce a la de unidad o a la de igualdad, con relación a una pluralidad que se niega. Una cosa es idéntica consigo misma en el sentido trivial de que es lo que es y no otra cosa; y dos cosas son idénticas cuando son la misma cosa. Idéntico es, pues, lo que mantiene una relación de igualdad consigo mismo o una relación de igualdad entre dos o más cosas. En ambos casos se habla de lo que es numéricamente o cuantitativamente idéntico. La pertenencia de varias cosas a una misma clase o especie las reduce igualmente a un cierto tipo de unidad: la unidad específica de muchos; en este caso se habla de lo que es específicamente o cualitativamente idéntico.

También tiene sentido afirmar de dos cosas que son idénticas cuando los términos que les aplicamos tienen la misma referencia pero distinto sentido. Así, por ejemplo, el «lucero del alba» es el mismo (es idéntico) que el «lucero de la tarde» y uno y otro sólo difieren por la manera de nombrarlos. Cuando decimos que dos cosas son idénticas -con identidad numérica- afirmamos que son la misma cosa pensada de distinta manera.

. El concepto de identidad numérica se expresa lógicamente con el signo de igualdad « = », que tiene el significado de «idéntico a» o «igual a». Toda cosa es lógicamente idéntica consigo misma, de manera que, para cualquier objeto x, vale decir que x = x, porque x está en relación de identidad consigo mismo, lo cual no es más que una aplicación del principio de identidad o bien una versión del principio de no contradicción. Cuando de dos variables, x, y, afirmamos que x = y, afirmamos también su identidad numérica, de modo que lo que es verdad de x es también verdad de y (ley de Leibniz); cuando x e y son términos, son entonces coextensivos y pueden sustituirse el uno por el otro en un mismo contexto transparente, sin que cambie el valor de verdad de los enunciados (principio de extensionalidad; ver ejemplo). La lógica de predicados que permite hacer inferencias utilizando la identidad como un predicado y el principio de extensionalidad recibe el nombre de lógica de predicados de primer orden con identidad.

"Etiqueta:General" no está en la lista de valores posibles (Etiqueta:Antropología, Etiqueta:Cosmología, Etiqueta:Epistemología, Etiqueta:Estética, Etiqueta:Filosofía antigua, Etiqueta:Filosofía contemporánea s. XX y XXI, Etiqueta:Filosofía de la Ilustración, Etiqueta:Filosofía de la biología, Etiqueta:Filosofía de la ciencia, Etiqueta:Filosofía de la mente, Etiqueta:Filosofía de la religión, Etiqueta:Filosofía del Renacimiento, Etiqueta:Filosofía del derecho, Etiqueta:Filosofía del lenguaje, Etiqueta:Filosofía del siglo XIX, Etiqueta:Filosofía del siglo XVII, Etiqueta:Filosofía general, Etiqueta:Filosofía medieval, Etiqueta:Filosofía moderna, Etiqueta:Historia, Etiqueta:Lógica, Etiqueta:Metafísica, Etiqueta:Mitología, Etiqueta:Psicología, Etiqueta:Religión, Etiqueta:Simbología, Etiqueta:Sociología, Etiqueta:Teología, Etiqueta:Ética) para esta propiedad.