Partiendo de la definición de la identidad en Principia Mathematica, aquí se discute el estatus lógico del principio de la identidad de los indiscernibles con los criterios y argumentos de Leibniz y Clarke. En la defensa que hace Leibniz de este principio se establece la distinción entre una necesidad lógica y una necesidad moral, relacionada con la existencia y el buen juicio de Dios, que se resume en el principio de razón suficiente; esta posición se puede relacionar con el Tractatus, donde se critica a Russell en términos similares a los que Clarke usó en contra de Leibniz. Wittgenstein, sin embargo, habla de la experiencia necesaria para entender la lógica: la experiencia fundamental de que algo es; así, se puede sugerir un paralelo entre su posición y la distinción de Leibniz, el cual también nos llevaría a replantear y repensar en términos leibnizianos la independencia radical de la lógica.