тождественный — Викисловарь
Морфологические и синтаксические свойства
| падеж | ед. ч. | мн. ч. | |||
|---|---|---|---|---|---|
| муж. р. | ср. р. | жен. р. | |||
| Им. | тожде́ственный | тожде́ственное | тожде́ственная | тожде́ственные | |
| Рд. | тожде́ственного | тожде́ственного | тожде́ственной | тожде́ственных | |
| Дт. | тожде́ственному | тожде́ственному | тожде́ственной | тожде́ственным | |
| одуш. | тожде́ственного | тожде́ственное | тожде́ственную | тожде́ственных | |
| неод. | тожде́ственный | тожде́ственные | |||
| Тв. | тожде́ственным | тожде́ственным | тожде́ственной тожде́ственною | тожде́ственными | |
| Пр. | тожде́ственном | тожде́ственном | тожде́ственной | тожде́ственных | |
| Кратк. форма | тожде́ственен тожде́ствен | тожде́ственно | тожде́ственна | тожде́ственны | |
тож-де́ст-вен-ный
Прилагательное, относительное, тип склонения по классификации А. Зализняка — 1*a[(1)].
Корень: -тождеств-; суффикс: -енн; окончание: -ый [Тихонов, 1996].
Произношение
- МФА: [tɐˈʐdʲestvʲɪn(ː)ɨɪ̯]
Семантические свойства
Значение
- книжн. связанный, соотносящийся по значению с существительным тождество ◆ Отсутствует пример употребления (см. рекомендации).
- точно соответствующий кому-либо или чему-либо; такой же, как кто-либо или что-либо; одинаковый ◆ Отсутствует пример употребления (см. рекомендации).
Синонимы
Антонимы
Гиперонимы
Гипонимы
Родственные слова
Этимология
Происходит от сущ. тождество, далее от русск.-церк.-слав. тождьство, тожьство. Образовано по аналогии лат. identitās (из idem «то же») от церк.-слав., ст.-слав. тожде, тоже ср. р. от тъжде ὁ αὑτός. Использованы данные словаря М. Фасмера. См. Список литературы.
Фразеологизмы и устойчивые сочетания
Перевод
| Список переводов | |
Библиография
- Арутюнова Н. Д. Тождество и подобие // Арутюнова Н. Д. Логический анализ языка. Тождество и подобие. Сравнение и идентификация. М.: Институт языкознания АН СССР, 1990, с. 7, 11 (детальное описание).
Тождество (философия) — это… Что такое Тождество (философия)?
У этого термина существуют и другие значения, см. Тождество.Тождество — философская категория, выражающая равенство, одинаковость предмета, явления с самим собой или равенство нескольких предметов. О предметах А и В говорят, что они являются тождественными, одними и теми же, если и только если все свойства (и отношения), которые характеризуют А, характеризуют и В, и наоборот (закон Лейбница). Однако, поскольку действительность постоянно изменяется, абсолютно тождественных самим себе предметов, даже в их существенных, основных свойствах не бывает. Тождество является не абстрактным, а конкретным, то есть содержит внутренние различия, постоянно «снимающим» себя в процессе развития, зависящим от данных условий. Само отождествление отдельных предметов требует их предварительного отличения от других предметов; с другой стороны, часто приходится отождествлять различные предметы (например, с целью создания их классификаций). Это означает, что тождество неразрывно связано с различием и является относительным. Всякое тождество вещей временно, преходяще, а их развитие, изменение абсолютно. В точных науках, однако, абстрактное, то есть отвлекающееся от развития вещей, тождество в соответствии с законом Лейбница, используется потому, что в процессе познания возможны и необходимы в известных условиях идеализация и упрощение действительности. С подобными ограничениями формулируется и логический закон тождества.
Сходными мы называем предметы, обладающие одним или несколькими общими свойствами; чем больше у предметов общих свойств, тем ближе их сходство подходит к тождеству. Два предмета считаются тождественными, если их качества совершенно сходны.
Однако, следует помнить, что в мире предметном (материальном) тождества быть не может, так как два предмета, сколь бы ни были они сходны по качествам, всё же отличаются числом и занимаемым ими пространством; только там, где материальная природа возвышается до духовности, появляется возможность тождества.
Необходимое условие тождества — это единство: где нет единства, не может быть и тождества. Материальный мир, делимый до бесконечности, единством не обладает; единство появляется с жизнью, в особенности с духовной жизнью. Мы говорим о тождестве организма в том смысле, что его единая жизнь пребывает, несмотря на постоянную смену частиц, образующих организм; где есть жизнь, там есть единство, но в настоящем значении слова ещё нет тождества, поскольку жизнь убывает и прибывает, оставаясь неизменной лишь в идее.
То же самое можно сказать и о личности — высшем проявлении жизни и сознания; и в личности нами лишь предполагается тождество, в действительности же его нет, так как самое содержание личности постоянно меняется. Истинное тождество возможно только в мышлении; правильно образованное понятие имеет вечную ценность независимо от условий времени и пространства, в которых оно мыслится.
Лейбниц своим principium indiscernibilium установил мысль, что не могут существовать две вещи совершенно сходные в качественном и количественном отношениях, поскольку такое сходство было бы ни чем иным, как тождеством.
Философия тождества выступает центральной идеей в работах Фридриха Шеллинга.
См. также
Литература
Философский словарь/Под ред. И. Т. Фролова.- 4-е изд.-М.: Политиздат, 1981. — 445
Тождество — это… Что такое Тождество?
основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем.
Логические и философские аспекты Т. дополнительны: первый даёт формальную модель понятия Т., второй — основания для применения этой модели. Первый аспект включает понятие об «одном и том же» предмете, но смысл формальной модели не зависит от содержания этого понятия: игнорируются процедуры отождествлений и зависимость результатов отождествлений от условий или способов отождествлений, от явно или неявно принимаемых при этом абстракций. Во втором (философском) аспекте рассмотрения основания для применения логических моделей Т. связываются с тем, как отождествляются предметы, по каким признакам, и уже зависят от точки зрения, от условий и средств отождествления.
Различение логических и философских аспектов Т. восходит к известному положению, что Суждение о тождественности предметов и Т. как понятие — это не одно и то же (см. Платон, Соч., т. 2, М., 1970, с. 36). Существенно, однако, подчеркнуть независимость и непротиворечивость этих аспектов: понятие Т. исчерпывается смыслом соответствующей ему логической функции; оно не выводится из фактической тождественности предметов, «не извлекается» из неё, а является абстракцией, восполняемой в «подходящих» условиях опыта или, в теории, — путём предположений (гипотез (См. Индукция)) о фактически допустимых отождествлениях; вместе с тем, при выполнении подстановочности (см. ниже аксиому 4) в соответствующем интервале абстракции отождествления, «внутри» этого интервала, фактическое Т. предметов в точности совпадает с Т. в логическом смысле.1. х = х,
2. х = у ⊃ у = х,
3. x = y & y = z ⊃ x = z,
4. А (х) ⊃ (х = у ⊃ А (у)),
где А (х
) — произвольный предикат, содержащий х свободно и свободный для у, а А (х) и А (у) различаются только вхождениями (хотя бы одним) переменных х и y. Аксиома 1 постулирует свойство рефлексивности Т. В традиционной логике она считалась единственным логическим законом (См. Логический закон) Т., к которому в качестве «нелогических постулатов» добавляли обычно (в арифметике, алгебре, геометрии) аксиомы 2 и З. Аксиому 1 можно считать гносеологически обоснованной, поскольку она является своего рода логическим выражением индивидуации, на котором, в свою очередь, основывается «данность» предметов в опыте, возможность их узнавания: чтобы говорить о предмете «как данном», необходимо как-то выделить его, отличить от др. предметов и в дальнейшем не путать с ними. В этом смысле Т., основанное на аксиоме 1, является особым отношением «самотождественности», которое связывает каждый предмет только с самим собой — и ни с каким др. предметом.Аксиомы 1 и 2 совместно служат абстрактным выражением Т. как неразличимости, теории, в которой представление об «одном и том же» предмете основывается на фактах не наблюдаемости различий и существенно зависит от критериев различимости, от средств (приборов), отличающих один предмет от другого, в конечном счёте — от абстракции неразличимости. Поскольку зависимость от «порога различимости» на практике принципиально неустранима, представление о Т., удовлетворяющем аксиомам 1 и 2, является единственным естественным результатом, который можно получить в эксперименте.
Аксиома 3 постулирует транзитивность Т. Она утверждает, что суперпозиция Т. также есть Т. и является первым нетривиальным утверждением о тождественности предметов. Транзитивность Т. — это либо «идеализация опыта» в условиях «убывающей точности», либо абстракция, восполняющая опыт и «создающая» новый, отличный от неразличимости, смысл Т.: неразличимость гарантирует только Т. в интервале абстракции неразличимости, а эта последняя не связана с выполнением аксиомы З. Аксиомы 1, 2 и 3 совместно служат абстрактным выражением теории Т. как эквивалентности (См. Эквивалентность). Аксиома 4 постулирует необходимым условием для Т. предметов совпадение их признаков. С логической точки зрения, эта аксиома очевидна: «одному и тому же» предмету принадлежат все его признаки. Но поскольку представление об «одном и том же» предмете неизбежно основывается на определённого рода допущениях или абстракциях, эта аксиома не является тривиальной. Её нельзя верифицировать «вообще» — по всем мыслимым признакам, а только в определённых фиксированных интервалах абстракций отождествления или неразличимости. Именно так она и используется на практике: предметы сравниваются и отождествляются не по всем мыслимым признакам, а только по некоторым — основным (исходным) признакам той теории, в которой хотят иметь понятие об «одном и том же» предмете, основанное на этих признаках и на аксиоме 4. В этих случаях схема аксиом 4 заменяется конечным списком её аллоформ — конгруентных ей «содержательных» аксиом Т. Например, в аксиоматической теории множеств (См. Аксиоматическая теория множеств) Цермело — Френкеля — аксиомами:4.1 z ∈ x ⊃ (x = y ⊃ z ∈ y),
4.2 x ∈ z ⊃ (x = y ⊃ y ∈ z),
определяющими, при условии, что универсум содержит только множества, интервал абстракции отождествления множеств по «членству в них» и по их «собственному членству», с обязательным добавлением аксиом 1—3, определяющих Т. как эквивалентность.
Перечисленные выше аксиомы 1—4 относятся к так называемым законам Т. Из них, используя правила логики, можно вывести и многие др. законы, неизвестные в до математической логике. Различие между логическим и гносеологическим (философским) аспектами Т. не имеет значения, коль скоро речь идёт об общих абстрактных формулировках законов Т. Дело, однако, существенно меняется, когда эти законы используются для описания реалий. Определяя понятие «один и тот же» предмет, аксиоматики Т. необходимо влияют на формирование универсума «внутри» соответствующей аксиоматической теории.
Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Новоселов М., Тождество, в кн.: Философская энциклопедия, т. 5, М., 1970; его же, О некоторых понятиях теории отношений, в кн.: Кибернетика и современное научное познание, М., 1976; Шрейдер Ю. А., Равенство, сходство, порядок, М., 1971; Клини С. К., Математическая логика, пер. с англ., М., 1973; Frege G., Schriften zur Logik, B., 1973.
М. М. Новосёлов.
ТОЖДЕСТВО — это… Что такое ТОЖДЕСТВО?
Тождество — Тождество ♦ Identité Совпадение, свойство быть таким же. Таким же, как что? Таким же, как такое же, иначе это будет уже не тождество. Таким образом, тождество есть в первую очередь отношение себя к себе (мое тождество это и есть я сам) либо … Философский словарь Спонвиля
ТОЖДЕСТВО — понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… … Философская энциклопедия
тождество — См … Словарь синонимов
ТОЖДЕСТВО — отношение между объектами (предметами реальности, восприятия, мысли), рассматриваемыми как одно и то же ; предельный случай отношения равенства. В математике тождество это уравнение, которое удовлетворяется тождественно, т. е. справедливо для… … Большой Энциклопедический словарь
тождество — ТОЖДЕСТВО, а и ТОЖЕСТВО, а, ср. 1. Полное сходство, совпадение. Т. взглядов. 2. (тождество). В математике: равенство, справедливое при любых числовых значениях входящих в него величин. | прил. тождественный, ая, ое и тожественный, ая, ое (к 1… … Толковый словарь Ожегова
тождество — ТОЖДЕСТВО понятие, обычно представленное в естественном языке либо в форме «я (есть) то же, что и Ь >, или «а тождественно Ь», что может быть символизировано как «а = Ь» (такое утверждение обычно называют абсолютным Т.), либо в форме… … Энциклопедия эпистемологии и философии науки
тождество — (неправильно тождество) и устарелое тожество (сохраняется в речи математиков, физиков) … Словарь трудностей произношения и ударения в современном русском языке
ТОЖДЕСТВО — англ. identity; нем. Identitat. 1. В математике уравнение, справедливое при всех допустимых значениях аргументов. 2. Предельный случай равенства объектов, когда не только все родовые, но и все индивидуальные их свойства совпадают. Antinazi.… … Энциклопедия социологии
ТОЖДЕСТВО — (обозначение ≡) (identity, symbol ≡) Уравнение, являющееся истинным при любых значениях входящих в него переменных. Так, z ≡ х + y означает, что z всегда сумма х и y. Многие экономисты порой не последовательны и используют обычный знак даже тогда … Экономический словарь
тождество — идентичность идентификация личности ID — [[http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23]] Тематики защита информации Синонимы идентичностьидентификация личностиID EN identityID … Справочник технического переводчика
тождество — это… Что такое тождество?
Тождество — Тождество ♦ Identité Совпадение, свойство быть таким же. Таким же, как что? Таким же, как такое же, иначе это будет уже не тождество. Таким образом, тождество есть в первую очередь отношение себя к себе (мое тождество это и есть я сам) либо … Философский словарь Спонвиля
ТОЖДЕСТВО — понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… … Философская энциклопедия
тождество — См … Словарь синонимов
ТОЖДЕСТВО — отношение между объектами (предметами реальности, восприятия, мысли), рассматриваемыми как одно и то же ; предельный случай отношения равенства. В математике тождество это уравнение, которое удовлетворяется тождественно, т. е. справедливо для… … Большой Энциклопедический словарь
тождество — ТОЖДЕСТВО понятие, обычно представленное в естественном языке либо в форме «я (есть) то же, что и Ь >, или «а тождественно Ь», что может быть символизировано как «а = Ь» (такое утверждение обычно называют абсолютным Т.), либо в форме… … Энциклопедия эпистемологии и философии науки
тождество — (неправильно тождество) и устарелое тожество (сохраняется в речи математиков, физиков) … Словарь трудностей произношения и ударения в современном русском языке
ТОЖДЕСТВО — и РАЗЛИЧИЕ две взаимосвязанные категории философии и логики. При определении понятий Т. и Р. используют два фундаментальных принципа: принцип индивидуации и принцип Т. неразличимых. Согласно принципу индивидуации, который был содержательно развит … История Философии: Энциклопедия
ТОЖДЕСТВО — англ. identity; нем. Identitat. 1. В математике уравнение, справедливое при всех допустимых значениях аргументов. 2. Предельный случай равенства объектов, когда не только все родовые, но и все индивидуальные их свойства совпадают. Antinazi.… … Энциклопедия социологии
ТОЖДЕСТВО — (обозначение ≡) (identity, symbol ≡) Уравнение, являющееся истинным при любых значениях входящих в него переменных. Так, z ≡ х + y означает, что z всегда сумма х и y. Многие экономисты порой не последовательны и используют обычный знак даже тогда … Экономический словарь
тождество — идентичность идентификация личности ID — [[http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23]] Тематики защита информации Синонимы идентичностьидентификация личностиID EN identityID … Справочник технического переводчика
тождество — Викисловарь
Морфологические и синтаксические свойства[править]
| падеж | ед. ч. | мн. ч. |
|---|---|---|
| Им. | то́ждество | то́ждества |
| Р. | то́ждества | то́ждеств |
| Д. | то́ждеству | то́ждествам |
| В. | то́ждество | то́ждества |
| Тв. | то́ждеством | то́ждествами |
| Пр. | то́ждестве | то́ждествах |
то́ж-де-ство
Существительное, неодушевлённое, средний род, 2-е склонение (тип склонения 1a по классификации А. А. Зализняка).
Корень: -тождеств-; окончание: -о [Тихонов, 1996].
Произношение[править]
Семантические свойства[править]
Значение[править]
- матем. равенство, выполняющееся на всём множестве значений входящих в него переменных (равенство, верное при любых значениях переменных), например◆ Равенство x+2=5{\displaystyle x+2=5} имеет место не при всяком значении x{\displaystyle x}, а только при x=3{\displaystyle x=3}. Такое равенство не является тождеством; оно называется уравнением.
Синонимы[править]
- равенство, тождественность
Антонимы[править]
- антитождество
Гиперонимы[править]
Гипонимы[править]
Родственные слова[править]
| Ближайшее родство | |
Этимология[править]
Происходит от русск.-церк.-слав. тождьство, тожьство. Образовано по аналогии лат. identitās (из idem «то же») от церк.-слав., ст.-слав. тожде, тоже ср. р. от тъжде ὁ αὑτός. Использованы данные словаря М. Фасмера. См. Список литературы.
Фразеологизмы и устойчивые сочетания[править]
Перевод[править]
| Список переводов | |
Библиография[править]
ТОЖДЕСТВО — это… Что такое ТОЖДЕСТВО?
Понятие Т. является осн. понятием философии, логики и математики, поэтому к нему относятся все трудности, связанные с выяснением и определением исходных (основных, фундаментальных) понятий науки. В комплексе вопросов, относящихся к понятию Т., особого внимания заслуживают два: вопрос о Т. «… самом по себе. Признаем мы, что оно существует, или не признаем?» (Plato, Phaed. 74 b; рус. пер. Соч., т. 2, 1970) и вопрос о Т. вещей. (Т. вещей выражают обычно символом «=», к-рый встречается впервые у Р. Рекорда в его «The whetstone of witte», L., 1557.) Первый из этих вопросов является частью вопроса об онтологич. статусе абстрактных объектов (см., напр., Отношение, Универсалии), второй имеет самостоят. значение. Как бы эти вопросы ни решались в философии, для логики и математики их решение всегда эквивалентно решению вопроса об определении понятия Т. Однако нетрудно убедиться, проанализировав любое из известных логических (математических) определений Т. (вместо со способом его обоснования), что «идея Т.» и так или иначе определенное «понятие Т.» – это не одно и то же. Идея Т. п р е д в а р я е т любое определение понятия (предиката) Т., равно как и вводимое определением понятие «тождественные вещи». Это обусловлено тем, что суждение о Т. к.-л. объектов всегда предполагает, что уже выполнены (или должны быть выполнены) какие-то другие, вспомогательные, но необходимые – отнюдь не посторонние для данного суждения – отождествления. Именно в связи с проблемой «допустимых отождествлений» филос. анализ может послужить полезной предпосылкой для логического и матем. анализа понятия Т. Принцип индивидуации. В соответствии с филос. т. зр. следует различать онтологич., гносеологич. и семантич. проблемы Т. вещей. Онтологическая проблема Т. – это проблема Т. вещей «самих по себе» или in se – по их «внутреннему обстоянию» (Г. Кантор). Она ставится и решается на основе п р и н ц и п а и н д и в и д у а ц и и (principium individuationis): всякая вещь универсума есть единств. вещь; двух различных вещей, из к-рых каждая была бы тою же вещью, что и другая, не существует. Именно «…в соответствии с началами индивидуации, которые проистекают от материи» мы принимаем, что «… всякая самосущая вещь, составленная из материи и формы, составлена из индивидуальной формы и индивидуальной материи» (Фома Аквинский, цит. по кн.: «Антология мировой философии», т. 1, ч. 2, М., 1969, с. 847, 862). Принцип индивидуации не содержит в себе никакого указания на то, как индивидуализировать предметы универсума или как они индивидуализированы «сами по себе», поскольку это уже имеет место; он лишь постулирует абстрактную возможность такой индивидуализации. И это естественно, коль скоро мы понимаем его как принцип чисто онтологический. Вопрос о том, как индивидуализировать предметы универсума, есть уже гносеологич. вопрос. Но в этом случае никакая возможная индивидуализация не выводит нас за пределы того и н т е р в а л а абстракции, к-рым определяется универсум рассуждения (см. Универсум). Хотя принцип индивидуации является древним филос. утверждением о мире, его аналоги можно найти и в (современных) собственно научных (математических, физических и др.) теориях. В этой связи можно сослаться на идею «субстанциональных», или мировых, точек (пространственных точек в определенный момент времени) в четырехмерном (абстрактном) «мире Минковского» и связанную с ней идею пространственно-временнóй модели физич. реальности, позволяющую индивидуа-лизировать каждый ее объект, или на принцип Паули, или, наконец, на гипотезу Г. Кантора о том, что любые два элемента произвольного множества различимы между собой. Можно даже считать, что принцип индивидуации лежит в основе всей классич. математики с ее – в известном смысле онтологическим – «само собой разумеющимся» постулатом упорядоченного (по величине) числового континуума. Принцип Т. неразличимых. Принимая принцип индивидуации, мы, тем не менее, как в повседневной практике, так и в теории, постоянно отождествляем различные предметы, т.е. говорим о разных предметах так, как если бы они были одной и той же вещью. Возникающая при этом абстракция отождествления различного была впервые явно отмечена Лейбницем в его знаменитом принципе Т. неразличимых (Principium identitatis indiscernibilium). Кажущееся противоречие между принципом индивидуации и принципом Т. неразличимых легко разъяснить. Противоречие возникает лишь тогда, когда, полагая, что, напр., x и у – разные вещи, в формулировке принципа Т. неразличимых имеют в виду их абсолютную, или онтологическую, неразличимость, а именно, когда думают, что неразличимость x и у предполагает, что x и у «сами по себе» не отличимы по любому признаку. Однако, если иметь в виду относительную, или гносеологическую, неразличимость x и у, напр. их неразличимость «для нас», хотя бы ту, с к-рой мы можем встретиться в результате практически осуществимого сравнения х и у (см. об этом в ст. Сравнение), то никакого противоречия не возникает. Если различать понятия «вещь», или предмет универсума «сам по себе», и «объект», или предмет универсума в познании, в практике, в отношении к др. предметам, то совместимость принципа Т. неразличимых и принципа индивидуации должна означать, что нет тождественных вещей, но есть тождественные объекты. Очевидно, что с онтологич. т. зр., выраженной в принципе индивидуации, Т. представляется абстракцией и, следовательно, идеализацией. Тем не менее оно имеет объективное основание в условиях существования вещей: практика убеждает нас в том, что существуют ситуации, в к-рых «разные» вещи ведут себя как «одна и та же» вещь. В этом смысле принцип Т. неразличимых выражает эмпирически подтверждаемый, основанный на опыте, факт нашей абстрагирующей деятельности. Поэтому «отождествление различного» по принципу Лейбница не следует понимать как упрощение или огрубление действительности, не соответствующее, вообще говоря, и с т и н н о м у п о р я д к у п р и р о д ы. Интервал абстракции отождест- вления. Неразличимость объектов, отождествляемых согласно принципу Т. неразличимых, может выражаться операционально – в их «поведении», истолковываться в терминах свойств, вообще определяться совокупностью нек-рых фиксиров. условий неразличимости. Эта совокупность условий (функций или предикатов), относительно к-рых к.-л. предметы универсума неразличимы, определяет интервал абстракции о т о ж д е с т в л е н и я этих предметов. Так, если на множестве предметов определено свойство А и предмет x им обладает, то для отождествления х и у в интервале абстракции, определяемом свойством А, необходимо и достаточно, чтобы предмет у также обладал свойством А, что символически можно выразить следующей аксиомой: A(x)⊃((x=y)≡A(y)). Заметим, что при наличии «избыточной» информации о заведомом (естественно – «вне» данного интервала абстракции) различии предметов их отождествление «внутри» данного интервала абстракции может даже казаться парадоксальным. Типичный пример из теории множеств – «парадокс Сколема». Если смотреть «изнутри» интервала абстракции, определяемого свойством А, то х и у – абсолютно один и тот же объект, а не два предмета, как предполагается в приведенном выше рассуждении. Дело в том, что рассуждение о Т. двуx и, следовательно, различны х предметов возможно только в нек-ром метаинтервале, указывающем также на возможность индивидуализации x и у. Очевидно, что неразличимость x и у эквивалентна здесь их взаимозаменимости относительно свойства А, но, разумеется, не относительно любого свойства. В этой связи укажу на абстракцию актуальной различимости, вытека-ющую из принципа индивидуации и связанную с таким истолкованием этого принципа, при к-ром он сводится к утверждению о существовании условий, в к-рых индивидуализация всегда осуществима (напр., условий, в к-рых x и у уже не будут взаимозаменимы, что и позволит, естественно, говорить об их индивидуальности). В этом смысле принцип индивидуации отличается тем же характером, что и т.н. «чистые» постулаты существования в математике, и может рассматриваться как абстракция индивидуализации. Не говоря уже об «абстрактных» матем. объектах, очевидно, что и для «конкретных» физич. предметов природы условия индивидуализации любого из них отнюдь не всегда могут быть найдены или явно указаны в к.-л. конструктивном смысле. Более того, задача их разыскания иногда принципиально неосуществима, как об этом свидетельствует, напр., принцип «неделимости квантовых состояний» и обусловленная им, предписанная самой природой, неопределенность в нашем описании «индивидуального поведения» элементарных частиц. Д о п о л н е н и я. Интервал абстракции отождествления может быть столь (но не сколь угодно) широк, что в него войдут все (исходные) понятия (функции или предикаты) рассматриваемой в том или ином случае теории. Тогда говорят, что х=у для любого понятия А. В этом случае и квантор «для любого», и Т. имеют относительный характер – они p е л я т и в и з и р о в а н ы множеством понятий теории, к-рое ограничено, в свою очередь, осмысленностью этих понятий (и н т е р в а л о м значения) по отношению к предметам универсума данной теории. Напр., предикат «красный» не определен на множестве натуральных чисел и поэтому к нему не могут относиться слова «для любого предиката», когда говорят о Т. в арифметике. Такие с м ы с л о в ы е о г р а н и ч е н и я по сути дела всегда имеют место в приложениях теории, чем и исключаются противоречия, связанные с нарушением интервала абстракции отождествления. Поскольку в отождествлениях имеют в виду только предикаты данной теории – интервал абстракции отождествления фиксирован. Предметы универсума, неразличимые относительно каждого предиката теории, неразличимы абсолютно в данном интервале-абстракции и могут рассматриваться как «один и тот же» объект, что как раз и соответствует обычному истолкованию Т. Если относительно каждого такого предиката неразличимы все предметы универсума, то последний в этом случае будет представляться нам одночленной совокупностью, хотя в др. интервале абстракции он может и не быть таковым. Так, если условие А — тавтология, то в подразумеваемой предметной области все предметы тождественны в интервале А. Иначе говоря, тавтологии не могут служить критерием различимости объектов, они как бы проектируют универсум в точку, производя абстракцию отождествления элементов множества любой мощности, «превращая» разные элементы в «один и тот же» абстрактный объект. Неудивительно поэтому, что к аксиомам «чистого» предикатов исчисления первой ступени можно без противоречия присоединять формулу ΞхА(х)^/xA(x), выражающую тождественность (или абсолютную неразличимость) всех предметов универсума. По-видимому, эта неполнота чистого исчисления предикатов (элементарной логики) обусловлена именно его неонтологическим характере м. В прикладных логических исчислениях, в частности в теории множеств, выходя из сферы «чистой логики», мы вынуждены — во избежание парадоксов- фиксировать интервал абстракции отождествления. В этих случаях Т., поскольку речь идет об отождествлениях только в данной системе понятий, может быть введено конечным списком аксиом Т. для конкретных функций и предикатов рассматриваемой теории. Но постулируя т.о. те или иные отождествления, мы как бы ф о р м и р у е м универсум в соответствии с принципом Т. неразличимых. Значит универсум в этом смысле является эпистемологич. понятием, зависящим от наших абстракций. Вопрос, что считать «одним и тем же» объектом, каково число «различных» индивидуумов в предметной области (какова мощность области индивидуумов), – это в известном смысле вопрос о том, как мы применяем наши абстракции и какие именно, а также какова объективная область их применимости. В частности, это всегда вопрос об интервале абстракции. Вот почему с нашей т. зр. указание на интервал абстракции отождествления в определении Т. следует считать необходимым условием осмысленного применения » п о н я т и я Т.». Понятие «интервал абстракции отождествления» является гносеологич. дополнением к понятию абстракции отождествления и, в известном смысле (содержательным), его уточнением. Кроме того, вводя понятие Т. в интервале абстракции, мы легко достигаем необходимой общности в построении теории Т., избегая обычного «умножения понятий», связанного с различением терминов «тождественный», «подобный», «равный», «эквивалентный» и пр.В связи с вышесказанным определение предиката Т. в формулировке Гильберта – Бернайса, задаваемое, как известно, условиями:
1) х=х 2) х=y⊃ (A(x)⊃ А(у)), можно интерпретировать так, что условие 2) будет выражать Т. предметов универсума в интервале абстракции, определяемом множеством аксиом, задаваемых схемой аксиом 2). Что же касается условия 1), то, выражая свойство рефлексивности Т., оно в известном смысле соответствует принципу индивидуации. По крайней мере, очевидно, что из принципа индивидуации не следует отрицания условия х=х, поскольку между принципом индивидуации и традиц. принципом Т. (абстрактным Т. – lex identitatis), выражаемым формулой х=х, имеется следующая определенная «связь по смыслу»: если бы индивидуальный предмет универсума не был тождествен с самим собой, то он не был бы самим собой, а был бы другим предметом, что, конечно, ведет к отрицанию принципа индивидуации (ср. Энгельс Ф.: «… тождество с собой уже с самого начала имеет своим необходимым дополнением отличие о т в с е г о д р у г о г о» – Маркс К. и Энгельс Ф., Соч., 2 изд., т. 20, с. 530). Т.о., принцип индивидуации предполагает утверждение х=х, к-рое является его необходимым условием – логической о с н о в о й понятия индивидуального. Достаточно констатировать совместимость х=х с принципом индивидуации, чтобы, основываясь на совместимости 1) и 2), утверждать совместимость принципа индивидуации с принципом Т. неразличимых, а принимая во внимание независимость 1) и 2), прийти к заключению о независимости этих же принципов, по крайней мере, в рассматриваемом случае. То обстоятельство, что принцип индивидуации в отмеченном выше смысле соответствует традиц. закону Т. (см. Тождества закон), представляет особый интерес с т. зр. проблемы «реализуемости» абстрактного Т. в природе, а значит. и онтологич. статуса абстракций вообще. Принцип Т. неразличимых в том его истолковании, к-рое дано выше — как принцип Т. в интервале абстракции, — выражает по существу философскую гносеологическую идею Т., основанного на понятии практики. Что же касается математики, где так или иначе оперируют с предикатом Т., с условием, что тождественное можно заменять тождественным (см. Правило замены равного равным), то здесь, принимая принцип индивидуации, т.е. полагая, что каждый матем. объект в универсуме рассуждения индивидуален, по видимости, легко можно уйти от решения гносеологич. проблемы Т., потому что в предложениях матем. теорий матем. объекты фигурируют не «сами по себе», а через своих представителей – обозначающие их символы. Отсюда возможность построений, существенно игнорирующих условие индивидуальности этих объектов; Так, известное построение взаимно-однозначного соответствия между совокупностью натуральных чисел и ее частью – совокупностью всех четных чисел (парадокс Галилея) игнорирует единственность каждого натурального числа, довольствуясь Т. его представителей: иначе как возможно указанное построение? Аналогичных построений в математике множество. Утверждению «предмет x тождествен предмету y» математик обычно приписывает следующий смысл: «символы x и у обозначают один и тот же предмет» или «символ x обозначает тот же предмет, к-рый обозначен символом у». Очевидно, что так понимаемое Т. относится скорее к языку соответствующих исчислений (вообще к формализованному языку) и выражает, по существу, случай языковой синонимии, а вовсе не философский гносеологич. смысл Т. Однако характерно, что даже и в этом случае не удается избежать относит. отождествления, основанного на применении принципа абстракции, поскольку синонимы возникают как результат абстракции отождествления по обозначению (см. Синонимы в логике). К тому же при интерпретации исчислений любое такое с е м а н т и ч е с к о е определение Т. как «отношения между выражениями языка» необходимо дополнять разъяснением того, чтó в этой семантич. формулировке Т. означают слова «один и тот же предмет». В связи с этим формулировка принципа Т., известная как лейбницевско-расселовская (см. Равенство в логике и математике), вряд ли соответствует филос. т. зр. самого Лейбница. Известно, что Лейбниц принимал принцип индивидуации: «Если бы два индивида были совершенно… не различимы сами по себе, то …в этом случае не было бы индивидуального различия или различных индивидов» («Новые опыты о человеческом разуме», М.–Л., 1936, с. 202). Известно также, что любое нетривиальное употребление Т., соответствующее принципу Т. неразличимых, предполагает, что x и у – разные предметы, к-рые лишь относительно неразличимы, неразличимы в нек-ром интервале абстракции, определяемом либо разрешающей способностью наших средств различения, либо принимаемой нами абстракцией отождествления, либо, наконец, задаваемом самой природой. Но в формулировке Рассела наличие неогранич. квантора общности по предикатной переменной, придавая определению а б с о л ю т н ы й характер («абсолютность» здесь следует понимать как антипод «относительности» в указ. выше смысле), навязывает идею абс. неразличимости x и у, противоречащую принципу индивидуации, хотя из определения Рассела выводима формула х=х, к-рая, как было отмечено выше, совместима и с принципом Т. неразличимых и с принципом индивидуации. В свете идеи Т. в интервале абстракции выясняется еще одна гносеологич. роль принципа абстракции: если в определении Т. предикат (хотя бы и произвольный) характеризует класс абстракции предмета х, и у – элемент этого класса, то тождественность x и у в силу принципа абстракции не предполагает, что x и у должны быть одним и тем же предметом в онтологич. смысле. С этой т. зр., два предмета универсума, принадлежащие к одному классу абстракции, рассматриваются как «один и тот же» предмет не в онтологическом, а в гносеологич. смысле: они тождественны только как абстрактные представители одного класса абстракции и только в этом смысле они неразличимы. В этом, собственно, и состоит диалектика понятия Т., а также ответ на вопрос: «Как могут быть тождественны разные предметы?». Лит.: Жегалкин И. И., Арифметизация символической логики, «Матем. сб.», 1929, т. 36, вып. 3–4; Яновская С. Α., О так называемых «определениях через абстракцию», в кн.: Сб. статей по философии математики, М., 1936; Лазарев Ф. В., Восхождение от абстрактного к конкретному, в кн.: Сб. работ аспирантов и студентов философского факультета МГУ, М., 1962; Вейль Г., Дополнения, в сб.: Прикладная комбинаторная математика, пер. с англ., М., 1968.М. Новосёлов. Москва.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.
- ТОЖДЕСТВО
ТОЖДЕСТВО — понятие, обычно представленное в естественном языке либо в форме “а (есть) то же, что и и” или “а тождественно Ь”, что может быть символизировано как “а = b” (такое утверждение обычно называют абсолютным тождеством), либо в форме “а есть то же по свойству Ф, что и е” (утверждения подобного вида называются относительным тождеством и могут быть символизированы как “и = φ b”).
Утверждения тождества, как правило, истолковываются различным образом. Наиболее ограничительным является предложение Л. Витгенштейна, выдвинутое в его “Логико-философском трактате”: элиминировать утверждения тождества путем введения специальных ограничений на единичные термины, когда каждому предмету сопоставляется не более одного единичного термина. Альтернативный подход представлен классической теорией тождества (Дж. Перри, Дж. Нельсон), сводящей все тождества естественного языка к абсолютным тождествам (обычно в этом случае тождество определяется с помощью закона Лейбница х=у= = ^F(F(x) = F(y))), и релятивистской теорией (П. Гич), сводящей все тождества к относительным. Существует и смешанная нередукционистская стратегия (Д. Одегард), когда принимаются во внимание оба вида тождества. Классическая теория тождества базируется на утверждении о том, что все тождественно самому себе, ничто не является тождественным чему-либо еще, кроме самого себя (Д. Льюис). Однако при подобном понимании тождества для физических объектов возникают проблемы преемственности (самотождественны ли длящиеся во времени предметы, сохраняются ли предметы после замены их частей). Согласно Г. Фреге, мы должны уметь распознавать объект, обозначенный введенным нами символом, как тот же самый. В связи с этим вводится принцип неразличимости тождественных предметов, гласящий, что тождественные объекты неразличимы по свойствам. Такое понятие тождества удобно для математических целей, где объекты заданы жестко и не изменяются со временем.Теория относительного тождества принимает следующий постулат: два предмета могут совпадать по отношению к одно
му свойству и различаться по отношению к другому. Тем не менее теория относительного тождества сводится к классической теории абсолютного тождества, если ввести двухместный предикат тождества с помощью определения χ = у = =ο/3ψ(χ = ψγ) (Л. Стивенсон), либо считать закон Лейбница определением тождества и принять аксиому χ = =φ)/=)νψ(Ψ(χ)5=ΨϋΟ). Формальные теории относительного тождества в большинстве своем строятся в рамках второпорядковой логики, поскольку приходится вести речь о совокупности свойств. Отношению относительного тождества в этом случае сопоставляется множество свойств Δφ, такое, что Ф-тождественность влечет неразличимость по отношению к свойствам из Δφ. Полная спецификация Δφ для данного Ф в общем случае затруднительна (при конструктивистском подходе прибегают к абстракции отождествления, при которой выделяются общие свойства и отношения при одновременном отвлечении от некоторых характеристик исследуемых объектов). Обычно вводят Δ как новый константный (реляционный) символ отношения на свойствах и определяют относительное тождество как χ = фУ тогда и только тогда, когда для каждого Ψ, такого, что Δφ (Ψ), ‘¥(χ) тогда и только тогда, когда Ч'(у). Интуитивно Δφ(Ψ) означает, что Ψ является членом множества свойств Δφ, определяемого для Ф и замкнутого относительно отрицания, конъюнкции и импликации. Более гибкая трактовка получается при переходе к неклассической второпорядковой логике, напр. трехзначной второпорядковой логике (Р. Роугли и Н. Гриффин). В последние десятилетия проблема тождества часто обсуждалась в связи с проблемой семантики возможных миров. Центральными вопросами при этом были проблема подстановки тождественных выражений и проблема идентификации индивидов сквозь возможные миры. Закон подстановки тождественного гласит, что если один из двух тождественных объектов обладает определенным свойством, то им обладает и второй объект. Однако в модальных контекстах это приводит к тому, что все тождества являются необходимыми тождествами, т. е. если а = b, то выводимо (а = b). Тем самым ставится под сомнение возможность случайных утверждений о тождестве. Для решения этой проблемы С. Крипке вводит в рассмотрение термин “жесткий десигнатор”, обозначающий один и тот же объект во всех возможных мирах. В этом случае если а и b являются жесткими десигнаторами, то утверждение а = b не только истинно, но и необходимо истинно. В противном случае из а = b не следует (а = b), хотя объекты, обозначенные как а и е, будут тождественны. Другое решение, предложенное Я. Хинтиккой, заключается в задании подкласса класса индивидуальных концептов (т. е. функций, принимающих в качестве своих аргументов возможные миры, а в качестве значений — объекты соответствующих предметных областей). Элементы этого подкласса (индивидуирующие функции или мировые линии) служат для связи индивидов из различных предметных областей, присущих различным мирам (напр., имя “Сократ” означает лицо, являющееся Сократом в различных обстоятельствах, другими словами, означает всех индивидов в различных мирах, связанных между собой мировой линией). Индивиды, связанные мировыми линиями, являются как раз теми индивидами, которые предполагаются тождественными в подходе Крипке. В представлениях знаний и эпистемических контекстах часто возникает необходимость в представлении ложных тождеств, т. е. ситуаций, в которых объекты, считающиеся субъектом тождественными, на самом деле различны, или наоборот, тождественные объекты полагаются различными. Теория жестких десигнаторов не предусматривает таких ситуаций, в то время как подход Хинтикки позволяет рассматривать два различных способа отождествления: субъективный и обычный. Субъективное отождествление связывает два объекта мировой линией тогда и только тогда, когда они полагаются тождественными некоторым субъектом в определенном состоянии знания.Лит.: WigginsD. Identity and Spatio-Temporal Continuity. Oxf, 1967; Griffin N. Relative Identity Oxf., 1977; BremanA. Condition of Identity. xf., 1988; Schreider }. A. Equality, Resemblance and order. Moscow, 1975; Novoselov Μ. Μ. Identity— Great Soviet Encyclopedia, v. 26. N. Y—L., 1981 ; Тарский А. Введение в логику и методологию дедуктивных наук. М., 1948; ЦелищевВ. В. Понятие объекта в модальной логике. Н., 1978; Крипке С. Тождество и необходимость.— В кн.: Новое в зарубежной лингвистике. М., 1982.
В. Л. Васюков
Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
.