Например, если s – синий квадрат, p – синий, b – квадрат, с – красный, a – красный квадрат, то «множество квадратов м = {красный квадрат, синий квадрат | быть квадратом}», «красный квадрат = {квадрат, красный}», «синий квадрат = {квадрат, синий}» (смотри рис. 1)
Семантическое целое имеет вид ориентированного (направленного) графа. Считается, что отношение симметричности не свойственно направленному графу. Но это верно лишь для случая, если рассматривать только вершины (состояния) и не учитывать «содержание» направленности ребер. … Пару (семантическое целое, части семантического целого) вполне можно рассматривать как симметричное отношение. Об этом следующие три статьи, которые были написаны ранее и в разное время – об отношении тождества как таковом (смотри рис. 2)
1.3. Образ = операнд, если оператор
Если из операнда при воздействии на него оператора следует только образ и ничто иное, то образ – то же самое, что операнд, при воздействии на операнд оператора.
Здесь и далее понятия образ, операнд и оператор соответствуют трактовке Эшби, а именно [2]:
«Итак, нечто (бледная кожа) подвержена действию некоторого фактора (солнечных лучей) и превращается в темную кожу. То, что испытывает действие (бледную кожу), мы будем называть операндом; действующий фактор будем называть оператором; а то, во что превращается операнд, будем называть образом».
Темная кожа – это бледная кожа, если на бледную кожу действуют солнечные лучи. Если же в этом предложении опустить оператор, то о равенстве не может быть и речи. Сам Эшби хоть и упоминает о тождестве, но лишь применительно к рефлексии [2]:
«Важным преобразованием, которое, впрочем, начинающий может не признать за преобразование является тождественное преобразование. При этом преобразовании не происходит никаких изменений, и каждый образ совпадает со своим операндом».
Здесь же важно то, что в общем случае образ не равен операнду, и то, что соблюдается симметричность: «образ = операнд, если оператор» и «операнд, если оператор = образ». … Это же и математическим языком для пары (Y, F(X)), где оператор соответствует понятию функции F, образ – значению Y, а операнд – аргументу X: «образ = оператор(операнд)» влечет выполнение отношения «оператор(операнд) = образ». Ввиду важности подчеркну еще раз: отношение тождества выполняется для пары (Y, F(X)), а не для пары (Y, X)!
Другими словами, если из В при условии С следует только А и ничто иное, то «А = В, если С» или «А = С(В)». Если же определено еще, например, «В = D, если H», то «А = (D, если H), если С» или А = С(H(D))».
Даже для случая синонимии, когда Синоним1 и Синоним2 обозначают один и тот предмет или знак, говорить об их тождестве не приходится. Они будут тождественны только при условии, если Синоним2, например, преобразовать в Синоним1 (или наоборот): Синоним1 = преобразовать_в_Синоним1(Синоним2)
Рассмотрим известный пример [3]: «быть братом – то же самое, что быть сиблингом мужского пола». Быть братом – не то же самое, что быть мужского пола. Но быть братом (образ) – то же самое, что быть мужского пола (операнд), если у родителей есть еще дети (оператор). Быть братом не близнецом (образ) – то же самое, что быть мужского пола (операнд), если у родителей есть еще дети и если ни один из них не является с ним одновременно рожденным (оператор).
Аналогично и с химерами Рассела [4]. Химера – не то же самое, что животное. Химера – не то же самое, что дышать огнем. Но химера (образ) – то же самое, что животное (операнд), если дышать огнем (оператор).
С этих же позиций рассмотрим и парадокс лжеца: следующее высказывание истинно, предыдущее высказывание ложно (Платон: «Сократ лжет». Сократ: «Платон не лжет»). Если истинно, что высказывание ложно, то оно ложно. Если ложно, что высказывание ложно, то оно истинно. Или что то же и другими словами: утверждение (образ) – это отрицание (операнд), если отрицается (оператор) отрицание (операнд); отрицание (образ) – это утверждение (операнд), если отрицается (оператор) утверждение (операнд).
Итак, парадокс лжеца ведет себя как замкнутое однозначное преобразование, где «нет» как оператор – не то же самое, что «нет» как операнд или образ (смотри табл. 1):
Таблица 1
В логике предикатов принято описывать связь типа [5]: «Мама есть женщина» или, схематически, «a есть F» («a is an F»), где «a» обозначает единичный термин, а «F» – общий, соединяя общий термин с единичным (предикация). Но общее не равно единичному! Мама – не то же самое, что женщина. Мама (образ) то же самое, что женщина (операнд), если родила/воспитывает ребенка (оператор).
1.4. Существовать – что это?
Что значит быть «тем же самым»? Для последовательности, где А переходит в D, а D в B и т. д. (A D B C D E B A E B C E D A D B C E), можно ли предсказать появление С? Оказывается, что можно. Переход из В в С существует, переход из В в С остается тем же самым при определенном условии (смотри табл. 2).
Таблица 2
Взаимозаменяемость существования и «того же самого» подчеркивает и Фреге [6]: «Не обязательно употреблять слово существовать; вместо него можно сказать: быть самотождественным».
Иногда можно услышать мнение, что существование можно утверждать только по отношению к предикату «F», но не по отношению к единичному (субъекту) «а». Считаю, что сказать «а» не существует, означает то же, что не существует хотя бы одно «F» этого «а». С другой стороны, если все «F» этого «а» существуют, то существует и само «а» (образ).
Пример из Эшби [2]: «Так, мы сначала рассматривали маятник, как если бы он состоял только из одной переменной «угловое отклонение от вертикали»; мы обнаружили, что определенная таким образом система не обладает однозначностью. Если бы мы хотели продолжать, мы попробовали бы ввести другие определения, например вектор: (угловое отклонение, масса маятника), который также оказался бы неподходящим. В конце концов, мы попробовали бы вектор: (угловое отклонение, угловая скорость) и нашли бы, что определенные по такому способу состояния дадут нам желаемую однозначность».
Если, как указано Эшби, убрать из рассмотрения хоть какое-нибудь «F», например, угловую скорость, то и маятник перестанет существовать. Для существования маятника необходимы все «F»: как угловое отклонение, так и угловая скорость.
Не следует смешивать абстрактное и конкретное (конкретное и более конкретное). Маятник – не то же самое, что маятник железный. Железный маятник (образ) = маятник (операнд), если железный (оператор). На существование маятника никак не влияет удаление железного из железного маятника. Если двигаться в сторону абстрагирования понятий, то в основе увидим существование [6]:
«Для предложения «Имеются березы» следует выбрать другое вышестоящее понятие, например, «дерево». Если же надо представить вещи максимально общим образом, то потребуется разыскать такое понятие, которое стоит выше всех других понятии. Это понятие, если иметь в виду, что оно именно таково, обладая неограниченным объемом, не имеет никакого содержания, ведь любое содержание может состоять лишь в известном ограничении объема. В качестве такового может быть выбрано понятие самотождественный».
Требования в логике быть истинным и «иметь познавательную ценность» противоречивы, но только в первом приближении. Другими словами, статья о разрешении парадокса анализа.
Стоим и смотрим в окно. Деревья. Снег. … Из проезжающего поезда. Стоим или едем? Наверно, физик и математик только усмехнутся, прочитав что-то подобное. Но не все так просто. Переформулируем. В становится А и В становится S. И если противоречие между A и S относительно B решается, то по отношению к отдельным высказываниям B → A и B → S этого не скажешь. (смотри рис. 1)
Начнем с начала – с истины. Не вижу принципиальной разницы между истиной и тождеством в своей основе. Другими словами, истина есть тождество, если сознание отображает реальность тождественным образом. Более того, само «есть» тоже тождественно тождеству. Этот, казалось бы, хоть и не совсем очевидный факт приводит к еще более неочевидному – к стиранию грани между диалектикой и математикой.
О любой вещи можно сказать, что она есть то же самое, т. е. тождественна себе. Различие → Различие есть различие → Тождественно, что различие есть различие → Тождество есть то, что различие есть различие → (=) = (≠ = ≠) → (=) = (≠)
Итак, тождество есть различие, и различие есть тождество. Этот парадоксальный вывод вроде бы подрывает основы самой науки, если бы не одно «но»…
Чтобы показать значимость этой «но» не только для философии и математики, но и для вполне обычного, рассмотрим видовые различия. Такие различия создают иерархии, уточняя свойства от самых общих до более конкретных. Животное, например, может стать слоном, а может и собакой (животное → слон, животное → собака). С точки зрения логики, эти отнесенные друг к другу высказывания ложны. Как поступать в таких случаях показал в своей книге «Введение в кибернетику» Р. Эшби.