Оценка и критика эпистемологии Брауэра

В настоящем разделе я хочу отдать дань уважения Л. Э. Я. Брауэру ²⁴\ Было бы самонадеянным для меня хвалить и тем более самонадеянным критиковать Брауэра как математика. Однако, возможно, мне будет позволительно критиковать его эпистемологию и его философию интуиционистской математики. Я осмеливаюсь на это только в надежде сделать вклад, каким бы он ни был маленьким, в прояснение и дальнейшее развитие идей Брауэра.

В своей лекции 1912 года (Brouwer 1914) Брауэр начинает с Канта. Он говорит, что в свете неевклидовой геометрии интуиционистская философия геометрии Канта, то есть его концепция чистой интуиции пространства, должна быть отброшена. Однако, говорит Брауэр, нет необходимости делать это, так как мы можем арифметизировать геометрию:

Рассел, так и Дюкасс принадлежат к тем традиционным эпистемологам, кто изучает знание в его субъективном смысле, в смысле второго мира. Эта традиция, таким образом, идет значительно дальше эмпиризма.

23) См. у Беркли второй разговор между Гиласом и Филонусом:

«Для меня достаточное основание не верить в существование чего-нибудь, если я не вижу основания верить в это» (Berkeley, р. 309). См. также у Декарта: «Я... должен... отбросить как безусловно ложное («aperte falsa» в латинском варианте) все, в чем мог вообразить малейший повод к сомнению» (Descartes, p. 32).

24^ Этот раздел о Брауэре был вставлен, чтобы отдать дань уважения этому великому математику и философу, умершему незадолго до того конгресса, на котором был прочитан настоящий доклад. Для тех, кто не знаком с брауэровской (или кантовской) интуиционистской философией математики, может быть, лучше опустить этот раздел и продолжать чтение с раздела 7.

мы можем прямо основываться на кантовской теории арифметики и на его концепции, что арифметика опирается на чистую интуицию времени.

Я чувствую, что эта позиция Брауэра более не может быть принята. Действительно, если мы говорим, что кантовская теория пространства сокрушена, перечеркнута неевклидовой геометрией, тогда мы должны сказать, что его теория времени сокрушена специальной теорией относительности, так как Кант говорит совершенно явно, что имеется только одно время и что интуитивная идея (абсолютной) одновременности является решающим аргументом в этом отношении ²⁵К

Можно было бы утверждать, подобно тому, как это делал Рейтинг²⁶), что Брауэр не смог бы развить свои эпистемологические и философские идеи об интуиционистской математике, если бы знал в то время об аналогии между эйнштейновской релятивизацией времени и неевклидовой геометрией. Перефразируя Рейтинга, можно сказать, что это было бы печально.

Однако маловероятно, что на Брауэра произвела бы сильное впечатление специальная теория относительности. Он мог бы перестать ссылаться на Канта как на предшественника своего интуиционизма, но он мог бы сохранить свою собственную теорию личного времени — времени нашего собственного личного и непосредственного опыта (см. Brouwer 1949). Относительность никак не влияет на эту его теорию, хотя и влияет на теорию Канта.

Таким образом, нет необходимости рассматривать Брауэра как кантианца. Однако мы не можем так уж легко обособлять его от Канта, ибо идея интуиции у Брауэра и использование им термина «интуиция» не могут быть полностью поняты без анализа такой его предпосылки, как кантовская философия.

Для Канта интуиция есть источник знания. И «чистая» интуиция («чистая интуиция пространства и времени») является неисчерпаемым источником знания: из нее берет начало абсолютная уверенность (certainty). Это чрезвычайно важно для понимания идей Брауэра, который явно заимствует у Канта эту эпистемологическую концепцию.

Рассматриваемая концепция имеет свою историю. Кант взял ее у Плотина, Фомы Аквинского, Декарта и др. Первоначально интуиция означала, конечно, восприятие: это есть то, что мы видим или воспринимаем, когда смотрим на некоторый объект или пристально его рассматриваем. Однако, начиная по крайней мере уже с Плотина, разрабатывается противоположность между интуицией, с одной стороны, и дискурсивным

) В «Трансцендентальной эстетике» (Kant, S.46 и далее (русский перевод — с. 135)) Кант в пункте 1 параграфа 4 подчеркивает априорный характер одновременности, в пунктах 3 и 4 — что может быть только одно время и в пункте 4 — что время является не дискурсивным понятием, а «некоторой чистой формой...интуиции» (или, более точно, специфической (the) чистой формой чувственной интуиции). В последнем параграфе перед заключением он совершенно четко утверждает, что интуиция времени и пространства не является интеллектуальной интуицией.

' См. цитату из работы Рейтинга в разделе 1.

мышлением — с другой. В соответствии с этим интуиция есть божественный способ познания чего-то лишь одним взглядом, в один миг, вне времени, а дискурсивное мышление есть человеческий способ познания, состоящий в том, что мы в ходе некоторого рассуждения, которое требует времени, шаг за шагом развертываем нашу аргументацию.

Кант защищает (направленную против Декарта) концепцию, состоящую в том, что мы не владеем способностью интеллектуальной интуиции и что по этой причине наш интеллект, наши понятия остаются пустыми или аналитическими, если они в действительности не применены к материалу, который поставляют нам наши чувства (чувственная интуиция), или если они не являются «понятиями, сконструированными в нашей чистой интуиции пространства и времени» ²⁷). Только таким путем мы можем получить синтетическое знание a priori: наш интеллект в его существенных чертах дискурсивен, он обязательно должен действовать в согласии с логикой, которая является пустой по своему содержанию, то есть «аналитической».

Согласно Канту, чувственная интуиция предполагает чистую интуицию: наши чувства не могут делать свою работу, не упорядочивая свои восприятия в рамках пространства и времени. Таким образом, пространство и время предшествуют всей чувственной интуиции; теории пространства и времени — геометрия и арифметика — также верны a priori. Источник их априорной верности есть человеческая способность чистой интуиции, которая строго ограничена лишь этой областью — восприятием пространства и времени — и четко отличается от интеллектуального или дискурсивного способа мышления.

Кант защищает концепцию, что аксиомы математики основываются на чистой интуиции (Kant, p. 760 (с. 613) и далее): они могут быть «усмотрены» или «восприняты» как истинные нечувственным способом «усмотрения» или «восприятия». Кроме того, чистая интуиция участвует в каждом шаге каждого доказательства в геометрии (и в математике вообще)²⁸). Чтобы следить за доказательством, нам требуется глядеть на (нарисованный) чертеж. Это «смотрение» является не чувственной, а чистой интуицией, о чем свидетельствует то, что чертеж часто может быть убедительным, даже если будет изображен в довольно грубой манере,

27^Для Канта «...конструировать понятие — значит показать а priori соответствующее ему созерцание» (Kant, S. 741 (русский перевод — с. 600)). Далее: «Мы старались только ясно показать, как велико различие между дискурсивным применением разума согласно понятиям и интуитивным применением его посредством конструирования понятий» (там же, S. 747 (с. 604)). «Конструирование понятий» в дальнейшем объясняется следующим образом: «Мы можем свои понятия определить а priori в созерцании, создавая себе в пространстве и времени посредством однородного синтеза самые предметы» (там же, S.751 (с. 607)).

28) Kant, S. 741-764. См., например, в конце S. 762 (с. 614) то место, где он говорит о доказательствах в математике («даже в алгебре»): «Все выводы гарантированы от ошибок тем, что каждый из них показан наглядно». Кант говорит также о «цепи выводов», в которой философ «руководствуется все время созерцанием» (там же, S. 745 (с. 602)). В том же самом разделе слово «конструировать» объясняется, как «представить а priori в созерцании» (Kant, S.748 (с. 601)).

а также то, что рисунок треугольника может представлять для нас (в одном рисунке) бесконечное количество возможных вариантов треугольников всех форм и размеров.

Аналогичные рассуждения справедливы и для арифметики, которая, согласно Канту, основывается на счете — процессе, в свою очередь основывающемся, по существу, на чистой интуиции времени.

