N.6 · не-парадокс · подтип: Эпистемическая особенность
Preface Paradox
Суть ошибки. Рационально признавать вероятность ошибки
Точная формулировка
Автор написал добросовестную книгу: каждое утверждение проверено, в каждое он верит. В предисловии он пишет, как принято: «за ошибки, которые наверняка остались, ответственность моя». Итого: он рационально верит в каждое утверждение книги — и рационально верит, что хотя бы одно из них ложно. Вместе эти веры невыполнимы: не бывает, чтобы все утверждения были истинны и хотя бы одно ложно. Рациональный автор, похоже, обязан быть непоследовательным.
Происхождение
Дэвид Макинсон, «The Paradox of the Preface» (Analysis, 1965) — близнец лотереи Кибурга, найденный не в задачнике, а в живой практике: скромная фраза предисловия оказалась логическим экспонатом. Пара «лотерея — предисловие» с тех пор ходит вместе, но роли у близнецов разные: лотерея строит веры счётом, однородно и априорно; предисловие — эмпирически и честно: все прежние книги всех авторов содержали ошибки, индукция даёт вере «и у меня есть» твёрдое основание. Потому предисловие сильнее жалит теории рациональности: скромную мета-веру нельзя отбросить как искусственную — она сама образец рациональности. Узел стал знаменем фаллибилизма: погрешимость — не порок агента, а его честное состояние.
Почему это не парадокс
Никакого противоречия в мире и в степенях уверенности нет. Пусть автор уверен в каждой из трёхсот страниц на 0,99 — превосходная надёжность; тогда уверенность в безошибочности всей книги — произведение сомножителей — около 0,05, и вера «где-то есть ошибка» весит 0,95: обе веры согласованы и обе рациональны, конфликт появляется лишь при округлении степеней до «да/нет». Второй развод — уровневый: «в книге есть ошибка» — вера о собственных верах, оценка их совокупной надёжности; она не спорит ни с одной страницей по отдельности — она спорит только с конъюнкцией всех страниц, а её автор нигде не утверждал: книга утверждает страницы, не их конъюнкцию. Дефект — в ожидании, что рациональный агент обязан быть согласован по конъюнкции; для конечного, погрешимого познающего этот идеал недостижим — и не нужен.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: множество утверждений книги, вера в каждое, мета-вера предисловия, требование совместности. Сигнал: одна из вер — о самих верах: этажи разные.
Домен 2 — Прояснение: что означают термины? Здесь дефект ожидания. «Верю в каждое» и «верю, что не все верны» кажутся верами одного ряда — но первая серия живёт на страницах, вторая — над корпусом: оценка собственной надёжности, выведенная индукцией из опыта. Сигнал: склейка уровней — вера и вера-о-верах.
Домен 3 — Выбор рамки: требование конъюнктивной согласованности — рамка идеального всезнающего; приложена к конечному агенту с честной статистикой ошибок — рамка не по объекту.
Домен 4 — Сравнение: поучительная пара с лотереей: там веры однородны и счётны, тут мета-вера эмпирична; механизм один — агрегат не наследует свойств одиночных вер.
Домен 5 — Вывод: каждый шаг честен; невыполнима лишь конъюнкция, которой никто не утверждал.
Домен 6 — Рефлексия: сам узел — акт рефлексии: предисловие — взгляд автора на корпус собственных рассуждений уровнем выше; по канону доменов это и есть работа шестого домена — и она здесь проделана правильно.
Диагноз
Категория: не-парадокс — эпистемическая особенность. Место дефекта: ожидание конъюнктивной согласованности от погрешимого агента. Нарушенных законов нет: степени согласованы, уровни разведены. На триаде E/R/R: веры в страницы — Роли на Элементах корпуса; мета-вера предисловия — Роль над корпусом, рефлексивная оценка надёжности; конфликт мним — отношения живут на разных уровнях, и склеивает их только округление.
Разрешение
Счётный слой: 0,99 в степени триста — около 0,05; «наверняка есть ошибки» — вера веса 0,95; в степенях уверенности всё гладко, и никакой иррациональности нет ни в одной из вер. Уровневый слой: мета-вера не отрицает ни одного утверждения книги — она оценивает корпус; чтобы получить противоречие, нужно приписать автору веру в конъюнкцию всех страниц, а её он не держит и держать не обязан: утверждать по отдельности — не значит утверждать вместе. Практический слой — о добродетели: скромность предисловия — не жест вежливости, а рациональный вывод из индукции; вычеркнуть её значило бы верить «моя книга — первая безошибочная в истории», и вот это было бы иррационально. Погрешимость, признанная явно, — рабочее состояние честного познающего: правда превыше всего — и о собственных пределах прежде всего. Вырожденный случай для остроты: если бы книга состояла из одной фразы «в этой книге есть ложное утверждение», предисловие сомкнулось бы с лжецом — но это другая, структурная беда: у Макинсона в книге есть содержание, и мета-вера стоит на нём, а не на себе.
Урок
Об уровнях веры. Вера о верах — этажом выше вер; складывать её с ними в одну конъюнкцию — категориальная склейка. О пределах идеала. Конъюнктивная согласованность — рамка всезнающего; для конечного агента рациональность — это калиброванные степени плюс честная мета-оценка, не безупречный список «да». О скромности. «Наверняка где-то ошибся» — не слабость позиции, а её сила: признанная погрешимость — единственная честная рамка для корпуса любого размера.
Родня по механизму
Лотерея (близнец: тот же механизм на счётных верах — полный разбор тройки посылок там), феномен Мура (контраст: «идёт дождь, но я не верю» абсурден, ибо сталкивает веры одного уровня об одном факте; предисловие рационально, ибо мета-вера — о корпусе), Лжец (вырожденный случай пустой книги — уход в структурную семью), фаллибилизм как позиция.
Машинная проверка. В реестре 46 — N6_Preface: категория NonParadox; статус категории формализован (nonparadox_46_not_paradox, nonparadox_count_8 — ParadoxDissolution.v). Уровневый развод — вера-о-верах этажом выше — созвучен домашней формализации рефлексии как поднятия уровня наблюдения (src/foundation/ReflectionRecursion.v). Счётное ядро (0,99ⁿ над Q) — кандидат ветки «Вероятность» (см. Формализация).
Категория: Не-парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс