поскольку никакие естественно-научные утверждения не являются абсолютными истинами, в обосновании научного знания понятие несомненности должно быть заменено понятием неоспоримости. Доказательством суждения является любой «честный прием», делающий это суждение неоспоримым, причем особую роль Есенин-Вольпин отводит применению определений. «При всей логической запутанности этих проблем, – пишет он, – существует, по крайней мере, один честный – т. е. свободный от насилия и обмана – прием, делающий многие суждения неоспоримыми. Это – применение определений, к какой бы области они ни относились. Поскольку сукой, по определению, называется самка собаки, а связка есть, тоже по определению, означает названа, утверждение самка собаки есть сука, считается истинным в силу этих определений… При всей тривиальности этого примера здесь все же истина принимается на основании честного приема, делающего суждения неоспоримыми, и этот прием… я предлагаю считать доказательством этого суждения».[62] Из приведенной цитаты видно, что основания наук Есенин-Вольпин усматривает в номинальных, а не реальных определениях. Ультраинтуиционистская программа обоснования научного знания с неизбежностью влечет за собой своеобразный ультраноминализм.
Я не берусь судить, насколько интуиционизм применим в обосновании естественных наук. Но к этике интуиционистские и конструктивистские программы имеют, на мой взгляд, прямое отношение. Математика и этика схожи, по крайней мере, в одном: объекты обеих дисциплин не являются «метафизическими» сущностями и не существуют в реальности, в отличие от физических объектов. В обоих случаях речь идет о результатах конструктивных процессов. В этике, как и в математике, «существовать» означает «быть построенным». Поэтому допустимо предположить возможность создания конструктивной нормативной этики. В свете современных представлений старинная спинозовская идея обоснования этики математическим способом не кажется наивной и абсурдной.
Основная ошибка как сторонников обоснования морали, так и тех, кто в принципе отрицает возможность такого обоснования, состоит в отождествлeнии обоснования с объективностью и истинностью. Как справедливо отмечает крупнейший представитель современной английской философии морали Р. Хэар, ошибочно считать, что «разум проявляет себя только через познание, т. е. установление фактов или открытие истин», и что «быть рационалистом в понимании морали – значит непременно быть дескриптивистом (т. е. верить в то, что существуют моральные факты, которые подлежат познанию)».[63] Впрочем, сам Хэар так и не отвечает на вопрос, каким же должно быть рациональное обоснование морали, ограничиваясь общим пожеланием «по мере сил… развивать свои мыслительные способности, ибо у нас нет другого надежного руководителя и авторитета, помимо собственного разума».[64] Но опыт конструктивной математики как раз и показывает, как возможна недескриптивная