Парадокс Ньюкома

Парадокс Ньюкома — это мысленный эксперимент в теории принятия решений и философии, демонстрирующий конфликт между двумя фундаментальными принципами рационального выбора: принципом максимизации ожидаемой полезности и принципом доминирования. Парадокс был сформулирован в 1960 году физиком Уильямом Ньюкомом, а широкую известность получил после публикации философа Роберта Нозика в 1969 году. Суть парадокса заключается в ситуации, где предсказание будущего поведения агента влияет на исход, что ставит под сомнение непротиворечивость классических теорий рациональности.

Формулировка парадокса

Парадокс Ньюкома описывается следующей ситуацией. Перед испытуемым находятся два непрозрачных ящика:

• Ящик A: прозрачный, в нём лежит 1000 долларов (или любая другая фиксированная сумма).
• Ящик B: непрозрачный, в нём может быть либо 1 000 000 долларов, либо ничего.

Испытуемый может сделать один из двух выборов:

1. Взять только содержимое ящика B (одноходовой выбор).
2. Взять содержимое обоих ящиков (двухходовой выбор).

Перед выбором действует Предсказатель — существо или механизм, обладающий чрезвычайно высокой точностью предсказаний (например, 99% или 100%). Предсказатель заранее, до выбора испытуемого, определяет, какое действие тот совершит, и на основе этого помещает деньги в ящик B:

• Если Предсказатель считает, что испытуемый возьмёт только ящик B, он кладёт в него 1 000 000 долларов.
• Если Предсказатель считает, что испытуемый возьмёт оба ящика, он оставляет ящик B пустым.

Испытуемому известны все правила игры и высокая точность Предсказателя. Парадокс возникает, когда два интуитивно убедительных способа рассуждения приводят к противоположным выводам.

Два подхода к решению

Аргумент «двухходовика» (принцип доминирования)

Сторонник выбора обоих ящиков рассуждает следующим образом. Решение Предсказателя уже принято и не может измениться в момент выбора испытуемого. Содержимое ящика B фиксировано: либо там миллион, либо ноль. Вне зависимости от того, что решил Предсказатель, выбор обоих ящиков всегда даёт на 1000 долларов больше, чем выбор только одного ящика B. Если в B миллион, то взяв оба, испытуемый получает 1 001 000, а не 1 000 000. Если в B ноль, то взяв оба, он получает 1000, а не 0. Таким образом, стратегия «взять оба» строго доминирует стратегию «взять только B»: при любом состоянии мира она приносит большую выгоду. Этот аргумент основан на принципе доминирования, который является краеугольным камнем теории игр и принятия решений.

Аргумент «одноходовика» (принцип максимизации ожидаемой полезности)

Сторонник выбора только ящика B рассуждает иначе. Поскольку Предсказатель чрезвычайно точен, его предсказание является надёжным индикатором будущего. Если испытуемый выберет оба ящика, Предсказатель, скорее всего, предсказал это, и ящик B пуст — испытуемый получит 1000 долларов. Если же он выберет только ящик B, Предсказатель, скорее всего, предсказал это, и в ящике B миллион — испытуемый получит 1 000 000 долларов. Следовательно, ожидаемая полезность выбора только ящика B (1 000 000 × 0,99 + 0 × 0,01 ≈ 990 000) значительно выше, чем ожидаемая полезность выбора обоих ящиков (1 001 000 × 0,01 + 1000 × 0,99 ≈ 10 010). Этот аргумент основан на принципе максимизации ожидаемой полезности, который является основой нормативной теории принятия решений.

Философское значение и интерпретации

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

Свобода воли и детерминизм

Парадокс обостряет проблему свободы воли. Если Предсказатель абсолютно точен (гарантированно предсказывает выбор), то у испытуемого нет реальной свободы выбора: его решение предопределено. Однако сам факт того, что испытуемый может осознанно выбрать стратегию, пытаясь «обмануть» предсказателя, создаёт напряжение. Философы, придерживающиеся компатибилизма (совместимости свободы воли и детерминизма), часто утверждают, что выбор обоих ящиков является рациональным, так как он основан на принципе доминирования, не требующем допущения о предопределённости.

Причинность и корреляция

Ключевой спор в парадоксе касается направления причинности. С точки зрения «двухходовика», выбор испытуемого не влияет на прошлое решение Предсказателя. С точки зрения «одноходовика», выбор испытуемого коррелирует с решением Предсказателя, и эту корреляцию можно использовать для максимизации выигрыша. Парадокс демонстрирует, что в ситуациях с обратной связью (когда знание о будущем влияет на настоящее) принцип доминирования может вступать в противоречие с принципом максимизации ожидаемой полезности. Некоторые философы, такие как Дэвид Льюис, предлагали рассматривать парадокс как пример «причинно-следственной петли» в контексте путешествий во времени.

Теория принятия решений

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

Критика и контраргументы

Проблема реалистичности предсказателя

Основная критика парадокса заключается в том, что он предполагает существование Предсказателя с невозможными в реальном мире способностями. Если Предсказатель не является абсолютно точным, а лишь высоковероятностным, аргумент «одноходовика» ослабевает, так как появляется шанс, что выбор двух ящиков может принести 1 001 000 долларов. Критики утверждают, что парадокс является искусственной конструкцией, не имеющей отношения к реальным решениям, где предсказания всегда вероятностны и несовершенны.

Аргумент о «независимости» решений

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

Парадокс как аргумент против «двухходовика»

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

Интересные факты

• Парадокс Ньюкома часто используется в качестве теста на интуитивные представления о рациональности в опросах среди профессиональных философов. Результаты таких опросов показывают значительный разброс мнений: примерно половина респондентов выбирает один ящик, половина — оба.
• Парадокс тесно связан с проблемой «Ньюкомба-Беккера» (Newcomb-Beckler problem), где предсказатель является несовершенным, но его предсказания статистически значимы.
• В математической теории игр парадокс Ньюкома рассматривается как пример игры с несовершенной информацией, где один из игроков (Предсказатель) обладает информацией о будущем поведении другого игрока.

Источники

• Nozick, R. (1969). Newcomb’s Problem and Two Principles of Choice. In N. Rescher (Ed.), Essays in Honor of Carl G. Hempel.
• Lewis, D. (1981). Causal Decision Theory. Australasian Journal of Philosophy, 59(1), 5-30.
• Joyce, J. M. (1999). The Foundations of Causal Decision Theory. Cambridge University Press.
• Bostrom, N. (2001). The Doomsday Argument, Adam & Eve, UN++, and Quantum Joe. Synthese, 127(3), 359-387.
• Stanford Encyclopedia of Philosophy. (2021). Newcomb’s Problem.