Парадокс Ньюкома: предсказатель, коробки и выбор

Два ящика стоят перед вами. Первый прозрачный - там тысяча рублей. Второй непрозрачный - там либо миллион, либо пусто. Вы можете взять оба или только второй. Сверхточный предсказатель уже решил, что положить: если он предвидел, что вы возьмёте оба ящика - второй пуст; если только второй - там миллион. Его точность близка к абсолютной. Что выбрать? Этот мысленный эксперимент, придуманный физиком Уильямом Ньюкомом в 1960-х годах, до сих пор раскалывает философов на два непримиримых лагеря.

Условия парадокса и два аргумента

Ситуация задаётся четырьмя элементами: два ящика, предсказатель с исторически подтверждённой точностью (~99%), уже принятое решение предсказателя и ваш предстоящий выбор. Ящик A всегда содержит 1 000 рублей, ящик B - либо 1 000 000, либо ничего.

Сторонники взять только B рассуждают так: предсказатель почти всегда прав; все, кто брал только B, уходили с миллионом; все, кто брал оба ящика, уходили с тысячей. Значит, надо брать только B.

Сторонники взять оба ящика рассуждают иначе: предсказатель принял решение до вашего выбора; что бы ни было в B, взяв оба вы получаете на тысячу больше; доминирующая стратегия - всегда брать оба.

Оба аргумента кажутся разумными - в этом и состоит парадокс.

Рассчитать для своей задачи

Причинная теория решений против доказательной

В основе конфликта лежит столкновение двух теорий принятия решений.

Причинная теория решений (Causal Decision Theory, CDT) утверждает: рациональный агент выбирает действие, которое причинно производит наилучший исход. Поскольку прогноз предсказателя уже зафиксирован и ваш выбор не может его изменить - взять оба ящика всегда добавляет 1 000 рублей независимо от содержимого B. Формально: причинная ожидаемая полезность U(оба) > U(только B) на 1 000 при любом состоянии мира.

Доказательная теория решений (Evidential Decision Theory, EDT) утверждает: рациональный агент выбирает действие, которое является наилучшим свидетельством хорошего исхода. Взять только B - статистически сильное свидетельство того, что B содержит миллион. Выбор «оба ящика» - свидетельство, что B пуст. EDT рекомендует брать только B.

Большинство экономистов и специалистов по теории игр склонны к CDT; многие философы - к EDT. Нет консенсуса.

Роль предсказателя: бог, алгоритм или иллюзия?

Центральный философский вопрос - как трактовать самого предсказателя. Здесь возникают три позиции.

Суперинтеллект или детерминистская вселенная: если предсказатель обладает полным знанием физического состояния вашего мозга, он действительно может предсказать выбор с произвольной точностью. Это предполагает детерминизм - будущее полностью определено прошлым. Тогда EDT права: ваш «выбор» и прогноз - два следствия одной причины, а не независимые события.

Статистический коррелят: предсказатель не знает будущего буквально, но выявил паттерны поведения. Люди с «однобоксерской» психологией склонны брать только B, а предсказатель просто классифицирует вас до вашего решения. Тогда парадокс - это вопрос о причинности корреляций.

Логически невозможная ситуация: некоторые философы считают, что сочетание «свободного выбора + почти безошибочного предсказания» противоречиво само по себе. Парадокс выявляет концептуальный изъян в постановке задачи, а не реальную дилемму.

Связь со свободой воли и детерминизмом

Парадокс Ньюкома пересекается с классической проблемой свободы воли. Если детерминизм верен и предсказатель в принципе может знать ваш выбор заранее - в каком смысле вы «свободны» выбирать? Вы лишь исполняете уже записанную партитуру.

Совместимисты (компатибилисты) ответят: свобода воли не требует индетерминизма - достаточно, чтобы действие происходило из ваших желаний и рассуждений, даже если они причинно детерминированы. Инкомпатибилисты возразят: если предсказатель знает ваш выбор до того, как вы его «совершили», слово «выбор» теряет смысл.

Подробнее о пересечении парадоксов и свободы воли - в разборе парадокса Буриданова осла.

Рассчитать для своей задачи

Эксперименты и интуиции людей

Несмотря на академическую природу, парадокс активно тестировали на реальных людях. Исследования показывают раскол примерно 50/50 или небольшой перевес в пользу «только B» - то есть едт-стратегии. Интересно, что люди с экономическим образованием чаще выбирают «оба ящика» (CDT), а философы - чаще «только B» (EDT).

Психологически выбор «только B» опирается на принцип максимизации ожидаемой ценности с учётом условной вероятности: P(миллион | только B) ≈ 0.99, поэтому ожидаемая ценность ≈ 990 000 рублей. Ожидаемая ценность «оба» ≈ 0.01 × 1 001 000 + 0.99 × 1 000 = 11 000 рублей. EDT-расчёт явно предпочитает однобоксерство.

CDT-сторонники парируют: эти вероятности - не истинные причинные вероятности, а лишь корреляции. Если бы выбор реально влиял на прогноз - можно было бы передумать после того, как B уже наполнен или пуст.

Варианты и расширения парадокса

Философы разработали ряд вариаций, каждая из которых освещает новый аспект.

Прозрачная версия: вы видите содержимое B до выбора. Если там пусто - CDT говорит брать оба (дополнительная тысяча). EDT: взяв оба, вы делаете ставку на мир, где предсказатель ошибся, - это крайне маловероятно; всё равно брать только B. Парадокс не исчезает.

Повторяющаяся версия: вы играете 100 раз. Статистика накапливается. Однобоксеры реально богатеют быстрее - чисто эмпирически. Но CDT по-прежнему настаивает: на каждом отдельном шаге доминирует «оба».

Версия с числовым предсказателем: вместо предсказателя-агента - алгоритм, который анализирует ваш код решения (если вы - робот). Тут однобоксерство доминирует: программа, выбирающая только B, гарантированно получает миллион; программа, выбирающая оба, - только тысячу. Это повлияло на дискуссию о рациональности ИИ-агентов.

Парадокс Ньюкома и теория игр

В классической теории игр действия игроков причинно независимы от прошлых состояний природы. Парадокс Ньюкома нарушает это допущение, вводя нестандартную корреляцию между прошлым действием предсказателя и будущим выбором игрока. Это делает задачу «одноагентной игрой против природы с ретроактивной структурой».

Связь с парадоксом Элсберга очевидна: оба демонстрируют, что реальное поведение людей систематически отклоняется от предписаний классической теории ожидаемой полезности. Ньюкомовский парадокс острее - он вскрывает разрыв не в предпочтениях риска, а в самой концепции причинности.

Частые ошибки

• «Предсказатель - мошенник, поэтому задача бессмысленна». Задача предполагает его сверхточность как аксиому. Сомнение в реалистичности - законное, но отдельное возражение, не решение парадокса.
• «Очевидно: бери оба - дополнительная тысяча всегда лучше». Это аргумент CDT, а не тривиальная истина. EDT с равной внутренней логикой рекомендует обратное.
• «Если взять только B и там пусто, значит, стратегия была неверной». Ожидаемая ценность рассчитывается до наблюдения исхода, а не после. Проигрыш не опровергает стратегию.
• «Парадокс доказывает детерминизм». Нет - он лишь выявляет противоречие между двумя нормативными теориями решений при допущении высокой точности предсказателя.
• «В реальности предсказателей нет, так что задача академическая». Структура задачи воспроизводится в ИИ-агентах, где программа выбора известна исполнителю заранее.

FAQ

Кто придумал парадокс Ньюкома? Физик Уильям Ньюком сформулировал задачу около 1960 года. Широкую известность она получила после публикации философа Роберта Нозика в 1969 году. Нозик первым детально проанализировал конфликт двух стратегий и признал, что не знает, какая верна.

Есть ли «правильный» ответ? Единого академического консенсуса нет. CDT считается стандартом в формальной теории решений и экономике; EDT популярнее среди философов, занимающихся причинностью. Сам Нозик говорил: если вы не испытываете ни малейшего замешательства - возможно, вы недостаточно внимательно обдумали задачу.

Как парадокс связан с проблемой предопределённости? Если предсказатель абсолютно точен, ваш выбор детерминирован вашим психологическим типом, который был известен до вашего рождения. Это превращает задачу в иллюстрацию жёсткого детерминизма. Многие философы считают именно это допущение самым уязвимым местом в формулировке парадокса.

Коротко

Парадокс Ньюкома сталкивает два принципа рациональности: брать оба ящика (причинное доминирование) против брать только один (доказательный аргумент от корреляции с предсказателем). Причинная теория решений (CDT) выбирает оба; доказательная теория решений (EDT) - один. Парадокс связан со свободой воли, детерминизмом и природой причинности, а не решается простым расчётом ожидаемой ценности. Среди профессиональных философов нет консенсуса - и именно это делает его одной из самых острых проблем нормативной теории рациональности.