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