Эта теория источников математического знания в своей кантовской форме порождает серьезные трудности. Даже если мы примем, что все сказанное Кантом правильно, мы остаемся в недоумении, ибо евклидова геометрия, независимо от того, использует она чистую интуицию или нет, несомненно, опирается на интеллектуальную аргументацию, логическую дедукцию. Невозможно отрицать, что математика оперирует дискурсивным мышлением. Ход рассуждений Евклида осуществляется шаг за шагом от высказывания к высказыванию через все книги его «Начал»: он не был постигнут в одном-единственном мгновенном интуитивном озарении. Даже если мы допустим (ради аргументации) необходимость наличия чистой интуиции в каждом отдельном шаге рассуждений без исключения (а это допущение современному человеку трудно сделать), пошаговая, дискурсивная и логическая процедура выводов Евклида так очевидна, так широко известна и ей так часто подражали (Спиноза, Ньютон), что трудно представить себе, что Кант мог этого не знать. На самом деле Кант знал все это, вероятно, не хуже любого другого. Однако рассматриваемая позиция была навязана ему: (1) структурой «Критики чистого разума», в которой «Трансцендентальная эстетика» предшествует «Трансцендентальной логике», и (2) его четким различением (я бы сказал — несостоятельно четким различением) интуитивного и дискурсивного мышления. В результате почти хочется сказать, что кантовское исключение дискурсивных аргументов из геометрии и арифметики — не просто пробел, а противоречие.

То, что это не соответствует действительности, было показано Брауэром, который заполнил данный пробел. Я имею в виду теорию Брауэра об отношении между математикой, с одной стороны, и языком и логикой — с другой.

Брауэр решил данную проблему тем, что провел четкое различение между математикой как таковой и ее выражением в языке и ее коммуникативной функцией. Математику саму по себе он рассматривал как внеязыковую деятельность, по существу — как деятельность мысленного конструирования на основе нашей чистой интуиции времени. Посредством такого конструирования мы создаем в нашей интуиции, в нашем уме объекты математики, которые впоследствии — после их создания — мы можем попытаться описать или сообщить о них другим. Таким образом, лингвистическое описание и дискурсивная аргументация со своей логикой появляются после по существу математической деятельности: их черед приходит только тогда, когда объекты математики — такие как доказательство — уже созданы. (133:)

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

Как и у любой великой теории, ценность этой теории Брауэра проявляется в ее продуктивности. Она одним усилием решает три крупные группы проблем философии математики:

(1) Эпистемологические проблемы истоков математической достоверности (certainty), природы математических данных и природы математического доказательства. Эти проблемы решаются, соответственно, с помощью концепции интуиции как источника знания; концепции, согласно которой мы можем интуитивно усматривать математические объекты, которые конструируем, и концепции, согласно которой математическое доказательство является последовательным конструированием или конструкцией конструкций.

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

Таким образом, Брауэр в своей лекции 1912 года (Brouwer 1914) предполагал, что для интуициониста математические объекты существуют в человеческом уме, в то время как для формалиста они существуют «на бумаге»²⁹⁾.

(3) Методологические проблемы математических доказательств. Мы можем упрощенно различать два главных подхода ученых к математике. Одни математики могут интересоваться главным образом теоремами — истинностью или ложностью математических высказываний, другие — главным образом доказательствами: вопросами существования доказательств той или иной теоремы и спецификой таких доказательств. Если

29) См. конец третьего параграфа указанной работы Брауэра. Он пишет там о существовании не математики, а «математической точности», и так, как он сформулирован, этот отрывок относится к проблемам (1) и (3) даже больше, чем к онтологической проблеме (2). Однако не может быть никакого сомнения в том, что он имеет определенное отношение и к проблеме (2). В данном отрывке Брауэр пишет так: «На вопрос, где существует математическая точность, отвечают по-разному... Интуиционист говорит: „В человеческом интеллекте4', формалист говорит: „На бумаге»«.

