D.11 · дефектный парадокс · подтип: Скрытое противоречие
Newcomb’s Paradox
Суть ошибки. Конфликт детерминизма (для предсказания) и свободы (для выбора)
Точная формулировка
Перед вами две коробки. Коробка А прозрачна — в ней 1 000 долларов. Коробка Б непрозрачна — в ней либо 1 000 000, либо ничего. Можно взять обе или только Б. Предсказатель с точностью 99,9% уже наполнил коробки: предвидел, что возьмёте обе, — оставил Б пустой; предвидел, что только Б, — положил миллион. Аргумент доминирования: коробки уже наполнены, ваш выбор их не изменит — при любом содержимом «обе» даёт на тысячу больше; берите обе. Аргумент ожидаемой полезности: берущие только Б уходят с ~999 000, берущие обе — с ~2 000; берите Б. Оба принципа кажутся самоочевидными — и дают противоположные ответы.
Происхождение
Редкий парадокс с точным автором: Уильям Ньюком, физик-теоретик Ливерморской лаборатории, придумал задачу около 1960 года в разговорах с коллегами. Устная традиция донесла её до Роберта Нозика; публикация 1969 года («Newcomb’s Problem and Two Principles of Choice») произвела взрыв — Мартин Гарднер отметил небывалую резкость раскола экспертов. Раскол устойчив: опросы философов дают около 50/50, позиция не коррелирует ни со школой, ни с областью, и каждая сторона считает свой ответ очевидным. Дебаты оформились в противостояние теорий решения: каузальная (Гиббард, Харпер, Льюис — «рационально причинять себе благо; корреляция без каузации — не основание») против эвиденциальной (Джеффри — «выбор есть свидетельство о том, в каком мире ты находишься»). Парфит предложил развести вопросы «что рационально сделать» и «каким рационально быть»; строились новые теории (функциональная и другие) — консенсуса нет полвека. Эмпирика: 60–70% испытуемых берут только Б; аргументация не сдвигает распределение, лишь укрепляет каждую сторону.
Следствие
Структура узла воспроизводится там, где выбор коррелирует с тем, чего не причиняет. Дилемма заключённого: с похожим на тебя партнёром «сотрудничать» коррелирует с его сотрудничеством — связь с Ньюкомом отметил сам Нозик. Проблема Соломона: общий фактор влияет и на предпочтение, и на исход — выбор не причиняет болезнь, но свидетельствует о ней. Копии и симуляции: выбор коррелирует с выбором копий. Выравнивание ИИ: какую теорию решений закладывать в агента — вопрос практический, и парадокс Ньюкомба служит его пробным камнем. Варианты формулировки проясняют устройство: прозрачная коробка, пилюля за вчерашние деньги, версия вовсе без Предсказателя — голая статистическая корреляция даёт тот же узел без мистики.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: две коробки, Предсказатель, два варианта выбора, правило наполнения, точность 99,9%. Структура ясна; сигнала пока нет.
Домен 2 — Прояснение: что означают термины? Здесь дефект. «Предсказатель свободных решений с точностью 99,9%» — два допущения в одном условии: ваш выбор предсказуем почти абсолютно (детерминизм типа) — и вы действительно выбираете (свобода акта). Формально совместимы, по существу — в напряжении: именно на разные стороны его опираются оба аргумента. Доминирование предполагает свободу — выбор сейчас независим от прошлого наполнения; ожидаемая полезность предполагает детерминизм — тип определяет и выбор, и содержимое. Сигнал: скрытое противоречие условий.
Домен 3 — Выбор рамки: обе теории решения — честные рамки; каждая законна на своём допущении. Дефект ниже — в условиях.
Домен 4 — Сравнение: расчёты обеих сторон верны. Не здесь.
Домен 5 — Вывод: оба рассуждения внутренне валидны — редкий и диагностический случай: два безупречных вывода к противоположным ответам. Проблема не в логике.
Домен 6 — Рефлексия: полвека равного раскола экспертов — сигнал: несовместимы посылки, не школы; возврат к домену 2.
Диагноз
Домен ошибки: Домен 2 (прояснение). Тип: дефектный — скрытое противоречие в условиях. Нарушенные законы: Непротиворечие — условия требуют разом принять свободу выбора (иначе нечего «выбирать») и его предсказуемость (иначе необъяснима точность). Суть дефекта: два внутренне валидных аргумента, делящих экспертов пополам, — симптом противоречивых посылок, а не трудного вопроса. На триаде E/R/R: одному Элементу — акту выбора — назначены две несовместимые Роли: свободный поступок для игрока и вычислимая функция типа для Предсказателя.
Растворение
Экспликация противоречия закрывает «парадокс». Принявший свободу правильно берёт обе: содержимое зафиксировано, доминирование корректно. Принявший детерминизм правильно берёт Б: «выбор» — проявление типа, уже учтённого, ожидаемая полезность корректна. Противостояние аргументов — точный слепок противоречия условий; после экспликации остаётся не загадка, а выбор допущения. Практический же вопрос «что делать?» имеет и ход на мета-уровне: Предсказатель предсказывает детерминированную логику принятия решений — его 0,1% ошибок выдаёт, что случайность ему не дана. Подбросьте монету: рандомизация выводит из класса предсказуемого — это не уклонение, а решение уровнем выше, выбор метода выбора. Эмпирия подтверждает: в пенальти оба — бьющий и вратарь — рандомизируют близко к теоретическому оптимуму (Паласиос-Уэрта, тысячи ударов): любой детерминированный паттерн против предсказателя обнаруживается и используется.
Возражения и ответы
«Предсказатель невозможен». Ответ: узел не держится на 99,9% — он работает и при 90%, и при 75%; предсказуемость человеческих решений — вопрос эмпирический, а версия без Предсказателя (чистая корреляция) воспроизводит парадокс целиком.
«Предсказатель знает и результат монеты». Ответ: тогда откуда его 0,1% ошибок? Ошибки — ровно те случаи, где предсказание не сработало; значит, предсказывается детерминированная логика, а не физическая случайность — и монета остаётся выходом.
Урок
О скрытых противоречиях. Два убедительных аргумента к противоположным выводам — не повод выбирать сторону, а повод проверить совместимость допущений. О свободе и предсказании. Напряжение узла живёт везде, где нас предсказывают, — в экономике, технологиях, отношениях; Ньюком лишь кристаллизует его до двух коробок. О мета-уровне. Иногда решение — не ответ на вопрос, а смена способа отвечать: рандомизация как выбор метода выбора.
Родня по механизму
Неожиданная казнь (сосед по семье: там противоречие условий явно при экспликации, здесь скрыто), Крокодил (предсказание, вплетённое в правило, — структурная родня), дилемма заключённого (корреляция без каузации), проблема Соломона (общая причина предпочтения и исхода).
Машинная проверка. В реестре 46 — D11_Newcomb, и диагноз зашит в саму запись: поле рассогласования — HiddenDeterminism, скрытый детерминизм; категория «дефектный», уровень L2_Operations, растворение отводом посылки (defective_46_requires_rejection, all_46_dissolvable — ParadoxDissolution.v). Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс