ТОЖДЕСТВО

понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родо-видовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых реально различных объектов - вид может быть и бесконечной совокупностью. Но совпадение наряду с родо-видовыми и всех индивидуальных свойств (индивидуация) необходимо приводит к одному объекту или к одночленной совокупности, в к-рой объекты различны лишь условно-нумерически.

Имея в виду объективность Т. и опасность подмены Т. сходством, если анализ признаков не доведён до конца, филос. мысль с давних пор связывала совпадение свойств тождественных либо с актуальной бесконечностью этих свойств, либо с положением объектов в пространстве и во времени. В первом случае одновременно постулировалось бесконечное разнообразие объектов (principium individuationis), во втором - абс. характер пространства и времени. Эти соперничающие взгляды на основу Т. господствовали до нач. 20 в. и в естествознании, поскольку они подкреплялись авторитетом классич. физики. Но с появлением новой физики оба постулата в их общем виде пришлось оставить: теория относительности релятивизировала пространственно-временные свойства объектов, а микрофизика открыла объекты с очень малым числом тех свойств (параметров), по к-рым все эти объекты оказались тождественными, обосновав при этом достаточность названных свойств для к.-л. сравнения микрообъектов и вовсе исключив пространственно-временные свойства из множества индивидуализирующих. Т. о., отказ от постулатов, определявших классич. представления о Т., обозначил переход науч. мышления к более простой и более конструктивной идее Т., основанного на понятии о наблюдаемых состояниях объектов, т. е. по существу - на абстракции отождествления или на абстракции неразличимости.

В совр. теории Т. возможная независимость Т. от актуально бесконечной индивидуации объектов выражается условием подстановочности (взаимозаменимости) тождественных, к-рое означает, что в любом случае процесс абстракции, связанный с Т. и отнесённый к к.-л. предметной области (см. Абстракции принцип), даёт исчерпывающее описание этой области, т. е. поэлементное её разбиение. При этом, строго говоря, вопрос о полноте описания универсума науч. теории в соответствии с принципом подстановочности дополняется вопросом о возможных выразит. средствах описания, напр. о языке науч. теории и её осн. абстракциях. Относительность полноты описания, вызванная условием на подстановку, должна дополняться абс. характером того же описания в том смысле, что сама возможность подстановки должна отражать определ. инвариант в содержании нашего познания, объективность к-рого гарантируется к.-л. фундаментальными принципами науч. теории (типа принципа неопределённости или принципа запрета в квантовой механике). Тот факт, что Т. имеет место уже независимо от нашего желания отождествлять или различать объекты, выражается в совместном утверждении принципа подстановочности и принципа Т.: x = х, к-рые оба входят в определение понятия  Т. и в совместной истинности к-рых проявляется диалектика процесса познания.

В чистой логике формулировка условия подстановочности (с формульной переменной) придаёт понятию Т. характер предельно общей - абс. абстракции. Но в естеств.-науч. теориях (в прикладной логике) условия на подстановочность определяют Т. как относит. абстракцию, как равенство относительно определ. предикатов, поскольку сводят его к совпадению только тех свойств, к-рые подразумеваются данной теорией. Вообще, чисто логич. понятие об «одном и том же» на практике и в теории реализуется в конкретных гносеологич. вариантах: на практике - в силу ограничений, к-рые процесс восприятия накладывает на процесс отождествления; в теории - в силу достаточности запаса свойств, определимых в теории, для суждений о Т. в этой теории. Но хотя понимание Т., ограниченное таким образом, не исключает неабсолютных (т. н. нестандартных) моделей для Т., всё же равносильность относит. и абс. понимания Т. обязательна в интервале абстракции отождествления, поскольку вообще интервал абстракции - это информация о возможных моделях абстракции, извлечённая только из самой абстракции. В логико-модельном истолковании указанная ситуация означает, что если к.-л. теория с относит. Т. имеет модель, то она имет модель и при абс. интерпретации этого Т., т. е. имеет стандартную модель. В интервальном истолковании для этой же ситуации вводится понятие о собств. универсуме теории, полное описание ?poro связано с абстракцией отождествления по признакам, выраженным предикатами, к-рые определимы в данной теории. Такое относит. Т. абсолютно в универсуме теории; оно естественно индуцируется на универсумах её моделей, если последние известны не сами по себе, а только как образы универсума теории. В этом случае очевидно, что изменение абстракций теории может привести к принципиально иной информации о её моделях.

Различие в названных истолкованиях модельных ситуаций с Т. связано с различными концепциями Т.- лингвистической, преобладающей в логике и восходящей к Фреге, и гносеологической, преобладающей в философии и восходящей к Лейбницу. Согласно первой, смысл Т. заведомо и однозначно определён для любых структур и теорий. Это постоянный предикат, значением к-рого служит логич. функция, истинная, когда её аргументам сопоставляется один и тот же объект л модели, в к-рой интерпретируется предикат Т. При этом значение слов «один и тот же» применительно к той или иной модели выносится за рамки лингвистич. концепции Т., а смысл самого Т. сводится к случаю языковой синонимии - это Т. имён, знаков. Согласно гносеологич. концепции, предикат Т. требуется рассматривать, вообще говоря, как переменный, как функцию понятия «один и тот же объект в данной теории», т. е. как функцию той абстракции отождествления, к-рая выражает подстановочность в этой теории. Поэтому гносеологич. концепция позволяет говорить о Т. различных объектов в прямом смысле, вне их знаковой роли. Кроме того, эта концепция для суждений о Т., истинных в интервале абстракций теории, утверждает и их необходимость, обосновывая эту необходимость постулатами теории и разрешая, т. о., модальные парадоксы Т. Лингвистич. концепция, напротив, довольствуется случайным Т., поскольку синонимия - случайное свойство языка.