преобладающим является первый подход (как это, по-видимому, имеет место, например, для Пойя), тогда он обычно связан с интересом к открытию математических «фактов» и поэтому с платонизированной математической эвристикой. Если же преобладает второй подход, тогда доказательства являются не просто средствами формирования уверенности в теоремах о математических объектах, а самостоятельными математическими объектами. Как мне кажется, так обстояло дело с Брауэром: те построения, которые были доказательствами, не только создавали и утверждали существование математических объектов, они были в то же время сами математическими объектами, возможно даже наиболее важными из таких объектов. Таким образом, утверждать некоторую теорему означало для Брауэра утверждать существование некоторого доказательства для нее, а отрицать ее — означало утверждать существование опровержения, то есть доказательства ее абсурдности. Это непосредственно ведет к отказу Брауэра от закона исключенного третьего, к отрицанию им косвенных доказательств и к тезису, что существование может быть доказано только реальным построением рассматриваемых математических объектов, когда они делаются, так сказать, видимыми.

Это также ведет к отрицанию Брауэром «платонизма», под которым мы понимаем учение, согласно которому математические объекты обладают тем, что я называю «автономным» способом существования, при котором они могут существовать, не будучи созданы нами и, следовательно, без доказательства своего существования.

До сих пор я пытался понять брауэровскую эпистемологию, исходя прежде всего из предположения, что она проистекает из попытки решить определенную трудность в философии математики Канта. Теперь я перейду к тому, что содержится в названии данного раздела, — к оценке и критике брауэровской эпистемологии.

Исходя из положений настоящего доклада, можно утверждать, что одним из великих достижений Брауэра, по моему мнению, является его понимание того, что математика и, как я могу добавить, весь третий мир созданы человеком.

Эта идея является настолько радикально антиплатоновской, что Брауэр, понятно, не видел возможности ее связи с некоторой формой платонизма, под которой я имею в виду концепцию частичной автономии математики и третьего мира в том виде, как она описана ранее в разделе 3 этой главы.

Другим великим достижением Брауэра в философском плане был его антиформализм — признание им того, что математические объекты должны существовать до того, как мы сможем говорить о них.

Позвольте теперь мне вернуться к критике брауэровского решения трех групп главных проблем философии математики, сформулированных ранее в настоящем разделе.

(1') Эпистемологические проблемы: интуиция в целом и теория времени в частности.

Я не предлагаю заменить каким-либо другим термином название «интуиционизм». Это название, без сомнения, сохранится, но нам важно отказаться от ошибочной философии интуиции как непогрешимого источника знания.

Не существует авторитетных источников знания, и ни один «источник» не является абсолютно надежным³⁰). Все приветствуется как источник вдохновения, стимулирования, включая «интуицию», особенно если она предлагает нам новые проблемы. Однако ничто не является несомненным, и все мы подвержены ошибкам.

К тому же следует подчеркнуть, что кантовское четкое различение интуиции и дискурсивного мышления не может быть нами принято. «Интуиция», какой бы она ни была, в значительной степени является продуктом нашего культурного развития и наших успехов в дискурсивном мышлении. Вряд ли можно принять кантовскую идею об одном стандартном типе чистой интуиции, присущем всем нам (но, возможно, не животным, хотя их перцептуальные возможности сходны с человеческими). Действительно, после того, как мы овладели дискурсивным мышлением, наше интуитивное понимание становится весьма отличным от того, какое было у нас прежде.

Все сказанное справедливо и в отношении нашей интуиции времени. Я лично считаю сообщение Бенджамина Ли Уорфа о чрезвычайно специфической интуиции времени индейцев племени хопи³¹) убедительным. Однако даже если это сообщение ошибочно (что, я думаю, маловероятно), оно свидетельствует о возможностях, которые ни Кант, ни Брауэр никогда не рассматривали. Если Уорф прав, тогда наше интуитивное понимание времени, то есть способ, которым мы «видим» временные отношения, частично зависит от нашего языка, наших теорий и мифов, включенных в язык, иначе говоря — наша европейская интуиция времени в значительной степени обусловлена греческим происхождением нашей цивилизации с ее упором на дискурсивное мышление.

В любом случае наша интуиция времени может меняться с изменением наших теорий. Интуиции Ньютона, Канта и Лапласа отличаются от интуиции Эйнштейна, и роль времени в физике элементарных частиц отличается от роли времени в физике твердого тела, особенно в оптике. Физика элементарных частиц утверждает существование подобного лезвию непротяженного мгновения, «punctum temporis»*, который отделяет прошлое от будущего, и тем самым существование временной координаты, состоящей из (континуума) непротяженных мгновений, а в конечном итоге существование мира, «состояние» которого может быть задано для любого такого непротяженного мгновения. В оптике ситуация совершенно другая. Подобно тому как существуют пространственно протяженные

30) Я подробно рассмотрел эту проблему в моей лекции «Об источниках знания и незнания» («On the Sources of Knowledge and of Ignorance»), которая помещена в качестве введения к Popper 1963.

3|) См. «An American Indian Model of the Universe» в Whorf. * Punctum temporis (лат.) — точка во времени. — Прим. пер.

растры в оптике, части которых взаимодействуют на значительном расстоянии в пространстве, так существуют и протяженные во времени события (волны, обладающие частотами), части которых взаимодействуют в течение значительного промежутка времени. Поэтому в силу законов оптики в физике не может быть какого-либо состояния мира в некоторый момент времени. Эта аргументация должна дать и действительно дает совершенно другое понимание нашей интуиции: то, что называлось кажущимся настоящим временем психологии, не является ни кажущимся, ни характерным только для психологии, а подлинным и имеющим место уже в физике³²).

Таким образом, не только общая концепция интуиции как непогрешимого источника знания является мифом, но и наша интуиция времени так же подлежит критике и исправлению, как, по признанию самого Брауэра, и наша интуиция пространства.

Главным пунктом этих своих рассуждений я обязан философии математики Лакатоса. Он заключается в том, что математика (а не только естественные науки) растет благодаря критике догадок и выдвижению смелых неформальных доказательств, а это предполагает языковую формулировку таких догадок и доказательств и потому определяет их статус как элементов третьего мира. Язык, являясь вначале просто средством коммуникативного описания доязыковых объектов, превращается в силу этого в существенную часть научной деятельности даже в математике, которая в свою очередь становится частью третьего мира. И в языке существуют слои, или уровни (независимо от того, формализованы они в виде иерархии метаязыков или нет).

Если бы интуиционистская эпистемология была права, вопрос о математической компетенции не составлял бы проблемы. (Если бы кан-товская теория была права, то непонятно, почему нам, а точнее — Платону и его школе, пришлось так долго ждать Евклида³³^). Однако эта проблема существует, так как даже весьма компетентные матема-тики-интуиционисты могут не соглашаться между собой по некоторым трудным вопросам³⁴^. Для нас нет необходимости исследовать, какая сторона в этом споре права. Достаточно указать, что раз интуиционистское конструирование подвергается критике, то рассматриваемая проблема может быть решена лишь путем существенного использования аргумента-тивной функции языка. Конечно, критическое по существу использование языка не обязывает нас использовать аргументы, запрещенные интуиционистской математикой (хотя и здесь существует проблема, как будет

' «Если мы хотим довести эту мысль до своего логического завершения, то мы должны сказать, что punctum temporis не может даже выглядеть как бессмысленная точка, так как свет имеет частоту» (Gombrich, p. 297). (Данный аргумент может быть подкреплен учетом граничных условий).

' См. соответствующее замечание о кантовском априористском взгляде на ньютоновскую физику в Popper 1963, eh. 2, абзац, к которому относится прим. 63.

34) См. комментарии С. К. Клини в Kleene and Vesley 1965, pp. 176-183 (русский перевод — с. 239-253) о позиции Брауэра, изложенной в Brouwer 1951, pp. 357-358, которую Клини критикует в свете замечания Брауэра в Brouwer 1949, р. 1248.

