S.6 · структурный парадокс · подтип: Семантический
Curry’s Paradox
Суть ошибки. Условное включает себя в антецедент
Точная формулировка
C: «Если это высказывание истинно, то дважды два — пять» (вместо следствия годится что угодно). Допустим, C истинно; тогда выполняется то, что оно говорит: «если C истинно, то дважды два — пять»; но C истинно по допущению — значит, дважды два пять. Итого из допущения «C истинно» выведено «дважды два — пять»; но ровно это — «если C истинно, то дважды два пять» — и есть содержание C: мы доказали C уже без всяких допущений. Тогда C истинно — и дважды два пять. Тем же ходом доказывается всё что угодно — конструкция не противоречива, она всеядна, что хуже.
Происхождение
Хаскелл Карри, 1942 — узел найден в комбинаторной логике при анализе оснований; родственные формы у Лёба (парадокс Лёба на доказуемости) и в средневековых insolubilia (Альберт Саксонский разбирал подобные условные). Построен намеренно — как удар в обход отрицания: в лжеце работает «ложно», и можно надеяться спастись, ослабив отрицание; Карри собирает беду из одних импликации и самоссылки — отрицание не участвует вовсе.
Следствие
Главный технический урок XX века о семье лжеца: дефект не в отрицании. Параконсистентные логики, разрешающие противоречия, и трёхзначные семантики, гасящие «ложно», против Карри бессильны — он не производит противоречия, он производит всё, тривиализуя систему. Потому формальные ответы бьют глубже: субструктурные логики ограничивают правило сжатия (contraction — двойное использование допущения), теории истины ограничивают само условное. Для нашего каталога Карри — свидетель обвинения против диалетеизма: принять противоречия лжеца — не спастись, Карри тривиализует и параконсистентный мир.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: условное высказывание; антецедент «это высказывание истинно» (указание на всю конструкцию); произвольный консеквент. Структура: условное включает собственную оценку истинности в своё же условие. Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? «Если… то» — переход по основанию; правило вывода в форме высказывания. Первый сигнал: антецедент — не факт о мире, а оценка самой конструкции; условное «срабатывает» от суждения о себе самом.
Домен 3 — Выбор рамки: адекватен ли инструмент объекту? Здесь дефект — тот же, что у лжеца, лишь спрятанный в антецедент: оценка истинности (уровень 2) вложена внутрь оцениваемого (уровень 1). Разница только в упаковке: лжец кладёт самооценку под отрицание, Карри — в условие. Тождество и Непротиворечие держат ту же границу: оцениваемое и оценивающее — разные роли одного акта. Сигнал: смешение уровней, замаскированное безобидной связкой.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: при допущенном смешении каждый шаг безупречен — допущение, modus ponens, условное доказательство. Именно безупречность вывода и делает узел показательным: беда не в шагах.
Домен 6 — Рефлексия: итог — доказуемость произвольного: сильнейший сигнал системной беды; возврат к домену 3 — самооценка в антецеденте.
Диагноз
Домен ошибки: Домен 3 (выбор рамки). Тип: структурный — вертикальное смешение уровней, форма без отрицания. Нарушенные законы: Тождество · Непротиворечие (оцениваемое/оценивающее в одном акте); следствие нарушения — крах Достаточного Основания: «доказуемо всё» уничтожает само основание как различие. Суть дефекта: предикат «истинно» о самой конструкции вложен в её антецедент; самооценка — та же, что у лжеца, упаковка другая. На триаде E/R/R: элемент применяет Правило к себе — через условие.
Растворение
«Это высказывание истинно» внутри высказывания — не условие, а смешение уровней: оценка живёт этажом выше оцениваемого, и антецедент C не имеет содержания, пока C не сформировано, — а C не сформировано, пока антецедент пуст. Круг не вяжется: конструкция не выражает суждения, срабатывать нечему. Формальные лекарства — ограничение сжатия, стратификация предиката истинности — размыкают тот же круг технически; наше чтение объясняет, почему они работают: возвращают оценку на её этаж. Всеядность узла — не глубина, а симптом: система, где самооценка легальна, не различает истинного и ложного вовсе.
Урок
О месте дефекта. Семья лжеца лечится не правкой отрицания и не терпимостью к противоречиям — только возвратом оценки на её уровень: Карри доказывает это от противного. О масках самооценки. Самоссылка-с-оценкой прячется в любой связке — отрицании, условии, доказуемости (Лёб); проверка вертикали обязана смотреть в антецеденты. О цене терпимости. «Примем противоречие» — не выход: за лжецом приходит Карри и забирает всё.
Родня по механизму
Лжец (та же самооценка под отрицанием), парадокс Лёба (то же на предикате доказуемости), Ябло (самооценка без самоссылки), валидационная форма Карри («этот вывод корректен → P»).
Машинная проверка. Именного разбора в базе нет — механика самооценки наследуется от лжеца (liar_is_ill_formed, liar_violation — ParadoxDiagnosis.v); в реестре 46 узел классифицирован структурным с гарантией растворимости (all_46_dissolvable, structural_46_dissolves — ParadoxDissolution.v). Карта — Формализация.
Категория: Структурные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс