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