показано далее). Моя точка зрения в данный момент заключается просто в следующем: раз допустимость предложенного интуиционизмом математического конструирования может быть подвергнута сомнению, — а она, конечно, может подвергаться сомнению, — то язык становится не просто средством коммуникации, без которого можно в принципе обойтись, он является необходимым средством критического обсуждения, дискуссии. В соответствии с этим он не представляет собой всего лишь интуиционистскую конструкцию, «которая объективна в том смысле, что не важно, какой субъект ее создает»³⁵⁾. На самом деле объективность даже интуиционистской математики опирается, как это имеет место во всех науках, на критикуемость ее аргументации. А это означает, что язык является необходимым как способ аргументирования, то есть как способ критического обсуждения³⁶).

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

Однако я готов допустить, что даже в своем ошибочном взгляде на статус языка Брауэр частично прав. Хотя объективность всех наук, включая математику, неотделимо связана с их критикуемостью и тем самым с их формулированием в языке, Брауэр был прав, когда активно выступал против идеи рассматривать математику лишь как формальную языковую игру, или, другими словами, считать, что не существует таких вещей, как внеязыковые математические объекты, то есть соответствующие мысли (или, с моей точки зрения более точно — содержание таких мыслей). Он настаивал на том, что беседа на математические темы является беседой об этих объектах, и в этом смысле математический язык выступает как вторичное образование по отношению к этим объектам. Однако это вовсе не означает, что мы можем конструировать математику без языка: не может быть никакого конструирования без постоянного критического контроля и никакой критики без выражения наших конструктов в лингвистической форме и обращения с ними как с объектами третьего мира. Хотя третий мир не идентичен миру лингвистических форм, он возникает вместе с аргументативной функцией языка, являясь его побочным продуктом. Это объясняет, почему, коль скоро наши конструкции становятся проблематичными, систематизированными и аксиоматизированными, язык может также стать проблематичным и почему формализация может стать отраслью математического конструирования. Именно это, я думаю, имеет в виду Дж. Майхилл, когда он говорит, что наши формализации исправляют наши интуиции, в то время как наши интуиции формируют наши формализации³¹). Это высказывание особенно заслужи-

35) Гейтинг, цит. по Lakatos 1967, p. 173.

36) Ср. Lakatos 1963-1964, особенно pp. 229-235.

37) Myhill 1967, p. 175 (курсив мой — К. П.)\ ср. также Lakatos 1963-1964.

вает цитирования потому, что оно, будучи сделано в связи с брауэровской концепцией интуиционистского доказательства, действительно, как кажется, вносит некий корректив в интуиционистскую эпистемологию.

(2') Онтологические проблемы. То, что объекты математики обязаны своим существованием отчасти языку, иногда понимал и сам Брауэр. Так, он писал в 1924 году: «Математика основывается («Der Mathematik liegt zugrunde») на бесконечной последовательности знаков или символов («Zeichen») или на конечной последовательности символов...»³⁸). Это не следует понимать как допущение приоритета языка: без сомнения, ключевым термином здесь является «последовательность», а понятие последовательности основывается на интуиции времени и на конструировании, опирающемся на эту интуицию. Однако это утверждение показывает, что Брауэр знал о том, что для осуществления конструирования требуются знаки и символы. Моя точка зрения состоит в том, что дискурсивное мышление (то есть последовательность аргументов, выраженных лингвистически) имеет огромное влияние на наше осознание времени и на развитие нашей интуиции последовательного порядка. Это никоим образом не расходится с конструктивизмом Брауэра, но действительно расходится с его субъективизмом и ментализмом, ибо объекты математики могут теперь рассматриваться как граждане объективного третьего мира: хотя содержание наших мыслей первоначально построено нами (третий мир возникает как продукт нашей деятельности), оно несет с собой свои собственные непреднамеренные следствия. Натуральный ряд чисел, которые мы конструируем, создает простые числа, которые мы открываем, а они в свою очередь создают проблемы, о которых мы и не мечтали. Вот именно так становится возможным математическое открытие. Подчеркнем, что самыми важными математическими объектами, которые мы открываем, самыми плодовитыми гражданами третьего мира являются именно проблемы и новые виды критических рассуждений. Таким образом, возникает некоторый новый вид математического существования — проблемы, новый вид интуиции — интуиция, которая позволяет нам видеть проблемы и понимать проблемы до их решения (ср. брауэровскую центральную проблему континуума).

Гейтинг прекрасно описал способ, которым язык и дискурсивное мышление взаимодействуют с более непосредственными интуитивными конструкциями (взаимодействие, разрушающее, между прочим, тот идеал абсолютной очевидной достоверности, которого, как предполагалось, достигает интуитивное конструирование). Возможно, будет уместно процитировать здесь начало того отрывка из его работы, который не только стимулировал меня на дальнейшие исследования, но и поддержал мои размышления: «Понятие интуитивной ясности в математике само не является интуитивно ясным. Можно даже построить нисходящую шкалу степеней очевидности (evidence). Высшую степень очевидности имеют такие утверждения, как 2 + 2 = 4. Однако 1002 + 2 = 1004 име-

³⁸⁾ Brouwer 1924, S.244.

ет более низкую степень очевидности; мы доказываем это утверждение не фактическим подсчетом, а с помощью рассуждения, показывающего, что вообще (п + 2) + 2 = п + 4... [Высказывания, подобные этому], уже имеют характер импликации: „Если построено натуральное число п, то можно осуществить конструкцию, выражаемую равенством (п+ 2)4-2 = П4-4»«³⁹). «Степени очевидности» Рейтинга имеют в данный момент для нас второстепенный интерес, а более важным является прежде всего исключительно простой и ясный анализ Гейтингом необходимого взаимодействия между интуитивным конструированием и его языковым выражением, которое неизбежно приводит нас к дискурсивному и тем самым к логическому рассуждению. Гейтинг подчеркивает это, когда продолжает: «Этот уровень формализуется в исчислении со свободными переменными».

