Как мы прогнали самый старый аргумент западной философии через логический инструмент — и что он сказал такого, чего не говорили люди.

Спор
У Платона была красивая идея. Вокруг нас — большие вещи: гора, слон, дом. Все они большие по-разному и все — несовершенно. Откуда мы вообще знаем, что они большие? Платон отвечал: потому что существует само Большое — идеальный образец, Форма. Вещи большие в силу того, что причастны Большому, как копии причастны оригиналу.

Идею тут же начали ломать — и первым сломал сам Платон. В диалоге «Парменид» он приводит возражение, которое позже назовут «Третий человек». Выглядит оно так. Если всё большое — большое в силу Большого, а Большое само большое (а как иначе — оно же образец!), то возьмём компанию «все большие вещи плюс само Большое». Вся компания — большая. Значит, ей нужен свой образец — Большое-2. Но Большое-2 тоже большое… и нужно Большое-3. Лестница без конца. Объяснение, которое обещало один этаж, требует бесконечности этажей — и на каждом долг не погашен, а передан выше.
Две тысячи четыреста лет философы спорят, убивает ли этот аргумент теорию Форм, и если да — что ставить на её место. Мы решили спросить не философа. Мы спросили программу.

Судья
Инструмент называется ZTL — логика нулевого доверия. Идея у неё простая и взрослая: не всякая истина одинаково заработана.
Обычная логика знает два ответа: истина и ложь. ZTL знает те же два ответа — но к каждому прикладывает справку о происхождении. Утверждение может быть:

EARNED — заработано: истинно, и никакие непроверенные допущения этого не отменят. Хоть все сомнительные места переверни — вердикт стоит.
ON CREDIT — в кредит: истинно сейчас, но истина держится на непроверенном звене. Перевернётся звено — умрёт и утверждение.
REFUTED — опровергнуто навсегда, при любых раскладах.
OPEN — не установлено: есть звено, которое реально надо проверить.

И главное: судья не просто ставит штамп — он называет слабое звено по имени. Не «где-то что-то шатко», а «шатко вот здесь».
Непроверенные утверждения получают отметку Z — карантин. Это не третья истина, а честная наклейка: «сюда никто ещё не ходил».

Прогон
Мы разобрали Третьего человека на атомы — простые утверждения:

g: вещи имеют характеристику в силу основания;
s: основание само — ещё одна вещь с той же характеристикой (Большое — большое);
n: основание отлично от вещей, которые оно обосновывает;
r: компании «вещи + основание» нужно новое основание (шаг лестницы).

Двигатель аргумента: если g, s и n — то r. И дальше по кругу, вечно.
Судья сказал три вещи, и первая — ожидаемая, а две другие — нет.

Первое. При непроверенных посылках весь аргумент — ON CREDIT. Он «работает» ровно до тех пор, пока держатся четыре метафизических векселя. Ни один из них не проверен. Аргумент, которого боялись два тысячелетия, — не теорема. Он кредитная конструкция.

Второе — сюрприз. Мы подарили Платонову критику все посылки: пусть g, s, n истинны. Думаете, судья выдал лестницу? Нет. Вердикт: OPEN, слабое звено — r. Потому что Большое-2 никто никогда не предъявил — его только требуют. А бесконечную лестницу конечный инструмент предъявить не может в принципе. Регресс невозможно ни заработать, ни опровергнуть — он вечный должник, застрявший в карантине.

Третье — главный фокус. У философа Грегори Властоса в 1954 году было знаменитое наблюдение: если добавить посылку единственности («у каждой характеристики ровно одно основание»), лестница не нужна — противоречие получается сразу, в один шаг. Большое само большое (s), значит у него есть основание, и оно не оно само (n), но по единственности (u) — именно оно само. Тупик на первом же этаже.

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

Выходы и цена
Как спастись от Третьего человека? Судья прогнал оба классических выхода.

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

Выход Аристотеля: основание не отделено от вещей — оно живёт внутри них. Убрать n. Судья: точно тот же грейд. Наследственно, навсегда.
Но у выхода Платона есть цена, и Платон её знал. Если Большое — не большое, то в каком смысле большие вещи ему подобны? Подобие требует общей характеристики. Мы прогнали и это: пакет «подобие есть + подобие требует самопредикации + самопредикации нет» — REFUTED, наследственно. Причастность-как-подобие умирает не при некоторых допущениях — при всех. А пока вопрос о самопредикации просто висит, судья говорит: подобие — OPEN, слабое звено — s. Он указал ровно туда, куда указал Парменид в 132d, — за 2400 лет до него и без программы.

Почему спор такой старый
Вот наблюдение, ради которого стоило гонять машину. Посмотрите на все наши вердикты. Всё, что получило высший грейд, — либо опровержения, либо глушения (двигатель мёртв). Ни одна положительная теория основания — ни платоновская, ни аристотелевская — не заработала и не может заработать высший грейд. Почему? Потому что их ключевые посылки — «Форма сама несёт характеристику», «внутри вещи есть основание» — непроверяемы ни одним действием. Нет операции, которая вывела бы их из карантина. Они вечные Z.

Отсюда честный диагноз: спор длится 2400 лет не потому, что не хватало умных людей или инструментов. В нём нечего заработать. Можно лишь выбирать, какой кредит взять. И судья доказывает это строго — а заодно добавляет деталь, которую мы сами не ожидали и которую поймал первый же прогон нашего кода (уронив наш собственный тест): пакет на непроверяемых звеньях всё-таки может осесть — но только в одну сторону. Его можно опровергнуть навсегда. Заработать — никогда. Смерть доступна, заработок — нет. Односторонняя осадка. Не правда ли, что-то в этом есть о судьбе больших метафизических систем вообще.

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

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

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

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

Спор закрыт? В части логики — да, теперь механически. В части выбора — он переехал: из «что существует» в «какие проверки ты готов делать». Возможно, он всегда был об этом.

Технические детали: эталонный прогон — dilemmas/plato_third_man.py (11 случаев, все вердикты воспроизводимы), машинные доказательства — lean/Plato_Equality.lean и lean/Plato_Conservativity.lean (Lean 4.29.1, пустые списки аксиом), выкупаемость — zredeem.py (экспедиция E27), всё в открытом репозитории github.com/inventor1975/ZTL. Судья: ztl.vitalyreznik.com.
Раскрытие: текст и код подготовлены в соавторстве с ИИ (Claude Fable 5 и Claude Opus 4.8, Anthropic; вариант A — человек ставит задачи, проверяет и отвечает за результат). Куратор — Виталий Резник.