Витгенштейн:
Сказать о двух предметах, что они тождественны, бессмысленно, а сказать об одном предмете, что он тождественен самому себе, значит ничего не сказать.
Булыгин:
Не совсем. Согласен с Вами в том, что два предмета не могут быть тождественны по той простой причине, что их два. Но когда мы говорим об одном предмете, что он равен себе, мы тем самым подчеркиваем в нем, что он остается тем же самым, а не другим, т. е подчеркиваем в нем то, что он существует, что он есть.
Юм:
Мы не можем ни в какой правильной речи сказать, что предмет такой же, как он сам, если только мы не имеем в виду, что предмет, существующий в одно время, такой же, как и он сам, существующий в другое время.
Булыгин:
Совершенно верно.
Некто:
Какой смысл? Ведь говорить о предмете, что он такой же, как и он сам – тавтология?
Булыгин:
Да, тавтология. Вот и Рамсей считает, что математика как раз занимается, что поиском того, где содержание совершенно обобщено, а форма – тавтология. Поддерживаю. Кроме математики обобщенными формами, т. е абстракциями, занимается еще и философия. Но в отличии от математики, в философии по иному относятся к противоречию, … грехом ее не считая.
Некто:
И что? Отказаться от тождества?
Булыгин:
Проблема больше в психологии, нежели в существующих инструментах исследования этого мира. Возьмем, например, предложение вида: А = В + 2. Мы все время пытаемся приравнять две различные вещи (в нашем случае А и В), но они по определению не равны. Но они могут быть равны, если рассматривать еще что-то третье (в нашем случае +2). … Было одним и стало другим при неком условии. Или что тоже и формально: если из В при условии +2 следует только А и ничто иное, то для пары (А, В + 2) верно тождество.
Некто:
Может кто-нибудь прояснит мне суть того, что мы вкладываем в понятие существовать?
Рассел:
Существовать – случай пропозициональной функции, которая истинна, по крайней мере, при одном значении переменной. Булыгин:
По-вашему, существует кто-то, кто является автором теории дескрипции, он единственен и этот автор – Вы, Рассел. Формально, найдется такое значение Х, что оно тождественно А. … У меня акценты смещены иначе. Существует «быть автором» и существует «теория дескрипции». Тогда, если «быть автором» единственным образом (эта единственность выражается «теорией дескрипции» и ничем иным) преобразуется в «быть автором теории дескрипции» – Расселом. … В этом контексте, Рассел – то же, что автор, если (и только если) теории дескрипции, и Рассел существует – то же, что существует автор теории дескрипции.