Закон тождества (или принцип тождества) — это один из основных общелогических принципов (см. Логика), согласно которому в процессе рассуждения всякое суждение, выраженное в определённой форме высказывания и имеющее определённое истинностное значение, должно сохранять свою первоначальную форму и своё значение в некотором известном заранее или подразумеваемом контексте, то есть должно оставаться тождественным самому себе. Закон тождества относится к четырём так называемым основополагающим логическим законам

Закон тождества подразумевает требование определённости мышления и выражает идею о том, что каждое высказывание является необходимым и достаточным условием своей собственной истинности. Поэтому законом тождества принято называть и принципы аналогичного содержания, относящиеся не к высказываниям, а к именам (A

Закон тождества обычно формулируется как «всякое A есть A», или «всякий предмет есть то, что он есть», и выражается формулой A = A. Применение в этом выражении буквы A несущественно и обязано, по-видимому, особенности латинского алфавита; равным образом для выражения того же закона можно было бы писать

Закон тождества содержит в себе несколько основных предписаний:

1. Сохранение мысленного содержания предмета рассуждения. Так, если в одной из посылок рассуждения сформулирован какой-либо термин (слово, выражение), то закон тождества обязывает при использовании данного термина в других посылках и в заключении сохранить тождество между ними.
2. Достижение определённости мысли в термине (слове, выражении). Это означает, что каждый используемый в посылках термин должен быть определён, причём корректным образом. Корректность определения предполагает прежде всего прояснение значения неизвестного (например A) через нечто уже известное (например B), то есть, утверждая, что A есть B, необходимо установить тождество A и B.
3. Различение формального и содержательного тождества.
4. Установление тождества и различия между терминами (словами, выражениями) в процессе коммуникации. Сюда включаются синонимия, омонимия и полисемия, некорректное использование которых может привести к неправомерному отождествлению слов, имеющих одинаковую словесную форму, но разные значения.

Впервые принцип тождества сформулирован Аристотелем, который отмечал, что «всё истинное должно во всех отношениях быть согласно с самим собой» (Аристотель. Сочинения, т. 2. — М., 1978, с. 185), в виде закона запрещения противоречий, но не закона тождества. Формула A есть A (A = A) для обозначения принципа тождества впервые использовалась Г. В. Лейбницем. Р. Декарт относит положение, согласно которому «немыслимо одновременно быть и не быть одним и тем же», к вечными истинам — к фундаментальным аксиомам научного познания. Д. Локк признает положение, согласно которому «одна и та же вещь не может быть и не быть», самоочевидным и несомненным (Локк Д.

Онтологическое обоснование принципа тождества, для которого каждая вещь тождественна себе самой, было дано X. Вольфом: «То же самое сущее есть то самое сущее, которое является сущим. Или, иначе говоря, всякое A есть A» (Wolf Ch. Philosophia prima sive ontologia, 1736, § 55). Для И. Канта тождество познания с самим собой — формальный критерий истинности знания и принцип выведения всех истин. Он рассматривает аналитические суждения как те, в которых связь предиката с субъектом мыслится через тождество (Кант И. Сочинения, т. 3. — М., 1964, с. 111). И. Г. Фихте выводит принцип тождества A = A из первоначального акта деятельности Я: принцип Я = Я («Я есть») является основанием принципа тождества A = A. Положение A = A «признается за нечто совершенно достоверное и установленное» (Фихте И. Г. Сочинения, т. 1. — М., 1995, с. 283), «не положение A = A служит основанием для положения «Я есмь» а, наоборот, это последнее положение обосновывает собой первое» (Фихте И. Г. Сочинения, т. 1. — М., 1995, с. 287). Эта же линия различения формального и материального принципов и критики формального понимания принципа тождества A = A характерна и для Ф. В. Й. Шеллинга. Рассматривая формальную формулу A = A, он отмечает, что «логический характер в нём носит лишь форма тождественности между A и A; но откуда у меня само A = A? Если A есть, то оно равно само себе, но откуда оно? Ответ на этот вопрос может быть, без сомнения, дан исходя не из этого положения, а из чего-то более высокого. Анализ A = A предполагает синтез A … невозможно мыслить формальный принцип, не предпосылая ему материальный, а также материальный, не предпосылая ему формальный» (Шеллинг Ф.  В. Й. Сочинения, т. 1. — М., 1984, с. 250). Формула принципа тождества A = A возникает благодаря абстрагированию от содержания субъекта A, и всякое синтетическое знание должно выходить за пределы тождественности мышления и тем самым положения A = A, которое предполагает мышление, становящееся объектом для самого себя, то есть предполагает самосознание. Положение A = A интерпретируется им как принцип безусловного и абсолютного разумного познания, как выражение вечного и необходимого равенства субъекта и объекта, как воплощение самосознания разума.

По К. Эшенмайеру, логическая формула A = A выводится из первоначального тождества Я с самим собой (Eschenmayer К. А. Psychologie. Tüb., 1817, S. 296). Г. В. Ф. Гегель, который положил начало критике формальной логики, считал формулу A = A пустой и лишь законом абстрактного рассудка. По его словам, «никакое сознание не мыслит… не говорит согласно этому закону… Выражения, следующие этому нормативному закону истины (планета есть планета, магнетизм есть магнетизм, дух есть дух), справедливо считаются глупыми» (Гегель Г.  В. Ф. Сочинения, т. 1. — М., Л., 1929, с. 197). Эта же линия критики принципа тождества как пустого и лишённого смысла представлена у Ф. Э. Бенеке, И. Рёмке, Ф. Маутнера.

Для марксистской философии принцип тождества A = A есть основной принцип метафизического мировоззрения, согласно которому каждая вещь равна самой себе и считается постоянной (Энгельс Ф. Диалектика природы. — М., 1955, с. 170). Это и было основанием критики формальной логики и попыток построения новой диалектической логики, исследующей принципы анализа изменчивости явлений, различных процессов природы, общества и мышления. Эта же линия критики принципа тождества обращается А. Бергсоном против не только формальной логики как логики твёрдых тел, но и интеллекта.

В конце XIX века для логики и методологии науки характерна абсолютизация принципа тождества. Так, в теории дедукции У. С. Джевонса проводится мысль о том, что «вещь во всякий момент тождественна сама с собой» (Джевонс У. С.  Основы науки. 1874. — СПб., 1881, с. 5), и выдвигается принцип замещения, согласно которому «всякий термин, встречающийся в каком-либо предложении, можно замещать термином, о котором утверждается в какой-нибудь посылке, что он тождествен с первым» (Джевонс У. С. Основы науки. 1874. — СПб., 1881, с. 48). Вместе с тем в философии и логике начинается, с одной стороны, ограничение предметной области принципа тождества, а с другой — различение предмета и предметного содержания актов мысли. Так, Б. Эрдман исходит из принципа нетождественности, отмечая, что любой предмет, поскольку он тождествен с самим собой, отличается от другого. Согласно X. Зигварту, формула A = A фиксирует константность содержания представлений и понятий. Это же отмечает и В. Вундт, для которого принцип тождества как фундаментальный закон познания фиксирует устойчивость нашего логического мышления во всех его преобразованиях. В отличие от них Г. Дриш считает принцип тождества нормой не просто мысли, но и её предметного содержания. Для Э. Гуссерля, Н. О. Лосского, М. Шелера формула A = A выражает то, что во всех актах суждения объективное содержание A остаётся одним и тем же. Г. Фреге, понимая под принципом A = A принцип равенства, или тождества, усматривает в нём отношение между знаками предметов, а не отношение между предметами (Фреге Г. Смысл и значение. — В книге: Избранные работы. — М., 1997, с. 25). Согласно Г. Фреге, смысл и значение относятся к разным сферам (мысль — смысл предложения, а значение — обозначаемый предмет) и необходимо проводить различие между «выражением» и «обозначением».

В начале XX века в центре внимания логиков вновь оказалась проблема тождества, сходства и равенства. Для Э. Гуссерля там, где имеется равенство, имеется и тождество в истинном смысле слова. Классы и определяются как совокупность равных себе сущностей, которые являются элементами одного и того же класса. Однако отношение «одних и тех же сущностей» предполагает отношение равенства более высокого типа и так далее до бесконечности. Тем самым платоновское обоснование принципа тождества увеличивает сущности до бесконечности. В это же время Э. Бугру анализирует связь принципа тождества и законов природы, Э. Мейерсон раскрывает значение способности разума к идентификации в формировании категорий причинности, закона и других. В номинализме Ст. Лесневского было раскрыто смешение коллективного и дистрибутивного истолкования слова «класс» в теории парадоксов Б. Рассела и проведено различение мереологии и онтологии. В ходе обсуждения в XX веке предметной области логики равенство стало пониматься как основание абстракции, а закон тождества в приложениях логики потерял своё некогда фундаментальное значение «принципа, выражающего неизменность сущего» (которое ранее незаслуженно ему приписывалось).