Тождество неразличимых — это онтологический принцип, который утверждает, что не может быть раздельных объектов или сущностей, которые имеют общие свойства. То есть сущности «x» и «y» идентичны, если каждый предикат, которым обладает x, также принадлежит y, и наоборот: предполагать две неразличимые вещи — значит предполагать одно и то же под двумя именами. Тождество утверждает, что никакие две разные вещи (например, снежинки) не могут быть совершенно одинаковыми; оно предназначено в качестве метафизического принципа, а не в качестве принципа естествознания. Связанный с этим принцип — неразличимость идентичностей, обсуждается ниже.
 Форма принципа приписывается немецкому философу Готфриду Вильгельму Лейбницу. В то время как некоторые думают, что версия закона Лейбница предназначена только для неразличимости идентичностей, другие интерпретируют его как сочетание тождества неразличимых и неразличимости идентичностей (обратный закон). Из-за своей связи с Лейбницем неразличимость идентичностей иногда называют законом Лейбница. Он считается одним из главных великих метафизических законов Лейбница, другим является закон противоречия и закон достаточного основания (широко использовавшийся в его спорах с Ньютоном и Кларком в переписке Лейбница-Кларка).
 Однако некоторые философы решили, что важно исключить определенные предикаты (или предполагаемые предикаты) из принципа, чтобы избежать тривиальности или противоречия. Примером (подробно описанным ниже) является предикат, который указывает, равен ли объект x (часто считается допустимым предикатом). Как следствие, в философской литературе существует несколько различных версий этого закона, различающихся по логической силе, и некоторые из них определенные авторы называют «сильным законом» или «слабым законом».
 Уиллард Ван Орман Куайн считал, что нарушение замены в содержательных контекстах (например, «Салли считает, что p» или «Это обязательно так, что q») показывает, что модальная логика — невозможный проект. Сол Крипке считает, что это отсутствие может быть результатом использования дисквотационного принципа, подразумеваемого в этих доказательствах, а не нарушение замены как таковой.
 Тождество неразличимых использовалось для мотивации представлений о неконтекстуальности в квантовой механике.
 С этим принципом также связан вопрос о том, является ли он логическим принципом или просто эмпирическим принципом.
 Закон Лейбница может быть выражен как 
  
    
      
        ∀
        x
        
        ∀
        y
        
        [
        x
        =
        y
        →
        ∀
        F
        
        (
        F
        x
        ↔
        F
        y
        )
        ]
      
    
    {\displaystyle \forall x\,\forall y\,[x=y\rightarrow \forall F\,(Fx\leftrightarrow Fy)]}
  
, что может быть прочитано как «для каждого 
  
    
      
        x
      
    
    {\displaystyle x}
  
 и для каждого 
  
    
      
        y
      
    
    {\displaystyle y}
  
, если 
  
    
      
        x
      
    
    {\displaystyle x}
  
 идентичен 
  
    
      
        y
      
    
    {\displaystyle y}
  
, то каждое свойство 
  
    
      
        F
      
    
    {\displaystyle F}
  
, которым обладает 
  
    
      
        x
      
    
    {\displaystyle x}
  
, также принадлежит 
  
    
      
        y
      
    
    {\displaystyle y}
  
, и каждое свойство 
  
    
      
        F
      
    
    {\displaystyle F}
  
, которым обладает 
  
    
      
        y
      
    
    {\displaystyle y}
  
, также принадлежит 
  
    
      
        x
      
    
    {\displaystyle x}
  
»(неразличимость идентичностей), и наоборот, как 
  
    
      
        ∀
        x
        
        ∀
        y
        
        [
        ∀
        F
        (
        F
        x
        ↔
        F
        y
        )
        →
        x
        =
        y
        ]
      
    
    {\displaystyle \forall x\,\forall y\,[\forall F(Fx\leftrightarrow Fy)\rightarrow x=y]}
  
, что может быть прочитано как «для каждого 
  
    
      
        x
      
    
    {\displaystyle x}
  
 и для каждого 
  
    
      
        y
      
    
    {\displaystyle y}
  
, если каждое свойство 
  
    
      
        F
      
    
    {\displaystyle F}
  
, которым обладает 
  
    
      
        x
      
    
    {\displaystyle x}
  
, также принадлежит 
  
    
      
        y
      
    
    {\displaystyle y}
  
, и каждое свойство 
  
    
      
        F
      
    
    {\displaystyle F}
  
, которым обладает 
  
    
      
        y
      
    
    {\displaystyle y}
  
, также принадлежит 
  
    
      
        x
      
    
    {\displaystyle x}
  
, тогда 
  
    
      
        x
      
    
    {\displaystyle x}
  
 идентично 
  
    
      
        y
      
    
    {\displaystyle y}
  
»(тождество неразличимых).
 «
  
    
      
        =
      
    
    {\displaystyle =}
  
» в законе Лейбница означает «количественное тождество», а не просто качественное тождество. «Идентичный» не просто имеет равное значение, или эквивалентен, или изоморфен, но скорее означает, что «
  
    
      
        x
      
    
    {\displaystyle x}
  
 — тот же объект, что и 
  
    
      
        y
      
    
    {\displaystyle y}
  
».
 Здесь необходимо различать два закона (эквивалентные версии каждого из них даются на языке анализа предикатов). Обратите внимание, что это все выражения второго порядка. Ни один из этих законов не может быть выражен в логике первого порядка (не подлежат первому порядку).
 Первый закон не влечет за собой рефлексивности = (или любого другого отношения R, заменяющего его), но оба свойства вместе влекут за собой симметрию и транзитивность (см. Доказательство). Поэтому принцип 1 и рефлексивность иногда используются как аксиоматизация (второго порядка) для отношения равенства.
 Первый закон считается логической истиной и (по большей части) бесспорным. Второй закон, с другой стороны, вызывает споры; Макс Блэк возражал против него.
 Однако приведенные выше формулировки неудовлетворительны: второй закон следует читать как имеющий неявное побочное условие, исключающее любые предикаты, которые эквивалентны (в некотором смысле) любому из следующего:
 Если все предикаты ∀F включены, то второй закон, как сформулировано выше, может быть тривиально и неоспоримо показан в качестве логической тавтологии: если x не идентичен y, то всегда будет предполагаемое «свойство F», которое их отличает, а именно «быть идентичным x».
 С другой стороны, неправильно исключать все предикаты, которые материально эквивалентны (то есть условно эквивалентны) одному или нескольким из четырех указанных выше. Если это верно, то закон утверждает, что во вселенной, состоящей из двух неидентичных объектов, так как все различающие предикаты материально эквивалентны по крайней мере одному из четырех данных выше (фактически, каждый из них материально эквивалентен двум из них), два неидентичных объекта идентичны — что является противоречием.
 Макс Блэк выступил против тождества неразличимого с помощью контрпримера. Чтобы показать, что идентичность неразличимых объектов ложна, достаточно предоставить модель, в которой есть две различные (численно неидентичные) вещи, обладающие одинаковыми свойствами. Он утверждал, что в симметричной вселенной, где существуют только две симметричные сферы, две сферы — это два разных объекта, хотя все они имеют общие свойства.
 Блэк утверждает, что даже реляционные свойства (свойства, определяющие расстояния между объектами в пространстве-времени) не позволяют различить два идентичных объекта в симметричной вселенной. Согласно его аргументу, два объекта есть и будут оставаться на одинаковом расстоянии от плоскости симметрии Вселенной и друг от друга. Даже привлечение внешнего наблюдателя, чтобы чётко обозначить две сферы, не решает проблему, потому что это нарушает симметрию Вселенной.
 Как указывалось выше, закон неразличимости идентичностей, согласно которому если два объекта на самом деле являются одним и тем же, имеют все одинаковые свойства, в большинстве случаев не вызывает споров. Однако одно известное применение неразличимости идентичностей было сделано Рене Декартом в его «Размышлениях о первой философии». Декарт пришел к выводу, что он не может сомневаться в существовании самого себя (знаменитый аргумент cogito), но что он может сомневаться в существовании своего тела.
 Этот аргумент подвергается критике некоторыми современными философами на том основании, что он якобы делает вывод о том, что является истинным, из предпосылки о том, что люди знают. Они утверждают, что то, что люди знают или верят о сущности, на самом деле не является характеристикой этой сущности. Ответ может заключаться в том, что аргумент в «Размышлениях о первой философии» состоит в том, что неспособность Декарта сомневаться в существовании своего разума является частью его сущности. Тогда можно утверждать, что идентичные вещи должны иметь идентичную сущность.
 Приводятся многочисленные контрпримеры, чтобы опровергнуть рассуждения Декарта с помощью reductio ad absurdum, например следующий аргумент, основанный на секретной идентичности: