S.5 · структурный парадокс · подтип: Семантический
Richard’s Paradox
Суть ошибки. Определение через все определения
Точная формулировка
Перечислим по алфавиту все конечные русские фразы, определяющие действительные числа из [0, 1]; получим список определимых чисел: r₁, r₂, r₃, … Построим диагональное число d: его n-й знак отличается от n-го знака числа rₙ (скажем, прибавим единицу, 9 сменим на 0). Тогда d отличается от каждого числа списка — d неопределимо. Но абзац, который вы только что прочли, — конечная фраза, определяющая d: d определимо. Число разом в списке и вне его.
Происхождение
Жюль Ришар, 1905, — письмо, написанное в разгар кризиса оснований: диагональный ход Кантора, приложенный не к числам, а к определениям чисел. Немедленно стал материалом главного методологического спора эпохи: Пуанкаре увидел в нём образец «непредикативного определения» — определения через тотальность, которой определяемое само принадлежит, — и объявил такие определения источником всех парадоксов; Рассел ответил принципом порочного круга и разветвлённой теорией типов. Гёдель позже отметил: его доказательство неполноты — «родственник Ришара», проведённый легально (о доказуемости вместо определимости).
Следствие
Ришар подарил логике слово предикативность — водораздел, живущий по сей день: определение законно, если не апеллирует к тотальности, включающей определяемое. Отсюда — разветвлённые типы Рассела, предикативный анализ Вейля («Континуум»), предикативные системы Фефермана; в информатике — запреты циклических определений. И зеркальный урок о диагонали: у Кантора она законна — работает над данным списком и строит новое вне его; у Ришара список претендует включать все определения, в том числе диагональное, — та же техника, втянутая в собственную область.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: фразы-определения; список всех определимых чисел; диагональная конструкция; предикат «определимо». Структура: определение, построенное из тотальности всех определений. Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? «Определимо» — семантический предикат: отношение фраз к числам, этажом выше обоих (Берри). Первый сигнал: «все определяющие фразы» — по какому языку? Если по тому же, в котором работаем, — тотальность обязана включать и фразы о самой тотальности.
Домен 3 — Выбор рамки: адекватен ли инструмент объекту? Здесь дефект. Диагональ — операция над списком (уровень 2 над уровнем 1); диагональное определение d ссылается на весь список определений — и одновременно претендует быть его членом (оно же фраза, определяющая число). Определение через тотальность, которой само принадлежит, — непредикативный круг: Тождество — определяющее не есть определяемое; Порядок — операция над списком не есть строка списка. Сигнал: диагональ втянута в собственную область.
Домен 4 — Сравнение: внутри корректен (поразрядное отличие — честное сравнение). Дефект не здесь.
Домен 5 — Вывод: обе линии безупречны при посылке «список содержит все определения, включая диагональное». Проблема не в выводе.
Домен 6 — Рефлексия: противоречие — возврат к домену 3: посылка о самовключающей тотальности.
Диагноз
Домен ошибки: Домен 3 (выбор рамки). Тип: структурный — вертикальное смешение уровней. Нарушенные законы: Тождество · Непротиворечие (фраза-член списка и операция над всем списком в одном акте) · Порядок (строка и операция над строками — разные этажи). Суть дефекта: непредикативность: определение через тотальность всех определений, включающую само себя. На триаде E/R/R: Правило (диагональ над списком) записано Элементом (строкой списка).
Растворение
Стратификация возвращает всё на места: «определимо в языке L₀» — предикат языка L₁; список исчерпывает определения L₀, а диагональная фраза — определение в L₁: она законно строит число вне списка L₀ и не обязана в нём числиться. Противоречие жило только в претензии одного языка содержать собственную семантику. Остаток честен и знаменит: проведи тот же ход легально — и получишь не парадокс, а теоремы (неопределимость истины по Тарскому, неполнота по Гёделю: диагональ над доказуемостью вместо определимости). Ришар — нелегальная версия великого хода; вся разница — в учёте этажей.
Урок
О предикативности. Определение через тотальность, включающую определяемое, не определяет ничего: круг — не глубина, а пустота. О технике и области. Одна и та же диагональ — теорема над данным списком и парадокс над «всеми определениями»: законность операции решает её область, не её форма. О легализации. Парадоксы этой семьи — черновики теорем: Ришар → Тарский/Гёдель; учёт уровней превращает беду в результат.
Родня по механизму
Берри (та же семантика определимости, без диагонали), Кантор (диагональ, легальная над данным множеством — нелегальная над «всем»), Греллинг (предикат в собственной области), Лжец (семантика в объектном языке).
Машинная проверка. Непредикативность формализована и запрещена конструктивно: P4 отвергает определения через самовключающую тотальность — src/foundation/P4ProhibitsImpredicative.v (russell_contradiction_without_P1, P4_dissolves_russell, p4_impredicative_synthesis); легальная диагональ как правило о процессах — src/process/ProcessDiagonal.v (binary_processes_not_enumerable); в реестре 46 — структурный, растворим (all_46_dissolvable). Карта — Формализация.
Категория: Структурные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс