За словом «парадокс» в философии двадцать три века никто не следил. Его носят и настоящие чудовища, и безобидные головоломки, и просто плохо заданные вопросы. Мы устроили проверку документов: прогнали через нашего судью — один инструмент, одна таблица, каждый вердикт перепроверяется одной командой — всю классическую коллекцию: лжеца, брадобрея, Рассела, Карри, Ябло, крокодила и остальных. Получилась доска суда: много коротких приговоров. Вот они.

Сначала честно про сам суд. Классификацию придумали не мы: деление на «заземлённое / парадоксальное / внутренне вынужденное» — это Крипке, а сигнатуры мигания — Гупта и Белнап. Наше — то, что суд стал исполняемым: каждому делу машина считает число непротиворечивых решений. Ноль решений — настоящий ПАРАДОКС, отказ навсегда. Ровно одно — вердикт вынужден. Два и больше — не парадокс, а незаполненный бланк: решается указом, любым из законных.

Вердикт первый: лжец осуждён, и у него три близнеца. «Это предложение ложно» — ноль решений, мигает с периодом два, отказ навсегда. Документы в порядке: настоящий парадокс. Но вот что выяснилось на очной ставке: брадобрей («бреет всех, кто не бреет себя»), слово «гетерологичный» Греллинга и знаменитая клетка Рассела «множество всех множеств, не содержащих себя» дали побитно те же показания — тот же паспорт, тот же ноль, тот же период. Это не четыре парадокса, а один в четырёх костюмах — теперь не афоризм, а сверенный протокол.

Вердикт второй: закон чётности. Возьмите любой круг из «A истинно, если B…» и посчитайте в нём отрицания. Нечётное число — приговор (ноль решений). Чётное, включая ноль, — бланк: у «правдолюба» («это предложение истинно») и всех чётных кругов ровно два законных решения, выбирайте любое — ничего не сломается, это теорема. Порочен не круг. Порочна нечётность.

Вердикт третий, неожиданный: ухудшать лжеца бесполезно. Интуиция говорит: «я лгу и я прав» — ещё страшнее лжеца. Замер говорит: наоборот. У этой фразы ровно одно решение — она ложна, вынужденно, без вариантов; никакой бездны, обычный ложный крикун. А её зеркало — «если я прав, то я прав» — вынужденно истинно. Добавка противоречия не углубляет пропасть — она её засыпает.

Вердикт четвёртый: у Ябло алиби на каждом конечном шаге. Парадокс Ябло — бесконечная очередь предложений, каждое говорит «все после меня лгут»; полвека спорят, спрятана ли в нём циркулярность. Мы обрезали очередь на трёх и на шести — всякий конечный кусок полностью заземлён, никакого карантина. Вся парадоксальность живёт в актуальной бесконечности — и нигде больше.

Вердикт пятый: у Карри два паспорта. Фраза Карри — «если я истинна, то ложь». Спор о том, кто виноват — стрелка или самоссылка — решается замером: если «ложь» в ней настоящая, Карри — буквально лжец в костюме импликации (ноль решений). Если же «ложь» сама висит непроверенной — отказ не его собственный, а унаследованный, и виновник назван поимённо. Смотря что подано на стрелку — теперь у каждой версии свой документ.

Вердикт шестой: у приговорённых разный почерк. Лжец мигает с периодом два. Крокодилова дилемма («верну ребёнка, если угадаешь, что я сделаю» — «не вернёшь!») — тоже вечный отказ, но мигает с периодом четыре. Одна статья, разные подписи. А поменяйте матери прогноз на оптимистичный — одно отрицание исчезает, чётность щёлкает, и приговор превращается в бланк.

Вердикт седьмой, самый странный: парадоксальность — это несчастный случай. Крипке заметил то, что мы теперь измерили. Смит говорит: «то, что говорит Джонс, — ложь». Фраза одна и та же — а судьба у неё в разных мирах разная. Если Джонс сказал правду о траве — фраза Смита просто ложна, дело закрыто. Если слова Джонса ещё не проверены — отказ условный, с названным виновником: проверьте Джонса, и дело решится. Но если Джонсу не повезло сказать «Смит говорит правду» — двое честных людей, ничего не подозревая, образуют вечную карусель: ПАРАДОКС, отказ навсегда. Одно предложение — три паспорта. Значит, никакой фильтр по тексту не отловит парадоксы заранее: парадокс — это не текст, а событие, стечение обстоятельств в мире, о котором говорят.

И последний вердикт — про наши прошлые дела. Корабль Тесея, «тот же человек», догма Агриппы — все прошли через тот же стол и получили паспорта бланков: решаемо указом, парадокса нет. Суд, который осудил лжеца, оправдал Тесея — ценность оправдания ровно в том, что судья умеет и осуждать. И границы юрисдикции объявлены честно: сорит, внезапный экзамен, лотерея — дела других инструментов; суд, который берётся за всё, не стоит ничего.

Итог: из всей знаменитой коллекции звание «парадокс» по документам подтвердили немногие — лжец с близнецами, нечётные круги, Карри при настоящей лжи, бесконечный Ябло. Остальное — бланки, ждущие подписи, и вынужденные вердикты. Слово, которым двадцать три века пугали студентов, оказалось в основном самозванцем. Проверка документов заняла меньше секунды.

Технические детали: эталонный прогон — zclassify.py (экспедиция E35) в открытом репозитории github.com/inventor1975/ZTL — досье и восемь вердиктов, все воспроизводимы одной командой; паспорта — E18, каталог — E28, Рассел — E11. Судья: ztl.vitalyreznik.com. Предыдущие серии — о Платоне, трилемме Агриппы и корабле Тесея.

Раскрытие: текст и код подготовлены в соавторстве с ИИ (Claude Fable 5, Anthropic; вариант A — человек ставит задачи, проверяет и отвечает за результат). Куратор — Виталий Резник.