S.9 · структурный парадокс · подтип: Семантический
Yablo’s Paradox
Суть ошибки. Распределённая самореференция через бесконечную цепь
Точная формулировка
Бесконечный ряд высказываний: S₁: «все Sₖ при k > 1 ложны»; S₂: «все Sₖ при k > 2 ложны»; и так далее — каждое Sₙ говорит: «все последующие ложны». Допустим, какое-то Sₙ истинно: тогда все последующие ложны — в частности, ложно Sₙ₊₁; но Sₙ₊₁ утверждает «все после n+1 ложны», а это при нашей посылке верно — значит, Sₙ₊₁ истинно: противоречие. Значит, всякое Sₙ ложно. Но тогда для любого n «все после n ложны» — верно, то есть всякое Sₙ истинно: противоречие. Ни одно высказывание при этом не упоминает себя.
Происхождение
Стивен Ябло, 1993, заметка «Paradox without self-reference»: построить беду лжеца, не дав ни одному высказыванию сослаться на себя, — и тем проверить, в самоссылке ли дело. Немедленно начался спор о честности заглавия: Прист доказывал, что самоссылка спрятана в общей схеме ряда («каждое Sₙ говорит о всех последующих» — предложение о самой схеме), Соренсен защищал чистоту конструкции. Спор продолжается — и это лучший показатель ценности узла: он вынуждает уточнить, что именно порождает семью лжеца.
Следствие
Ябло сдвинул диагноз всей семьи: если беда воспроизводится без петли «о себе», то петля — упаковка, а не корень. Корень — безосновная оценка: цепь суждений об истинности, нигде не опирающаяся на содержание. У лжеца дно выбито петлёй, у Ябло — бесконечным откладыванием: каждое звено оценивает следующие, и ни одно не оценивает ничего — регресс без первого основания. Для формальной семантики узел стал пробным камнем теорий основательности (groundedness); для нашего каталога — свидетелем, что вертикаль оценки требует не «отсутствия петель», а дна: оценка где-то обязана встать на содержание.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: бесконечный ряд высказываний; у каждого — оценка истинности всех последующих; ни одной петли. Структура: оценки, направленные всегда вперёд по открытому ряду. Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? Первый сигнал — «все последующие»: квантор по актуально взятому бесконечному ряду; каждое Sₙ — суждение о завершённой совокупности незавершаемого. Второй: содержание каждого звена — только оценки: в ряду нет ни одного высказывания о чём-либо, кроме истинности других звеньев.
Домен 3 — Выбор рамки: адекватен ли инструмент объекту? Здесь дефект — двойной. Первый: оценка (уровень 2) составляет всё содержание оцениваемого (уровень 1) — как у лжеца, только смешение распределено: не петля, а цепь без дна — оценке никогда не достаётся содержания, регресс вместо основания. Второй: «все последующие» берёт открытый ряд завершённым предметом — то же овеществление незавершаемого, что у Кантора и Гильберта; конечный отрезок ряда узла не даёт (последнее звено говорит о пустом «после» — истинно, и всё разрешается).
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: оба хода безупречны при принятых посылках. Проблема не в выводе.
Домен 6 — Рефлексия: противоречие без единой петли — сигнал пересмотреть диагноз семьи: возврат к домену 3, к безосновности и овеществлённому ряду.
Диагноз
Домен ошибки: Домен 3 (выбор рамки). Тип: структурный — вертикальное смешение уровней в распределённой форме. Нарушенные законы: Тождество · Непротиворечие (оценка как единственное содержание оцениваемого — по всей цепи) · Порядок (открытый ряд взят завершённым; у регресса оценок нет дна). Суть дефекта: безосновная оценка: цепь суждений об истинности без единого содержания, замаскированная бесконечностью. На триаде E/R/R: Правила без Элементов — оценкам нечего оценивать.
Растворение
Двумя разрезами. Первый — основательность: оценка легальна, когда через конечное число шагов встаёт на содержание; цепь Ябло по построению не встаёт никогда — её звенья не выражают суждений, им нечего быть истинными о; «истинно/ложно» к ним неприложимо, как к лжецу. Второй — овеществление: узел живёт только на актуально завершённом бесконечном ряде; как процесс (любой конечный отрезок, открытый продолжению) он разрешается тривиально — последнее наличное звено истинно о пустом хвосте. Оба разреза — одна вертикаль Закона Порядка: оценка этажом выше содержания, итог незавершаемого — не предмет. Спор «есть ли скрытая самоссылка» разбором снимается: неважно — беда не в петле, а в безосновности, петля лишь кратчайшая её упаковка.
Урок
О корне семьи. Семью лжеца порождает не самоссылка, а безосновная оценка: петля — частный случай, регресс — другой. О роли бесконечности. Бесконечность здесь — не источник, а маскировка: она прячет отсутствие дна, позволяя каждому звену кивать на следующие. О проверке цепей. Диагностика вертикали спрашивает не «ссылается ли на себя», а «встаёт ли оценка на содержание» — вопрос работает и там, где петли нет.
Родня по механизму
Лжец (петля — кратчайшая упаковка той же безосновности), Карри (самооценка в условии), Черепаха Кэрролла (регресс без дна — на обосновании вывода), Отель Гильберта и Кантор (овеществление открытого ряда).
Машинная проверка. Именного разбора в базе нет — наследуются механика лжеца (liar_no_truth_value — ParadoxDissolution.v) и правило о процессах против завершённой бесконечности (P4; binary_processes_not_enumerable — ProcessDiagonal.v); в реестре 46 узел классифицирован структурным с гарантией растворимости (all_46_dissolvable, structural_46_dissolves). Карта — Формализация.
Категория: Структурные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс