S.11 · структурный парадокс · подтип: Теоретико-множественный
Barber Paradox
Суть ошибки. Правило применяется к создателю правила
Точная формулировка
В деревне живёт брадобрей, который бреет всех тех и только тех жителей, кто не бреется сам. Кто бреет брадобрея? Если он бреется сам — он нарушает правило: бреет того, кто бреется сам. Если не бреется — по правилу обязан себя брить: он житель, не бреющийся сам. Оба ответа ломают правило.
Происхождение
Народная одежда парадокса Рассела. Форму предложили Расселу как «популярную версию» его открытия; сам Рассел (1918) её принял с оговоркой — и оговорка поучительнее самой истории: конструкции не тождественны. Множество R наивная теория гарантировала — принцип «любое свойство собирает множество» обещал его существование, и противоречие било по теории. Брадобрея никто не гарантировал: его существование — просто допущение рассказа.
Следствие
Ценность узла — педагогическая, и двойная. Он делает структуру Рассела осязаемой: исполнитель правила поставлен под собственное правило — уровень исполнителя и уровень подчинённых смешаны. И он же учит различать ставки: где конструкция лишь рассказана, противоречие опровергает рассказ («такого брадобрея нет» — и всё); где конструкция гарантирована теорией, противоречие опровергает теорию — потому Рассел потряс основания, а брадобрей остался анекдотом. Парадокс делает не самоссылка — парадокс делает теория, обещающая невозможное.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: жители; правило бритья («всех тех и только тех, кто не бреется сам»); исполнитель правила — брадобрей, сам житель. Структура: область правила захватывает его исполнителя. Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? «Все жители» — включая брадобрея? В быту исполнитель молчаливо исключается из области собственной службы (судья не судит свои дела); формулировка узла нарочно закрывает эту лазейку словами «всех и только тех». Первый сигнал: правило без исключения для исполнителя.
Домен 3 — Выбор рамки: адекватен ли инструмент объекту? Здесь дефект. Правило — операция над жителями (уровень 2 над уровнем 1); брадобрей — его исполнитель, живущий на уровне операции. Вопрос «бреет ли брадобрей себя?» требует, чтобы исполнитель стоял в очереди подчинённых собственного правила — быть оператором и операндом в одном акте. Тождество: исполняющее не есть подчинённое; Непротиворечие: не быть обоими разом. Сигнал: смешение уровней — как у Рассела, лишь в декорациях деревни.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: обе ветви валидны. Проблема не в выводе.
Домен 6 — Рефлексия: противоречие — но, в отличие от Рассела, здесь есть простой выход уровнем ниже: усомниться в посылке существования. Возврат к домену 3 — и к вопросу, кто вообще обещал такого брадобрея.
Диагноз
Домен ошибки: Домен 3 (выбор рамки). Тип: структурный — вертикальное смешение уровней, нарративная форма. Нарушенные законы: Тождество · Непротиворечие (исполнитель/подчинённый в одном акте). Суть дефекта: правило применено к собственному исполнителю; область операции захватила оператора. На триаде E/R/R: Роль (исполнитель Правила) втиснута в Элементы (подчинённые Правила).
Растворение
Тривиально — и в этой тривиальности урок. Правило «брить всех и только тех, кто не бреется сам» невыполнимо ни одним жителем: описанного брадобрея не существует — рассказ противоречив, как рассказ о женатом холостяке. Никакой теории при этом не больно: существование не было гарантировано. Альтернатива — честная поправка правила: исполнитель вне области (как судья не судит свои дела) — и деревня живёт спокойно. Оба выхода уважают одну вертикаль: оператор не операнд. Контраст с Расселом доводит урок до конца: там «такого множества нет» не отделаться — наивный принцип его обещал, и рушить пришлось принцип.
Урок
О ставках. Противоречие опровергает слабейшее звено: рассказ — если конструкция рассказана, теорию — если гарантирована; различай, что поставлено. Об исключении исполнителя. Зрелые системы правил выносят оператора из области операции не из скромности, а по логике — иначе правило некогерентно. О народных формах. Перевод парадокса в быт сохраняет механику, но меняет цену; сила Рассела — не в брадобрее, а в обещании наивной теории.
Родня по механизму
Рассел (гарантированная теорией форма — потому смертельная), Греллинг (правило-классификация о себе), Крокодил и Мост Буридана (правила, зависящие от высказываний о собственном исполнении), «кто сторожит сторожей» (исполнитель контроля под контролем).
Машинная проверка. Механика — расселовская: russell_is_ill_formed, russell_violation (src/foundation/ParadoxDiagnosis.v), russell_invalid (ParadoxDissolution.v); в реестре 46 — структурный, растворим (all_46_dissolvable, structural_46_dissolves). Карта — Формализация.
Категория: Структурные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс