S.3 · структурный парадокс · подтип: Семантический
Grelling-Nelson
Суть ошибки. Свойство второго порядка применяется к себе
Точная формулировка
Назовём слово автологичным, если оно описывает само себя: «короткое» — короткое слово, «русское» — русское, «пятисложное» — пятисложное. Назовём слово гетерологичным, если оно себя не описывает: «длинное» — не длинное слово, «французское» — не французское. Вопрос: гетерологично ли слово «гетерологичное»? Если да — оно описывает себя (действительно гетерологично), значит, автологично, а не гетерологично. Если нет — оно не описывает себя; но «гетерологичное» и значит «не описывающее себя» — выходит, оно описывает себя, то есть автологично, — а мы предположили, что оно не гетерологично, и автологичное не гетерологично. Оба пути — противоречие.
Происхождение
Курт Греллинг и Леонард Нельсон, 1908 год, статья о парадоксах Рассела и Бурали-Форти — узел построен намеренно, как семантическая реплика теоретико-множественного парадокса: то, что Рассел сделал с множествами, Греллинг и Нельсон сделали со словами. Парадокс иногда приписывали Вейлю — Рамсей в 1926-м уже разбирал его как «парадокс Вейля», и Греллинг позже сам восстанавливал авторство. В классификации Рамсея узел попал во «второй класс» — семантические парадоксы, требующие понятий значения и обозначения, — рядом с лжецом, в отличие от «логических» (Рассел, Бурали-Форти); наш разбор показывает, что деление Рамсея — про арену, не про механизм: фигура одна.
Следствие
Парадокс закрепил урок: беда Рассела — не частная болезнь теории множеств, тот же узел вяжется из чистой семантики, без единого множества. Потому лечение обязано быть общим: стратификация типов у предикатов (предикат о словах — этажом выше слов, к которым приложен) — то же лекарство, что теория типов для множеств и иерархия метаязыков для истины. Для нашего каталога Греллинг — самое наглядное зеркало: он показывает подмену с обеих сторон — у Рассела элемент рвётся стать собственным правилом, у Греллинга правило подаётся себе как элемент.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: слова как объекты; классификация слов на два класса (автологичные/гетерологичные); критерий классификации — «описывает ли слово само себя»; вопрос о классификации слова «гетерологичное». Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? «Описывает себя» — свойство слова как предмета (длина, язык, число слогов) совпадает с его значением. Для обычных слов проверка невинна: слово-предмет сравнивается со словом-значением. Первый сигнал: «гетерологичное» — не обычное слово; его значение — не свойство предмета вроде длины, а сама классификация: оно означает «не описывающее себя». Значение этого слова — операция сортировки слов.
Домен 3 — Выбор рамки: адекватен ли инструмент объекту? Здесь дефект. Классификация — операция над словами: она стоит этажом выше того, что сортирует (уровень 2 над уровнем 1). Вопрос «гетерологично ли „гетерологичное”?» требует, чтобы классификация отсортировала саму себя: предикат, назначающий словам классы, подан себе как слово. Тождество: сортирующее есть сортирующее, сортируемое есть сортируемое — разные функции; Непротиворечие: нельзя быть обоими в одном акте. Сигнал: смешение уровней.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: при допущенном смешении обе ветви безупречны. Проблема не в выводе.
Домен 6 — Рефлексия: противоречие на обоих путях — возврат к домену 3.
Диагноз
Домен ошибки: Домен 3 (выбор рамки). Тип: структурный — вертикальное смешение уровней. Нарушенные законы: Тождество (конструкция требует тождества классифицирующего и классифицируемого) · Непротиворечие (быть операцией сортировки и сортируемым словом в одном акте). Суть дефекта: зеркало Рассела: там Элемент рвётся быть собственным Правилом — здесь Правило подаётся себе как Элемент. На триаде E/R/R: Правило = Элемент.
Растворение
«Гетерологичное» как слово-предмет (14 букв, русское, шестисложное) — законный объект: этими свойствами оно описывает или не описывает себя без всякой беды. Но вопрос парадокса спрашивает о другом: применима ли сортировка к самой сортировке. Ответ — нет, и не по запрету, а по природе операции: классификация класса не имеет — как сито не просеивает себя и каталог не каталогизирует себя. Вопрос не труден — он не сформирован; слово «гетерологичное» не автологично и не гетерологично: оно вне области собственной сортировки. Разведи этажи — предикаты о словах живут уровнем выше слов — и узел не вяжется; стратификация типов лишь формализует это разведение, той же вертикалью Закона Порядка.
Урок
О предикатах. У предиката есть область применения, и сам он в неё не входит: свойство второго порядка — не предмет первого. О зеркальности подмен. Категориальная подмена ходит в обе стороны — элемент правилом (Рассел) и правило элементом (Греллинг); диагностика по триаде обязана проверять обе. О невинной самореференции. «Короткое» — короткое: самоописание по свойствам-предметам безопасно; парадокс начинается там, где к себе прикладывается сама операция классификации, — тот же критерий, что у лжеца: самоописание безопасно, самооценка опасна.
Родня по механизму
Лжец (оценка оценивает себя — та же фигура на истинности), Рассел (прямое, не зеркальное: элемент как правило), Берри и Ришар (семантические соседи: определимость, говорящая о себе), брадобрей (исполнитель правила под собственным правилом).
Машинная проверка. Диагноз по триаде — Правило = Элемент, решение — стратификация типов: grelling_is_ill_formed, grelling_violation (src/foundation/ParadoxDiagnosis.v); самореферентность конструкции в каталоге 46: S3_grelling_self_ref (Architecture_of_Reasoning/ParadoxDissolution.v). Карта — Формализация.
Категория: Структурные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс