S'anomena identitat dels indiscernibles , o de vegades també llei de Leibniz , a una varietat de principis filosòfics,[1] principalment:
Intuïtivament, una propietat qualitativa és una propietat intrínseca als objectes,[2] que pot ser instanciada per més d'un objecte i que no involucra una relació amb cap altre objecte particular.[1] Per exemple, la propietat de ser blanc. No obstant això, no tota propietat qualitativa és no relacional, perquè algunes propietats relacionals no impliquen una relació amb un objecte particular .[1] Per exemple, la propietat d'estar sobre una taula qualsevol.
El primer d'aquests principis és trivialment veritable i necessari.[1][2] Donat el principi d'identitat, se sap que l'objecte b té la propietat de ser idèntic a si mateix, és a dir a b . Després, si suposem que a i b comparteixen totes seves propietats, llavors a també tindrà la propietat de ser idèntic a b , que és el que es volia demostrar.[2]
El segon i el tercer principi ja són menys trivials, i hi ha un debat sobre si són principis veritables i si són necessàriament veritables.[1][2]
Normalment es restringeix l'abast del principi d'identitat dels indiscernibles als objectes concrets.[1]
El principi d'identitat dels indiscernibles pot formular en la lògica de segon ordre,[3] així: