Fark Edilemeyenlerin Kimliği

Ayırt edilemeyenlerin özdeşliği, G.W. Leibniz tarafından ortaya atılan ve iki nesnenin tüm özelliklerini ortak olarak paylaşırken sayısal olarak farklı olma olasılığını reddeden ilke. Daha resmi bir ifadeyle, bu ilke, eğer x y ile özdeş değilse, o zaman öyle bir P özelliği vardır ki, P x için geçerli olup y için geçerli değildir ya da P y için geçerli olup x için geçerli değildir. Eşdeğer olarak, eğer x ve y tüm özelliklerini paylaşıyorsa, o zaman x y ile özdeştir. Bunun tersi olan özdeşlerin ayırt edilemezliği ilkesi (Leibniz Yasası olarak da bilinir), eğer x y ile özdeşse, o zaman x'in her özelliğinin y'nin bir özelliği olduğunu ve bunun tersinin de geçerli olduğunu ileri sürer. Leibniz, ayırt edilemezlerin özdeşliği ilkesini, Newtoncu mutlak uzayın imkansızlığı da dahil olmak üzere çeşitli metafizik doktrinler için argümanlarda kullandı.