Наконец, следует сказать об отношении Брауэра к математическому платонизму. Автономия третьего мира несомненна, и поскольку это так, то брауэровское равенство «esse = construi» должно быть отброшено, по крайней мере в отношении проблем. Это, возможно, заставит нас заново пересмотреть проблему логики интуиционизма: не отбрасывая интуиционистских стандартов доказательства, следует подчеркнуть, что для критического рационального обсуждения важно четко различать между тезисом и свидетельствами (evidence) в его пользу. Однако это различие разрушается интуиционистской логикой, которая возникает из слияния воедино свидетельства (или доказательства) и утверждения, которое должно быть доказано^.

(У) Методологические проблемы. Первоначальным мотивом интуиционистской математики Брауэра была потребность в надежности, уверенности — поиск более верных, надежных методов доказательства, фактически — непогрешимых методов. В этом случае, если вы хотите более надежных доказательств, вы должны более строго подходить к использованию демонстративной аргументации: вы должны применять более слабые средства, более слабые предположения. Брауэр ограничивается использованием логических средств, которые были слабее, чем средства классической логики⁴¹). Доказать теорему более слабыми средствами является (и всегда являлось) в значительной степени интересной задачей и одним из великих источников математических проблем. Этим и обусловлена интересность интуиционистской методологии.

Однако я полагаю, что сказанное справедливо лишь для доказательств. Для критики и опровержения мы не нуждаемся в слабой логике. В то время как органон доказательства может быть достаточно слабым, органон критики должен быть очень сильным. В критике мы не должны

³⁹⁾ Heyting 1962, p. 195 (русский перевод — с. 225).

⁴⁰) См. ранее раздел 5.4.

⁴¹⁾ Эти замечания справедливы лишь для логики интуиционизма, которая является частью классической логики, в то время как интуиционистская математика не является частью классической математики (см., в частности, замечания Клини о «брауэровском принципе» в Kleene and Vesley, p. 70 (русский перевод — с. 100)).

быть ограничены тем, что то или иное доказательство невозможно — мы ведь не утверждаем непогрешимость нашей критики и часто бываем удовлетворены, если можем показать, что некоторая теория имеет следствия, противоречащие интуиции. В органоне критики слабость и экономия не являются добродетелями, ибо добродетель любой теории состоит в том, что она может противостоять сильной критике. (Поэтому, по-видимому, в критических дебатах, так сказать в метадебатах о жизненности интуиционистского конструирования, возможно допускать использование классической логики.)