В метафизике тождество (от латинского: identitas , « одинаковость ») — это отношение каждой вещи только к самой себе . [1] [2] Понятие идентичности порождает множество философских проблем , в том числе идентичность неразличимых вещей (если x и y имеют все свои свойства, являются ли они одним и тем же?), а также вопросы об изменении и личностной идентичности по сравнению с другими . времени (что должно быть так, чтобы человек x в одно время и человек y в более позднее время были одним и тем же человеком?). Важно различать качественную идентичность и числовую идентичность . Например, рассмотрим двух детей с одинаковыми велосипедами, участвующих в гонке на глазах у их матери. У двух детей одинаковый велосипед в одном смысле ( качественная идентичность ) и одна и та же мать в другом смысле ( числовая идентичность ). [3] Эта статья в основном посвящена числовой идентичности , которая является более строгим понятием.
Философская концепция идентичности отличается от более известного понятия идентичности, используемого в психологии и социальных науках . Философская концепция касается отношения , а именно отношения, в котором находятся x и y тогда и только тогда, когда они являются одним и тем же объектом или идентичны друг другу (т. е. тогда и только тогда, когда x = y ). Социологическое понятие идентичности , напротив, имеет дело с самооценкой человека, социальным представлением и, в более общем плане, с теми аспектами личности, которые делают его уникальным или качественно отличным от других (например, культурная идентичность , гендерная идентичность , национальная идентичность ). идентичность , онлайн-идентичность и процессы формирования идентичности ). В последнее время идентичность была концептуализирована с учетом положения человека в экологической сети жизни. [4]
Метафизики и философы языка и разума задаются другими вопросами:
Закон тождества берет свое начало еще в классической античности . Современная формулировка тождества принадлежит Готфриду Лейбницу , который считал, что x — то же самое, что и y , тогда и только тогда, когда каждый предикат , истинный для x , истинен и для y .
Идеи Лейбница укоренились в философии математики , где они повлияли на развитие исчисления предикатов как закона Лейбница . Математики иногда отличают тождество от равенства . Говоря более обыденно, тождество в математике может представлять собой уравнение , справедливое для всех значений переменной . Гегель утверждал, что вещи по своей сути противоречивы [5] [6] и что понятие чего-то самотождественного имеет смысл только в том случае, если оно также не является нетождественным или отличным от самого себя, и не подразумевает последнего. По словам Гегеля , «Тождество есть тождество тождества и нетождества». Более поздние метафизики обсуждали трансмировую идентичность — представление о том, что один и тот же объект может существовать в разных возможных мирах. Альтернативой транс-мировой идентичности является отношение контрагента в теории Counterpart . Это отношение подобия, которое отвергает транс-мировых индивидуумов и вместо этого защищает аналог объекта – наиболее похожий объект.
Некоторые философы отрицали существование такого отношения, как идентичность. Так , Людвиг Витгенштейн пишет ( Трактат 5.5301): «Очевидно, что тождество не является отношением между объектами». В 5.5303 он уточняет: «Грубо говоря: сказать о двух вещах, что они тождественны, — это нонсенс, а сказать об одной вещи, что она идентична самой себе, — значит ничего не сказать». Бертран Рассел ранее выразил обеспокоенность, которая, по-видимому, мотивирует точку зрения Витгенштейна (« Принципы математики», §64): «[Я] идентичность, как может возразить возражающий, не может быть чем-либо вообще: два термина явно не тождественны, а один термин не может быть, ибо с чем оно тождественно?" Еще до Рассела Готтлоб Фреге в начале « О смысле и референции » выразил беспокойство по поводу идентичности как отношения: «Равенство порождает сложные вопросы, на которые не так-то легко ответить. Является ли это отношением?» Совсем недавно CJF Williams [7] предположил, что идентичность следует рассматривать как отношение второго порядка, а не как отношение между объектами, а Кай Вемайер [8] утверждал, что обращение к бинарному отношению, которое каждый объект имеет по отношению к самому себе, и ни для кого другого, является логически ненужным и метафизически подозрительным.
Вид-термы, или сортали [9] дают критерий тождества и нетождества между предметами своего рода.