D.16 · дефектный парадокс · подтип: Ошибка в рассуждении
Two Envelopes
Суть ошибки. Некорректное применение ожидаемой полезности
Точная формулировка
Два конверта; в одном вдвое больше денег, чем в другом. Вы взяли один — не вскрывая, вам предлагают обмен. Рассуждение: пусть в моём конверте X; в другом — 2X либо X/2, и то и другое с вероятностью 1/2; ожидание обмена = (2X + X/2)/2 = 1,25X > X — менять выгодно. Но то же рассуждение работает и для второго конверта — а после обмена оно повторяется вновь: менять, менять, менять. Симметричная задача породила вечно одностороннюю рекомендацию.
Происхождение
Прародитель — парадокс галстуков Мориса Крайчика (1930-е): двое спорят, чей галстук дороже, проигравший отдаёт свой; каждый считает игру выгодной — «рискую своим, выиграть могу более дорогой». Гарднер разнёс задачу в форме игры кошельков; конвертную форму с именем закрепил Налебафф («The Other Person’s Envelope is Always Greener», 1989). Дальше — редкий для головоломки путь: серьёзная байесовская литература (Зэйбелл, Брум и десятки других), вскрывшая слоистость дефекта — от простой подмены переменной до тонких вопросов о распределениях с бесконечным ожиданием, где узел смыкается с Санкт-Петербургским парадоксом.
Следствие
Учебный образец двух вещей. Для теории вероятностей — что «пусть в моём конверте X» не безобидная фраза: буква, введённая до различения гипотез, склеивает разные миры в одну формулу. Для теории решений — что вывод, ломающий симметрию задачи, самообличается: если задача не различает конверты, никакой корректный расчёт не может предпочесть один другому. Практическое потомство — гигиена условных ожиданий в статистике и финансах: считать ожидание можно только при фиксированном условии, а «равновероятно при любом наблюдённом значении» — сильное допущение о приорном распределении, чаще всего невозможное.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: два конверта, отношение 1:2, выбор, опция обмена. Структура симметрична: задача не различает конверты. Сигнал: рекомендация «менять» одностороння — симметрия уже нарушена где-то в расчёте.
Домен 2 — Прояснение: что означают термины? «X» — что это? Содержимое моего конверта — не число, а величина, зависящая от того, какая из двух гипотез верна: суммы в паре суть A и 2A; «у меня меньший» — X = A, «у меня больший» — X = 2A. Первый сигнал: одна буква обслуживает две разные величины.
Домен 3 — Выбор рамки: ожидаемая полезность — законный инструмент; рамка выбрана верно. Дефект ниже — в исполнении.
Домен 4 — Сравнение: как проведено? Здесь дефект. Формула (2X + X/2)/2 сравнивает «другой конверт» с «моим», держа X будто бы постоянным — но в слагаемом 2X буква X означает A (гипотеза «у меня меньший»), а в слагаемом X/2 — 2A (гипотеза «у меня больший»). Сравнение ведётся в плавающей единице: складываются величины из двух несовместимых миров, и сумма не означает ничего. Список сравнения заполнен незаконно. Сигнал: эквивокация переменной — арифметическая одежда подмены термина.
Домен 5 — Вывод: при принятом расчёте безупречен; порча внесена шагом раньше — в сравнении.
Домен 6 — Рефлексия: «менять вечно» и разлом симметрии — двойной сигнал; возврат к домену 4.
Диагноз
Домен ошибки: Домен 4 (сравнение). Тип: дефектный — ошибка в рассуждении: некорректное применение ожидаемой полезности. Нарушенные законы: Тождество — X обязана означать одну величину на протяжении одного расчёта, а означает две; Непротиворечие — симметричная задача не может давать одностороннюю рекомендацию. Суть дефекта: условное ожидание посчитано со склейкой условий: значения из разных гипотез сложены как значения одной. На триаде E/R/R: Правило сравнения (ожидание) применено к Элементу «X», который меняет референт между ветвями, — сравнение в нефиксированной рамке.
Растворение
Правильный счёт короток. Обозначь суммы честно: в паре лежат A и 2A. Если у меня меньший (вероятность 1/2), обмен приносит +A; если больший (1/2) — обмен приносит −A. Ожидание обмена: (+A − A)/2 = 0. Симметрия восстановлена, вечный обмен исчез — вместе с иллюзией «1,25X». Формула-обманка вскрыта: она складывала 2X из мира, где X = A, с X/2 из мира, где X = 2A, — две буквы одного имени, две разные величины; расчёт не о каком мире вообще. Байесовский слой добивает остаток: чтобы «2X или X/2 равновероятно» держалось при любом X, нужно равномерное априорное распределение на всех масштабах сумм — его не существует; при любом честном априори условная вероятность «у меня меньший» зависит от гипотетически увиденной суммы, и рекомендация перестаёт быть односторонней. Честная граница: существуют экзотические распределения (с бесконечным ожиданием), где условное «менять выгодно» держится при каждом наблюдённом значении, — там узел смыкается с Санкт-Петербургским: арифметика бесконечных ожиданий не переносится на решения, и это отдельный урок о границах инструмента, а не реабилитация формулы-обманки.
Урок
Об именах переменных. Одна буква — одна величина на весь расчёт; эквивокация переменной — та же подмена термина, что в софизмах, только в арифметической одежде, где её труднее заметить. О симметрии как детекторе. Вывод, ломающий симметрию задачи, обличает сам себя — проверь расчёт, не заводя новых сущностей. Об условиях ожидания. «Равновероятно при любом наблюдённом значении» — не оборот вежливости, а сильное допущение о приорном распределении; часто такого распределения нет.
Родня по механизму
Парадокс галстуков и игра кошельков (прямые предки — та же склейка гипотез), Санкт-Петербургский парадокс (бесконечные ожидания против решений — сосед честной границы), Ньюком (сосед по цеху теории решений — но там дефект в условиях, здесь в расчёте), софизмы подмены термина в каталоге ошибок (эквивокация — словесная форма того же).
Машинная проверка. В реестре 46 — D16_TwoEnvelopes: поле ConceptualAmbiguity (двоение референта X), уровень L2_Operations, категория «дефектный», растворение отводом посылки (defective_46_requires_rejection, all_46_dissolvable — ParadoxDissolution.v). Именного разбора нет — дефект эксплицируется честным счётом через A и 2A. Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс