Словарь логики

- отношение между предметами (реальными или абстрактными), которое позволяет говорить о них как о неотличи­мых друг от друга, в какой-то совокупности характеристик (напр., свойств). В действительности все предметы (вещи) обычно отлича­ются нами друг от друга по каким-то характеристикам. Это не ис­ключает того обстоятельства, что у них есть и общие характеристики. В процессе познания мы отождествляем отдельные вещи в их общих характеристиках, объединяем их в множества по этим характерис­тикам, образуем понятия о них на основе абстракции отождествле­ния (см.: Абстракция) Предметы, объединяемые в множества по не­которым общим для них свойствам, перестают различаться между собой, поскольку в процессе такого объединения мы отвлекаемся от их различий. Иными словами, они становятся неразличимыми, тождественными в этих свойствах. Если бы все характеристики двух объектов а и b оказались тождественными, объекты превратились бы в один и тот же предмет. Но этого не происходит, т. к. в процессе познания мы отождествляем отличные друг от друга предметы не по всем характеристикам, а лишь по некоторым. Без установления тождеств и различий между предметами невозможно никакое по­знание окружающего нас мира, никакая ориентировка в окружаю­щей нас среде. Впервые в самой общей и идеализированной формулировке по­нятие Т. двух предметов дал Г. В. Лейбниц. Закон Лейбница можно сформулировать так: «х = у, если и только если х обладает каждым свойством, которым обладает у, а у обладает каждым свойством, кото­рым обладает х». Другими словами, предмет х может быть отождес­твлен с предметом у, когда абсолютно все их свойства являются одними и теми же. Понятие Т. широко используется в различных на­уках: в математике, логике и естествознании. Однако во всех случаях   его применения тождество изучаемых предметов определяют не по абсолютно всем общим характеристикам, а лишь по некоторым, что связано с целями их изучения, с тем контекстом научной тео­рии, в пределах которой изучаются эти предметы.