D.4 · дефектный парадокс · подтип: Неопределённость понятия
Ship of Theseus
Суть ошибки. «Тот же» не определён — нужен критерий тождества
Точная формулировка
Афиняне хранят корабль Тесея, заменяя гниющие доски новыми; со временем заменена каждая. Тот же ли это корабль? Сценарий Гоббса обостряет: некто собрал все выброшенные родные доски и сложил из них корабль заново. Теперь претендентов два: обслуживаемый — с непрерывной историей и полностью новым материалом, и восстановленный — из досок, которых касался Тесей, но с разрывом в существовании. Оба имеют право на имя — и оба не могут быть одним кораблём.
Происхождение
Узел восходит к реальной практике. Афиняне хранили тридцативёсельник, на котором Тесей — по преданию — вернулся с Крита; корабль ходил в ежегодное священное посольство на Делос, и пока он был в плавании, казни в Афинах запрещались — потому Сократ ждал смерти тридцать дней после приговора. Плутарх (I век) фиксирует спор философов: корабль хранили вплоть до Деметрия Фалерского (правил в 317–307 до н. э.) — девять веков замен, «одни утверждали, что он остаётся самим собой, другие — что нет». Плутарх спор не разрешает — оставляет открытым. В XVII веке Томас Гоббс добавил второго претендента: корабль, собранный из сохранённых старых досок, «без сомнения, был бы численно тем же» — и задача из трудной стала казаться неразрешимой.
Следствие
Потомство узла шире всех прочих дефектных. Персональная идентичность: Парфит («Reasons and Persons», 1984) — телепортация и деление мозга показывают, что интуиции о тождестве личности разрываются так же, как о корабле. Право: компания, сменившая сотрудников, офис и продукт, — та же ли компания, наследуются ли обязательства? Суд каждый раз выбирает критерий тождества. Реставрация: «Тайная вечеря» Леонардо хранит менее пятой части родной краски; храм Исэ в Японии перестраивается целиком каждые двадцать лет — и тринадцать веков считается тем же храмом. Технологии: от Windows 1.0 до Windows 11 общих строк кода нет. Каждый вопрос «это то же самое?» втайне выбирает критерий — узел Тесея делает выбор видимым.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: корабль, доски (родные и новые), время постепенной замены, два претендента, вопрос о тождестве. Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? Здесь дефект. «Тот же» — по какому критерию? Возможные значения: материально (те же физические части), структурно (та же форма и организация), функционально (та же роль, непрерывная история использования), концептуально (то же имя и признание). Четыре разных отношения под одним словом. Сигнал: вопрос неполон — критерий тождества не назначен.
Домен 3 — Выбор рамки: не достигнут — рамку не выбрать, пока не прояснено, что сравниваем.
Домен 4 — Сравнение: задания не получает: сравнение двух претендентов требует критерия, а критерий не задан — домен 4 ждёт домен 2.
Домен 5 — Вывод: обе интуиции («тот же» / «другой») валидны — каждая при своём критерии. Проблема не в выводе.
Домен 6 — Рефлексия: интуиция разрывается — сигнал: спор идёт о разных вопросах под одним словом; возврат к домену 2.
Диагноз
Домен ошибки: Домен 2 (прояснение). Тип: дефектный — неопределённость понятия, многозначность. Нарушенные законы: Тождество — закон A = A работает для определённых сущностей; прежде чем утверждать A = A, нужно определить, что есть A, — вопрос же применяет закон к сущности без критерия. Суть дефекта: «тот же» — не свойство объекта, а отношение по выбранному критерию; вопрос требует одного ответа там, где законных ответов четыре. На триаде E/R/R: тождество системы держат Роли, не Элементы — спор о том, какая Роль конститутивна, выдан за вопрос о досках.
Растворение
Растворение — экспликация вопроса, не поиск «правильного ответа». По аспектам картина чиста: обслуживаемый корабль — тот же структурно, функционально и концептуально, иной материально; восстановленный — тот же материально и структурно, иной функционально (был разобран), концептуально спорен. Противоречия нет — есть разные ответы на разные вопросы. Спор о «настоящем» корабле — спор о ценностях: музею важнее материал, действующему флоту — функция, культуре — имя; логика этот спор не решает, но проясняет, о чём он. Глубже: тождество — процесс, не свойство. Организм держит себя метаболизмом, артефакт — обслуживанием, компания — социальными практиками; вопрос «тот же ли объект?» означает «сохранился ли процесс, поддерживающий тождество?». Храм Исэ — культурный ответ той же пробы: тождество храма положено в ритуал перестроения, не в древесину. Развёрнутый вывод тождества сквозь изменение — необходимые и разрешённые характеристики, квадрат на ролях — на странице Тождество.
Урок
О природе тождества. Тождество — многомерное отношение; требовать единственного ответа — категориальная ошибка. О скрытых допущениях. «Тождество должно быть однозначным» — допущение, кажущееся самоочевидным; его экспликация растворяет узел. О ценностях. Споры о тождестве часто маскируют споры о ценимом — материал, история, функция, признание; логика проясняет предмет спора, выбор остаётся за целью. О практике. Неразрешимый вопрос — повод проверить, определены ли ключевые понятия: часто спор идёт о разных вещах под одним именем.
Родня по механизму
Топор дедушки (та же структура в миниатюре: рукоятку заменил отец, лезвие — внук), Парадокс телепортации (тождество личности при копировании), Парадокс замаскированного (подмена критерия тождества в знании), Сорит (сосед по типу — другой вид неопределённости: размытость).
Машинная проверка. Именной разбор есть: тождество на ролях — src/foundation/KnowledgeIdentityRoles.v: verdict_depends_on_criterion (вердикт зависит от выбранного критерия), hobbes_table (таблица двух кораблей машинно), process_identity и elements_flow (элементы текут — система стоит: тождество как процесс), manifestation_varies_identity_stands (проявление меняется — тождество держится). В реестре 46 — D4_ShipOfTheseus: дефектный, растворение отводом посылки (defective_46_requires_rejection — ParadoxDissolution.v). Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс