Из Большой Советской Энциклопедии.
Тождество, основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем.
В математике Т. — это уравнение, которое удовлетворяется тождественно, то есть справедливо для любых допустимых значений входящих в него переменных. С логической точки зрения, Т. — это предикат, изображаемый формулой х = у (читается: «х тождественно у», «х то же самое, что и y»), которому соответствует логическая функция, истинная, когда переменные х и у означают различные вхождения «одного и того же» предмета, и ложная в противном случае. С философской (гносеологической) точки зрения, Т. — это отношение, основанное на представлениях или суждениях о том, что такое «один и тот же» предмет реальности, восприятия, мысли.
Логические и философские аспекты Т. дополнительны: первый даёт формальную модель понятия Т., второй — основания для применения этой модели. Первый аспект включает понятие об «одном и том же»