N.5 · не-парадокс · подтип: Эпистемическая особенность
Lottery Paradox
Суть ошибки. Вера в отдельное ≠ вера в конъюнкцию
Точная формулировка
Честная лотерея: тысяча билетов, выигрывает ровно один. О любом билете рационально полагать: «этот не выиграет» — шанс ошибиться одна тысячная. Но если рационально верить это о первом, втором, … тысячном билете, то, собрав веры вместе, получаем «ни один билет не выиграет» — а достоверно известно обратное: какой-то выиграет. Рациональные веры по отдельности складываются в иррациональную вместе.
Происхождение
Генри Кибург, «Probability and the Logic of Rational Belief» (1961) — узел построен нарочно, как тест на понятие рационального принятия: можно ли считать «убеждением» всё, что превышает порог вероятности? Через четыре года Макинсон предъявил близнеца из жизни — парадокс предисловия, и пара стала стандартным полигоном эпистемологии: на ней проверяются теории принятия, знания и агрегирования убеждений. Лагеря определились быстро: Кибург жертвовал замыканием убеждений под конъюнкцией; байесовская линия — самим бинарным «принятием» (есть лишь степени уверенности, и никакого порога «теперь верю»); третьи делают порог контекстным. Спор жив, но природа узла ясна и бесспорна — и она не парадоксальна.
Почему это не парадокс
В вероятностях противоречия нет ни на волос: P(билет i проиграет) = 999/1000 для каждого i, P(все проиграют) = 0 — обе оценки верны и совместны, теория вероятностей именно так и устроена: конъюнкция высоковероятных не обязана быть высоковероятной. «Противоречие» рождается только при добавлении внешнего шага — бинаризации: правило «вероятность выше порога → прими как убеждение» плюс привычка складывать принятое конъюнкцией. Триада «пороговое принятие + замыкание под конъюнкцией + непротиворечивость» несовместима — это не парадокс, а теорема о цене квантования: округляя степени до «да/нет», теряешь именно ту информацию, которая держала согласованность. Дефект — в ожидании, что пороговая вера ведёт себя как знание.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: билеты, вероятности, порог принятия, операция конъюнкции, достоверное «один выиграет». Сигнал: градуированная шкала и бинарные веры в одном сюжете.
Домен 2 — Прояснение: что означают термины? Здесь дефект ожидания. «Рационально верить» — что это? Если степень уверенности 0,999 — всё согласовано и парадокса нет. Если бинарное «принял» по порогу — то это другой объект: округление степени, и свойства степени (согласованность при агрегировании) он не наследует. Сигнал: два смысла «веры» склеены.
Домен 3 — Выбор рамки: логика убеждений (замыкание под конъюнкцией — свойство знания) приложена к пороговым принятиям — инструмент знания на объекте-округлении.
Домен 4 — Сравнение: поучительно: тысяча однотипных вер «по 0,999» — и их агрегат «0» — несохранение свойства при агрегировании, статистический родич Симпсона.
Домен 5 — Вывод: каждый шаг честен; несовместима тройка посылок о принятии — и ровно одну из них надо отдать.
Домен 6 — Рефлексия: «рациональное складывается в иррациональное» — сигнал: проверь операцию складывания; возврат к домену 2.
Диагноз
Категория: не-парадокс — эпистемическая особенность. Место дефекта: ожидание — что пороговое принятие закрыто под конъюнкцией, как знание. Нарушенных законов нет: вероятностный слой согласован; несовместимость живёт между тремя конвенциями о «принятии». На триаде E/R/R: степень уверенности — градуированная Роль на Элементе-билете; «принять» — бинарное Правило порога; конъюнкция — операция, которую Правило порога не переживает: свойство одиночных применений перенесено на агрегат.
Разрешение
Счётный слой: вероятность «ни один из тысячи не выиграет» в честной лотерее равна нулю точно — конъюнкция определена и достоверно ложна; никакого напряжения в самих вероятностях. Концептуальный слой — выбор, какую посылку отдать. Байесовский ход: отдать бинарное принятие — убеждения суть степени, «верю, что билет не выиграет» значит «уверен на 0,999», и складываются степени по правилам вероятности, а не конъюнкцией: иррациональность не возникает нигде. Ход Кибурга: сохранить принятие, отдать замыкание — принятые по порогу веры не складываются свободно; честно, но дорого: «верю в A» и «верю в B» без права на «верю в A и B». Общий итог обоих ходов один: пороговая вера — не малое знание; знание закрыто под конъюнкцией, потому что стоит на основаниях, а не на частоте; округление степени до «да» оснований не прибавляет. Различие веры и знания по статусу — домашняя тема: см. раздел о статусе веры на странице Правда и истина.
Урок
О квантовании. Округление градуированного до бинарного — потеря информации, и агрегаты округлений врут: сравни сорит — там порог на куче песка, тут на шкале уверенности. О замыкании. Закрытость под конъюнкцией — привилегия знания, не всякой «рациональной веры»; проверяй, чем оплачено «верю», прежде чем складывать. О статусе узла. Никакого противоречия в мире и в вероятностях — несовместимы конвенции о слове «принять»; выбор конвенции — дело теории, не загадка бытия.
Родня по механизму
Предисловие (близнец от Макинсона: та же тройка в декорации авторской скромности), Симпсон (несохранение свойства при агрегировании), Сорит (порог на градуированной шкале — структурный родич), Ложноположительные (сосед по категории: цена подмены вероятностных величин).
Машинная проверка. В реестре 46 — N5_Lottery: категория NonParadox; статус категории формализован (nonparadox_46_not_paradox, nonparadox_count_8 — ParadoxDissolution.v). Счётное ядро — точная Q-арифметика (999/1000 на билет, 0 на конъюнкцию при «ровно одном выигрыше») — кандидат ветки «Вероятность»; несовместимость тройки посылок о принятии — кандидат на трёхстрочную формализацию (см. Формализация).
Категория: Не-парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс