Толковый словарь Ефремовой:
тождество
I ср.
1. Абсолютное совпадение с кем-либо или с чем-либо как в своей сущности, так и во внешних признаках и проявлениях; одинаковость.
2. Точное соответствие чего-либо чему-либо.
II ср.
Равенство, справедливое при всех числовых значениях входящих в него обозначений (в математике).
Толковый словарь Ушакова:
ТО́ЖДЕСТВО, см. ТОЖДЕ́СТВЕННОСТЬ.
Большой энциклопедический словарь:
ТОЖДЕСТВО — отношение между объектами (предметами реальности, восприятия, мысли) — рассматриваемыми как "одно и то же"; "предельный" случай отношения равенства. В математике тождество — это уравнение, которое удовлетворяется тождественно, т. е. справедливо для любых допустимых значений входящих в него переменных.
Толковый словарь Даля:
тождество
См. тожде
Толковый словарь Кузнецова:
тождество
ТОЖДЕСТВО -а; ср.
1. Полное сходство, подобие предметов, явлений и т.п. Т. взглядов, рассуждений. Т. условий материального благосостояния с предъявляемыми требованиями. Закон тождества (один из основных законов формальной логики, согласно которому содержание понятий, используемых в умозаключении, не должно меняться).
2. Матем. Равенство, справедливое при всех числовых значениях входящих в него обозначений. Тригонометрические тождества.
Малый академический словарь:
тождество
И тожество, -а, ср.
1.
Полное сходство, подобие предметов, явлений друг другу или самим себе.
Тождество взглядов. Тождество условий.
Затвердили себе, что май есть май, да и кончено: по закону тожества, говорят, так выходит. А какое тут тожество? У людей май бывает светел и радостен; а у нас что! Добролюбов, Вступления к Свистку.
||
Соответствие чего-л. чему-л.
[Эта статья] лишь первая в ряду предположенных мною статей о тожестве условий материального благосостояния с требованиями разума и совести. Чернышевский, Письмо В. А. Гольцеву, 19 авг. 1888.
2. мат.
Равенство, которое справедливо при всех числовых значениях входящих в него обозначений.
Тригонометрические тождества.
Орфографический словарь Лопатина:
орф.
тождество, -а
Толковый словарь Ожегова:
ТОЖДЕСТВО, а и ТОЖЕСТВО, а, ср.
1. Полное сходство, совпадение. Т. взглядов.
2. (тождество). В математике: равенство, справедливое при любых числовых значениях входящих в него величин.
| прил. тождественный, ая, ое и тожественный, ая, ое (к 1 знач.). Тождественные алгебраические выражения.
Новейший философский словарь:
ТОЖДЕСТВО И РАЗЛИЧИЕ — две взаимосвязанные категории философии и логики. При определении понятий Т. и Р. используют два фундаментальных принципа: принцип индивидуации и принцип тождества неразличимых. Согласно принципу индивидуации, который был содержательно развит в традиционной натурфилософии и эксплицитно сформулирован уже Боэцием, всякая вещь универсума обладает уникальными чертами. Из этого принципа вытекает проблема универсалий, которая формулируется в следующем виде: каким образом неповторимые индивиды содержат в себе нечто общее, т.е. можно ли считать свойство Т. реальным, если каждая вещь имеет своеобразие, (см. УНИВЕРСАЛИИ). Благодаря появлению понятия абстрактного объекта, проблема универсалий стала решаемой. Абстрактным объектом называется реальный объект, характеризуемый по какому-нибудь одному свойству. Поскольку нет двух действительно тождественных вещей, путем абстрагирования выделяются такие объекты, в которых можно актуально установить Т. Для абстрактных объектов Лейбниц ввел принцип Т. неразличимых: один объект тождественен второму, если и только если все свойства одного и второго объекта являются общими. Итак, Т. двух реальных объектов определяется на основании их общего признака, различие двух реальных объектов — исходя из наличия индивидуального признака. Таким образом, в зависимости от выделяемых признаков, между одними и теми же объектами имеет место как Т., так и Р. С этих позиций, познание свойств реальных объектов может быть интерпретировано как выявление в них Т. и Р., классифицирующих объекты по различным признакам.
Новая философская энциклопедия:
ТОЖДЕСТВО – понятие, обычно представленное в естественном языке либо в форме «а (есть) то же, что и b»или «а тождественно b», что может быть символизировано как «а = b»(такое утверждение обычно называют абсолютным тождеством), либо в форме «а есть то же по свойству Ф, что и b»(утверждения подобного вида называются относительным тождеством и могут быть символизированы как «а = Ф b»).
Утверждения тождества, как правило, истолковываются различным образом. Наиболее ограничительным является предложение Л.Витгенштейна, выдвинутое в его «Логико-философском трактате»: элиминировать утверждения тождества путем введения специальных ограничений на единичные термины, когда каждому предмету сопоставляется не более одного единичного термина. Альтернативный подход представлен классической теорией тождества (Дж.Перри, Дж.Нельсон), сводящей все тождества естественного языка к абсолютным тождествам (обычно в этом случае тождество определяется с помощью закона Лейбница х = у = DfF(F(x) = F(y))), и релятивистской теорией (П.Гич), сводящей все тождества к относительным. Существует и смешанная нередукционистская стратегия (Д.Одегард), когда принимаются во внимание оба вида тождества. Классическая теория тождества базируется на утверждении о том, что все тождественно самому себе, ничто не является тождественным чему-либо еще, кроме самого себя (Д.Льюис [ЛЬЮИС Д.]). Однако при подобном понимании тождества для физических объектов возникают проблемы преемственности (самотождественны ли длящиеся во времени предметы, сохраняются ли предметы после замены их частей). Согласно Г.Фреге, мы должны уметь распознавать объект, обозначенный введенным нами символом, как тот же самый. В связи с этим вводится принцип неразличимости тождественных предметов, гласящий, что тождественные объекты неразличимы по свойствам. Такое понятие тождества удобно для математических целей, где объекты заданы жестко и не изменяются со временем. Теория относительного тождества принимает следующий постулат: два предмета могут совпадать по отношению к одному свойству и различаться по отношению к другому. Тем не менее теория относительного тождества сводится к классической теории абсолютного тождества, если ввести двухместный предикат тождества с помощью определения x = у = Df (x = y)(Л.Стивенсон), либо считать закон Лейбница определением тождества и принять аксиому х = Фy((x) (y)).
Формальные теории относительного тождества в большинстве своем строятся в рамках второпорядковой логики, поскольку приходится вести речь о совокупности свойств. Отношению относительного тождества в этом случае сопоставляется множество свойств Ф, такое, что Ф-тождественность влечет неразличимость по отношению к свойствам из Ф. Полная спецификация Ф для данного в общем случае затруднительна (при конструктивистском подходе прибегают к абстракции отождествления [АБСТРАКЦИЯ ОТОЖДЕСТВЛЕНИЯ], при которой выделяются общие свойства и отношения при одновременном отвлечении от некоторых характеристик исследуемых объектов). Обычно вводят как новый константный (реляционный) символ отношения на свойствах и определяют относительное тождество как x = фу тогда и только тогда, когда для каждого , такого, что Ф (), (x) тогда и только тогда, когда (y). Интуитивно () означает, что является членом множества свойств Ф, определяемого для и замкнутого относительно отрицания, конъюнкции и импликации. Более гибкая трактовка получается при переходе к неклассической второпорядковой логике, напр. трехзначной второпорядковой логике (Р.Роутли и Н.Гриффин).
В последние десятилетия проблема тождества часто обсуждалась в связи с проблемой семантики возможных миров. Центральными вопросами при этом были проблема подстановки тождественных выражений и проблема идентификации индивидов сквозь возможные миры. Закон подстановки тождественного гласит, что если один из двух тождественных объектов обладает определенным свойством, то им обладает и второй объект. Однако в модальных контекстах это приводит к тому, что все тождества являются необходимыми тождествами, т.е. если а = b, то выводимо (а = b). Тем самым ставится под сомнение возможность случайных утверждений о тождестве.
Для решения этой проблемы С.Крипке вводит в рассмотрение термин «жесткий десигнатор», обозначающий один и тот же объект во всех возможных мирах. В этом случае если а и b являются жесткими десигааторами, то утверждение а = b не только истинно, но и необходимо истинно. В противном случае из а = b не следует (а = b), хотя объекты, обозначенные как а и b, будут тождественны.
Другое решение, предложенное Я.Хинтиккой, заключается в задании подкласса класса индивидуальных концептов (т.е. функций, принимающих в качестве своих аргументов возможные миры, а в качестве значений – объекты соответствующих предметных областей). Элементы этого подкласса (индивидуирующие функции или мировые линии) служат для связи индивидов из различных предметных областей, присущих различным мирам (напр., имя «Сократ» означает лицо, являющееся Сократом в различных обстоятельствах, другими словами, означает всех индивидов в различных мирах, связанных между собой мировой линией). Индивиды, связанные мировыми линиями, являются как раз теми индивидами, которые предполагаются тождественными в подходе Крипке.
В представлениях знаний и эпистемических контекстах часто возникает необходимость в представлении ложных тождеств, т.е. ситуаций, в которых объекты, считающиеся субъектом тождественными, на самом деле различны, или наоборот, тождественные объекты полагаются различными. Теория жестких десигнаторов не предусматривает таких ситуаций, в то время как подход Хинтикки позволяет рассматривать два различных способа отождествления: субъективный и обычный. Субъективное отождествление связывает два объекта мировой линией тогда и только тогда, когда они полагаются тождественными некоторым субъектом в определенном состоянии знания.
Литература:
1. Wiggins D. Identity and Spatio-Temporal Continuity. Oxf., 1967;
2. Griffin N. Relative Identity. Oxf., 1977;
3. Brennan A. Condition of Identity. Oxf., 1988;
4. SchreiderJ.A. Equality, Resemblance and order. Moscow, 1975;
5. Novoselov M.M. Identity. – Great Soviet Encyclopedia, v. 26. N.Y.–L., 1981;
6. Тарский А. Введение в логику и методологию дедуктивных наук. М., 1948;
7. Целищев В.В. Понятие объекта в модальной логике. Н., 1978;
8. Крипке С. Тождество и необходимость. – В кн.: Новое в зарубежной лингвистике. М., 1982.
В.Л.Васюков
Социологический словарь:
ТОЖДЕСТВО — англ. identity; нем. Identitat. 1. В математике — уравнение, справедливое при всех допустимых значениях аргументов. 2. Предельный случай равенства объектов, когда не только все родовые, но и все индивидуальные их свойства совпадают.
Этимологический словарь Макса Фасмера:
тождество
тожество, русск.-цслав. тождьство, тожьство. Образовано по аналогии лат. identits (: idem "то же") от цслав., ст.-слав. тожде, тоже ср. р. от тъжде (Клоц., Супр.). См. то.
Грамматический словарь Зализняка:
Тождество, тождества, тождества, тождеств, тождеству, тождествам, тождество, тождества, тождеством, тождествами, тождестве, тождествах
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020