S.7 · структурный парадокс · подтип: Семантический
Crocodile Dilemma
Суть ошибки. Правило зависит от высказывания о своём исполнении
Точная формулировка
Крокодил похитил ребёнка и обещает отцу: «Верну его, если ты верно предскажешь, что я сделаю; не угадаешь — не верну». Отец отвечает: «Ты его не вернёшь». Если крокодил не возвращает — предсказание сбылось, и по обещанию он обязан вернуть. Если возвращает — предсказание ложно, и по обещанию он обязан не возвращать. Ни одно действие не исполняет обещания.
Происхождение
Античный узел из арсенала софистов и мегарской школы — Диоген Лаэртский числит «Крокодила» среди диалектических уловок, Лукиан в «Продаже жизней» вкладывает его в уста Хрисиппа как фирменный товар стоической логики. Родня по эпохе и механике — тяжба Протагора с учеником Еватлом (Парадокс суда): плата за обучение по исходу первого дела, которое и есть тяжба о плате. Древность знала вкус перформативной петли: обещание, чьё исполнение зависит от слова о самом исполнении.
Следствие
Крокодил — старейший образец перформативной ветви семьи лжеца: узел вяжется не из предиката «ложно», а из связки «слово ↔ поступок». Тем он ценен: показывает, что вертикаль уровней держит не только семантику, но и мир правил и договоров — условие сделки, ссылающееся на исход самой сделки, не задаёт исхода. Прямые потомки — задачи о самоссылочных предсказаниях и решениях (родня Ньюкомба), юридические головоломки о договорах, чьё исполнение определяется утверждением об их исполнении.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: обещание-правило (вернуть ⟷ верное предсказание); предсказание отца — о действии самого крокодила по этому правилу. Структура: условие правила замкнуто на исполнение правила. Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? «Верно предскажешь» — истинность слова отца задаётся будущим действием крокодила; «верну/не верну» — действие задаётся правилом через истинность слова отца. Первый сигнал: истинность и действие определены друг через друга — ни одно не стоит на собственном основании.
Домен 3 — Выбор рамки: адекватен ли инструмент объекту? Здесь дефект. Правило — операция над предсказаниями: оно должно принимать готовую истинность слова и выдавать действие (уровень 2 над уровнем 1). Ответ отца подсовывает правилу слово, чья истинность сама вычисляется из действия правила, — операции подан её собственный выход. Тождество: вход не есть выход; Непротиворечие: действие не может быть условием самого себя в одном акте; Порядок: основание прежде обоснованного — здесь же круг оснований. Сигнал: перформативная петля.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: обе ветви безупречны. Проблема не в выводе.
Домен 6 — Рефлексия: ни одно действие не исполняет правила — сигнал: правило при таком входе некогерентно; возврат к домену 3.
Диагноз
Домен ошибки: Домен 3 (выбор рамки). Тип: структурный — вертикальное смешение уровней, перформативная форма. Нарушенные законы: Тождество · Непротиворечие (вход правила = его выход) · Достаточное Основание (круг оснований: истинность из действия, действие из истинности). Суть дефекта: правило поставлено в зависимость от высказывания о собственном исполнении. На триаде E/R/R: Правилу подан как Элемент его собственный результат.
Растворение
Обещание крокодила при ответе отца невыполнимо — не трудно, а не определено: множество действий, удовлетворяющих правилу, пусто, как пуст «женатый холостяк». Сделка без исполнимого предмета — не сделка: договор ничтожен, и никакой загадки «что же он должен сделать?» нет — «должен» не задано. Отец не решил дилемму — он вскрыл её: его ответ — диагностический ход, доказывающий, что правило не для всех входов задаёт выход. Честная сделка обязана замыкаться на внешнее основание: «предскажи, пойдёт ли завтра дождь» — истинность приходит из мира, и правило работает; петля начинается ровно там, где предмет предсказания — само правило.
Урок
О договорах. Условие, ссылающееся на исход самой сделки, не задаёт исхода: проверка контрактов на самоссылку — логическая, не только юридическая гигиена. О частичности правил. Правило может быть задано не на всех входах; подать ему запретный вход — не победить его, а показать его границу. О перформативной ветви. Семья лжеца шире семантики: слово, вплетённое в дело, вяжет те же узлы — и решается той же вертикалью.
Родня по механизму
Мост Буридана (та же петля: обещание о проходе через слово о броске), Парадокс суда (тяжба об исходе самой тяжбы — дефектная родня), Лжец (чистая семантическая форма), Ньюком (предсказание, вплетённое в решение).
Машинная проверка. Именного разбора в базе нет — механика самооценки наследуется от лжеца (liar_is_ill_formed — ParadoxDiagnosis.v: оценка внутри оцениваемого); в реестре 46 — структурный, растворим (all_46_dissolvable, structural_46_dissolves — ParadoxDissolution.v). Карта — Формализация.
Категория: Структурные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс