La identidad de los indiscernibles parece decir:
(II) Si F es una propiedad de A si y solo si F es una propiedad de B, entonces A = B.
Pero si el objetivo es tratar de entender lo que Leibniz tenía en mente, será necesario analizar lo que se considera una “propiedad” aquí.
Supongamos que ser identitcal a A es una propiedad.
- Soy ateo, ¿cuáles son los mejores argumentos para convertirme al teísmo?
- ¿Qué es un real?
- ¿Qué es la filosofía natural?
- ¿Por qué deberíamos ser racionales?
- La verdad es relativa, ¿estás de acuerdo?
Entonces, si A y B tienen todas las mismas propiedades, una de las propiedades que B tiene es la propiedad de ser idéntica a A.
Por lo tanto podemos concluir que A = B.
Se podría pensar que este tipo de trivializa la identidad de los indiscernibles. Sin embargo, Leibniz sostuvo que cada individuo debe tener algo, un aspecto, que lo convierte en el mismo individuo que es. Siguiendo a John Duns Scotus, él llama a esto la felicidad o esto. Supongamos que H1 es la proximidad de A. ¿Es H1 una propiedad o característica de A? Si es así, podemos “trivializar” la Identidad de los Indiscernibles nuevamente siempre que permitamos que las “propiedades” también incluyan las haecceities.
Tal vez Leibniz pensó que debía haber afectos porque de lo contrario no habría una explicación de por qué A es lo particular que es, y esto violaría el Principio de razón suficiente.
A veces, la cuestión de la Identidad de lo indiscernible se plantea como una pregunta sobre la igualdad cualitativa completa en la que consideramos las “cualidades” como características compartibles que no son relacionales. ¿Podría haber detalles A y B que fueran cualitativamente iguales pero no idénticos? Si esto incluye todas las características espacio-temporales, parecería difícil ver cómo A y B podrían ser diferentes. Esto significaría que tienen la misma trayectoria espacio-temporal y no difieren en qué tipo de cosas son. No habría ninguna razón para afirmar A y B como distintos en ese caso. Nuevamente, volvemos a apelar al Principio de razón suficiente.
El filósofo Max Black ideó un contra-ejemplo para una interpretación de la Identidad de los indiscernibles que es bien conocida. Él propuso que consideremos la idea de un universo reflejado. En una mitad del universo hay un objeto esférico A que es exactamente similar a un objeto esférico B en la otra mitad del universo reflejada. ¿No muestra esto que puede haber dos objetos distintos con todas las mismas cualidades?
Para responder a esto, Leibniz podría recurrir de nuevo a la idea escocista de las ejecuciones. Esto significaría que hay algo que hace que A sea el objeto que es, lo llamamos H1, y algo que hace que B sea el objeto que es, lo llamamos H2. Entonces, dado que B no tiene H1, B es distinto de A por la No identidad de Discernibles:
(ND) Si A tiene alguna propiedad que B no tiene, entonces no es el caso que A = B.
ND se desprende del principio lógico, la indiscernibilidad de los idénticos:
(II) Si A = B, entonces cualquier propiedad F es tal que A tiene F si y solo si B tiene F.