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

Первое, что сказал судья, скептику понравилось бы. Сама вилка из трёх дорог — заработанная истина, высший грейд: перечисление полно и валидно при любых допущениях. Четвёртой дороги нет и быть не может, это чистая логика. Агриппа рассуждал безупречно — теперь это машинный факт.

А дальше судья сделал то, что умеет лучше всего: назвал слабое звено. Мы подарили скептику все его посылки, кроме одной, — и вывод «знания нет» рассыпался, повиснув ровно на ней: «незавершённое обоснование не даёт знания». На бинарном понимании варранта: либо обосновано до конца, либо ноль. Эта посылка сама ничем не обоснована. То есть она — стена, догма. Скептик стоит на роге собственной вилки.

Честность требует сказать: этот ход не наш. Ханс Альберт, автор современной формы трилеммы, сам понимал её как аргумент против «принципа достаточного обоснования», а Поппер построил на отказе от этого принципа целую философию — знание всегда предварительно, всегда, по-нашему, в кредит. Новое началось, когда судья стал мерить каждый рог по отдельности.

Регресс. Мы измерили цепочки растущей длины: долг не просто не гасится — он нарастает, по одному непроверенному звену на этаж. А на конечном запасе обоснований бездонная лестница вообще невозможна: перебраны все варианты на малых размерах, каждая цепочка обязана зациклиться. Регресс требует актуальной бесконечности различных обоснований — роскошь того же сорта, что аксиома выбора. (И это возражение известно — им бьют инфинитизм Клейна; мы лишь проверили его перебором.)

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

Догма. Стена перестаёт быть позором, когда на ней табличка. Самоподдерживающийся фундамент — «так, потому что так» — судья помечает как решаемый выбором, а всё, что на нём стоит, получает бирку с именем виновника: «висит на f». Догма в этой системе — не спрятанный обрыв, а именованная и оцененная точка. Собственно, весь наш инструмент и есть честно взятый третий рог: догма с паспортом.

И финал, ради которого всё затевалось. Посылка скептика — норма о варранте, её не проверить никаким действием, никогда. А из этого следует уже знакомая нашим читателям асимметрия: пакет на непроверяемом звене можно опровергнуть навсегда, но нельзя заработать никогда. Любое одно предъявленное знание хоронит глобальный скептицизм; сам себя он не обоснует ни при каком будущем. В прошлый раз в эту яму упали платоновские Формы. Теперь — скептицизм. Две противоположные метафизики, одна и та же измеренная могила. Это структурная родня попперовской асимметрии (теории можно фальсифицировать, нельзя верифицировать) — но обобщённая с законов природы на любую метафизику вообще, и проверяемая машиной.

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

Технические детали: эталонный прогон — dilemmas/agrippa.py в открытом репозитории github.com/inventor1975/ZTL (семь измерений, все воспроизводимы одной командой); виды кругов и теорема о стипуляции — экспедиция E18, выкупаемость кредита — E27. Судья: ztl.vitalyreznik.com. Предыдущая серия — «Спор, которому 2400 лет, и программа-судья».

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