N.7 · не-парадокс · подтип: Проблема выбора
Buridan’s Ass
Суть ошибки. Разрешается случайным выбором
Точная формулировка
Голодный осёл стоит ровно посередине между двумя одинаковыми стогами сена. Стога неотличимы: расстояние, размер, запах — всё поровну. У осла нет основания предпочесть один другому — а без основания рациональный агент не действует. Вывод: осёл умрёт от голода между двумя обедами. Общая форма: рациональный выбор при полном равенстве альтернатив невозможен.
Происхождение
Имя — историческая ирония: в сочинениях Жана Буридана осла нет. Корень старше — Аристотель («О небе») упоминает человека, равно голодного и жаждущего, застывшего между едой и питьём. Буридан обсуждал, может ли воля отложить выбор до выяснения большего блага, — осла ему приписали оппоненты как карикатуру: вот куда ведёт ваш интеллектуализм воли. Спиноза отрезал: кто в таком равновесии действительно погибнет — «должен считаться ослом, а не человеком». Лейбниц привлёк узел к принципу достаточного основания и ответил онтологически: идеальной симметрии в мире не бывает — двух неразличимых стогов нет. Неожиданное второе рождение — у инженеров: Лампорт назвал «принципом Буридана» метастабильность цифровых арбитров — схема, обязанная выбрать между двумя одновременными сигналами, может зависнуть в граничной зоне на неограниченное время; осёл добрался до микросхем.
Почему это не парадокс
Противоречия нет — есть ложная модель решения. Скрытая посылка сюжета: «рациональный акт требует основания предпочесть одну альтернативу другой». Она путает два разных основания: основание действовать (голод — оно есть и кричит) и основание предпочесть А, а не Б (его нет — и не нужно). Рациональность требует первого; второе нужно лишь модели, где единственное правило выбора — сравнение ценности. Реальные агенты — и честные алгоритмы — держат второе правило: разрешение ничьих. Ничья — законный вердикт сравнения, а не отказ системы; после вердикта «поровну» выбор передаётся другому механизму — жребию, привычке, порядку — и обед состоится. Умирает не осёл — умирает модель с одним правилом.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: агент, две равные альтернативы, голод, требование основания. Сигнал: вывод («умрёт») дико расходится с наблюдаемым миром — ни один осёл так не погиб.
Домен 2 — Прояснение: что означают термины? Здесь дефект ожидания. «Нет основания» — основания чего? Основание есть — присутствует (голод); основание предпочесть — отсутствует. Склейка «основания акта» с «основанием предпочтения» и рождает паралич. Сигнал: Достаточное Основание требует основания для действия — и оно в сюжете есть.
Домен 3 — Выбор рамки: модель агента с единственным Правилом (максимизируй предпочтение) — рамка не по объекту: полная система выбора содержит и правило сравнения, и правило разрешения ничьих.
Домен 4 — Сравнение: сравнение стогов честно даёт ничью — и это не сбой инструмента, а его законный вердикт: «равны».
Домен 5 — Вывод: внутри модели вывод верен — осёл модели умирает; это reductio модели, не мира.
Домен 6 — Рефлексия: расхождение модели с реальностью — сигнал чинить модель, не объявлять мир парадоксальным; возврат к доменам 2–3.
Диагноз
Категория: не-парадокс — проблема выбора: контринтуитивный вывод из усечённой модели. Место дефекта: ожидание, что рациональный выбор исчерпывается предпочтением. Нарушенных законов нет — напротив, узел утверждает один: разрешение равенств есть работа Закона Порядка. На триаде E/R/R: два Элемента с равными Ролями ценности; выбор не обязан идти через Роль ценности — Правило порядка решает без неё; смерть осла — артефакт модели, где такого Правила нет.
Разрешение
Развод оснований закрывает философскую часть: принцип достаточного основания требует основания для акта — голод его даёт; равенство стогов отменяет лишь предпочтение, не действие. Теория выбора добавляет имя: picking против choosing — выбор без предпочтения (первый попавшийся, жребий) — законная операция, и там, где ставки равны, рациональность его не терпит, а предписывает: тратить время на поиск несуществующего различия — вот что иррационально. Домашний слой — самый сильный: в Теории Систем разрешение связок — закон, пятый: конституирующий порядок. Система, встретив равных, берёт первого по порядку рассмотрения — детерминированно, без всякой «аксиомы выбора» и без различий в самих объектах; в формальной базе это несущая конструкция: l5_resolve_gen разрешает любой непустой список кандидатов (L5Resolution.v), и тем же порядком работает выбор максимума по индексу (EVT_idx.v). Буриданов осёл в этой архитектуре не голодает по построению. Честная граница — Лампорту: в непрерывной физике арбитра с двумя устойчивыми исходами граничная зона неустранима — схема может зависнуть; но это факт о непрерывной динамике бифуркаций, не о рациональности: инженерия отвечает порядком и таймаутом — тем же L5, отлитым в кремний.
Урок
О двух основаниях. Основание действовать и основание предпочесть — разные вещи; паралич наступает только при их склейке. О ничьих. Ничья — вердикт, не сбой; зрелая система правил обязана нести разрешитель ничьих, и произвол в нём — не порок, а конституирующий порядок. О моделях. Когда модель предсказывает смерть посреди двух обедов, хоронят модель; расхождение с миром — диагностика посылок, не открытие парадокса.
Родня по механизму
Мост Буридана (тёзка по Буридану — но механика другая: там самоссылочная норма, структурная семья), Ньюком (сосед по цеху теории решений), принцип Буридана у Лампорта (физическая тень узла в цифровых арбитрах), выбор из неразличимых в теории множеств (где без правила порядка и впрямь нужна аксиома — контраст, подсвечивающий L5).
Машинная проверка. Домашний разбор именной и несущий: l5_resolve_gen — детерминированное разрешение непустого списка кандидатов конституирующим порядком, l5_resolve_gen_some — непустой список всегда даёт выбор (src/L5Resolution.v); тот же закон в работе — argmax по индексу (src/EVT_idx.v). В реестре 46 — N7_BuridanAss: категория NonParadox (nonparadox_46_not_paradox, nonparadox_count_8 — ParadoxDissolution.v). Карта — Формализация.
Категория: Не-парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс