С этой точки зрения отношение эквивалентности двух и более классов характеризуется следующими свойствами.
1. Каждый класс всегда эквивалентен самому себе. Это свойство называют рефлексивностью и записывают
х ~ х.
2. Если х-у, тоу~ х. Это свойство именуют симметричностью.
3. Если х ~ у и у ~ z, то х ~ z. Это свойство называют транзитивностью.
Таким образом, эквивалентность представляет рефлексивное, симметричное и транзитивное отношение классов. Нетрудно заметить, что вся эта совокупность характеристик выражает просто условия, обеспечивающие возможность полной взаимной замены классами х, у, z друг друга в определенном отношении (Л).
Соответственно, частичная взаимозаменимость выступает на уровне классов как отношение рефлексивности и симметричности. (Но не обязательно транзитивности.) Например, по образу жизни дельфины частично одинаковы с человеком (живородящие, дышат воздухом). Они же, дельфины, по образу жизни частично одинаковы с рыбами (живут в воде). Но отсюда не следует, что человек одинаков с рыбами по какому-нибудь из указанных признаков образа жизни.
Такое отношение классов называется толерантностью. Нетрудно заметить, что оно является выражением отношения «сходности» для таких абстрактных объектов, как классы.
Градуированное по некоторому признаку различие объектов мы называли подобностью. На уровне классов ему отвечает отношение порядка. Это отношение характеризуется транзитивностью, антирефлексивностью и антисимметричностью (строгий порядок), т.е.
1) х не < х;
2) если х < у, то у не < х;
3) если х < у и у < z, то х < Z-
Пример: 1) Калий не активнее калия. 2) Если калий активнее натрия, то натрий не активнее калия. 3) Если калий активнее натрия и натрий активнее кальция, то калий активнее кальция.
Итак, в отношении классов сопоставление выступает как соотнесение и имеет своим результатом обнаружение эквивалентности, толерантности или упорядоченности классов, или, наоборот, их несоответствия.
Такое соотнесение данного класса с другими представляет теоретический синтез. Он позволяет выяснить, какие из признаков, обнаруженных анализом, есть также и у других классов, а какие — только у данного. Таким образом, теоретический синтез обнаруживает и объединяет существенные признаки класса, или иначе условия его существования (например, для круга такими условиями являются наличие одного центра, равенство расстояний от него до контура и расположения центра и всего контура в одной плоскости).
Выделение и отделение этого существенного представляет теоретическую абстракцию. Такая абстракция, как отмечал С.Л. Рубинштейн, «всегда есть отвлечение существенных свойств предмета или явлений от несущественных...»
Как и все идеальные действия, процесс теоретической абстракции тоже отражает определенные стороны практической деятельности. Только это иные стороны, чем отражаемые эмпирической абстракцией.
Практический корень эмпирической абстракции — трудовая деятельность, отделение, разделение, преобразование, позволяющие отделять части и элементы вещей. Практическая основа теоретической абстракции — эксперимент, при котором мы сохраняем условия, от коих надо отвлечься, неизменными, константными.
Если наблюдение и практический опыт являются способами обнаружения отношений (т.е. свойств) вещей или явлений, то эксперимент представляет способ обнаружения отношений (т.е. законов изменения свойств).
Так, например, вычленяя отдельно такое существенное свойство газа, как связь, между изменениями его объема и давления, мы оставляем остальные признаки (например, температуру, состав и др.) неизменными. То есть берем только одни изотермические отношения и отвлекаемся от всех других отношений. Когда мы хотим выделить другое существенное свойство газа — связь между изменениями его объема и температурой, мы, наоборот, сохраняем неизменным давление и тем самым устраняем влияние этого фактора.
Мысль здесь как бы повторяет или исследует соответствующий реальный эксперимент с газами.
Отсюда видно, что существенные свойства объектов выступают на данном уровне отражения в виде правила или закона их изменения при определенных воздействиях, в форме определенной связи или отношения их сторон и свойств.
Теоретическая абстракция как бы воспроизводит результаты экспериментального выделения и исследования соответствующих связей и отношений между определенными свойствами вещей и явлений.
Читать дальше