Объективное знание. Эволюционный подход
Шрифт:
Рассматриваемая концепция имеет свою историю. Кант взял ее у Плотина, Фомы Аквинского, Декарта и др. Первоначально интуиция означала, конечно, восприятие: это есть то, что мы видим или воспринимаем, когда смотрим на некоторый объект или пристально его рассматриваем. Однако, начиная по крайней мере уже с Плотина, разрабатывается противоположность между интуицией,с одной стороны, и дискурсивным мышлением — с другой. В соответствии с этим интуиция есть божественный способ познания чего-то лишь одним взглядом, в один миг, вне времени, а дискурсивное мышление есть человеческий способ познания, состоящий в том, что мы в ходе некоторого рассуждения, которое требует времени, шаг за шагом развертываем нашу аргументацию.
Кант защищает (направленную против Декарта) концепцию, состоящую в том, что мы не владеем способностью интеллектуальной интуиции и что по этой причине наш интеллект, наши понятия остаются пустыми или аналитическими, если они в действительности не применены к материалу, который поставляют нам наши чувства (чувственная интуиция), или если они не являются «понятиями, сконструированными
124
Для Канта «...конструироватьпонятие — значит показать a prioriсоответствующее ему созерцание» (Kant,S. 741 (русский перевод — с. 600)). Далее: «Мы старались только ясно показать, как велико различие между дискурсивным применением разума согласно понятиям и интуитивным применением его посредством конструирования понятий» (там же, S. 747 (с. 604)). «Конструирование понятий» в дальнейшем объясняется следующим образом: «Мы можем свои понятия определить a prioriв созерцании, создавая себе в пространстве и времени посредством однородного синтеза самыепредметы» (там же, S.751 (с. 607)).
Согласно Канту, чувственная интуиция предполагает чистую интуицию: наши чувства не могут делать свою работу, не упорядочивая свои восприятия в рамках пространства и времени. Таким образом, пространство и время предшествуют всей чувственной интуиции; теории пространства и времени — геометрия и арифметика — также верны a priori.Источник их априорной верности есть человеческая способность чистой интуиции, которая строго ограничена лишь этой областью — восприятием пространства и времени — и четко отличается от интеллектуального или дискурсивного способа мышления.
Кант защищает концепцию, что аксиомы математикиосновываются на чистой интуиции (Kant, р. 760 (с. 613) и далее): они могут быть «усмотрены» или «восприняты» как истинные нечувственным способом «усмотрения» или «восприятия». Кроме того, чистая интуиция участвует в каждом шаге каждого доказательства в геометрии(и в математике вообще) [125] . Чтобы следить за доказательством, нам требуется глядеть на (нарисованный) чертеж. Это «смотрение» является не чувственной, а чистой интуицией, о чем свидетельствует то, что чертеж часто может быть убедительным, даже если будет изображен в довольно грубой манере, а также то, что рисунок треугольника может представлять для нас (в одномрисунке) бесконечное количество возможных вариантов треугольников всех форм и размеров.
125
Kant, S. 741-764. См., например, в конце S. 762 (с. 614) то место, где он говорит о доказательствах в математике («даже в алгебре»): «Все выводы гарантированы от ошибок тем, что каждый из них показан наглядно». Кант говорит также о «цепи выводов», в которой философ «руководствуется все время созерцанием» (там же, S. 745 (с. 602)). В том же самом разделе слово «конструировать» объясняется, как «представить a prioriв созерцании» (Kant,S.748 (с. 601)).
Аналогичные рассуждения справедливы и для арифметики, которая, согласно Канту, основывается на счете — процессе, в свою очередь основывающемся, по существу, на чистой интуиции времени.
Эта теория источников математического знания в своей кантовской форме порождает серьезные трудности. Даже если мы примем, что все сказанное Кантом правильно, мы остаемся в недоумении, ибо евклидова геометрия, независимо от того, использует она чистую интуицию или нет, несомненно, опирается на интеллектуальную аргументацию, логическую дедукцию. Невозможно отрицать, что математика оперирует дискурсивным мышлением.Ход рассуждений Евклида осуществляется шаг за шагом от высказывания к высказыванию через все книги его «Начал»: он не был постигнут в одном-единственном мгновенном интуитивном озарении. Даже если мы допустим (ради аргументации) необходимость наличия чистой интуиции в каждом отдельном шаге рассуждений без исключения(а это допущение современному человеку трудно сделать), пошаговая, дискурсивная и логическая процедура выводов Евклида так очевидна, так широко известна и ей так часто подражали (Спиноза, Ньютон), что трудно представить себе, что Кант мог этого не знать. На самом деле Кант знал все это, вероятно, не хуже любого другого. Однако рассматриваемая позиция была навязана ему: (1) структурой «Критики чистого разума», в которой «Трансцендентальная эстетика» предшествует «Трансцендентальной логике», и (2) его четким различением (я бы сказал — несостоятельно четким различением) интуитивного и дискурсивного мышления. В результате почти хочется сказать, что кантовское исключение дискурсивных аргументов из геометрии и арифметики — не просто пробел, а противоречие.
То, что это не соответствует действительности, было показано Брауэром, который заполнил данный пробел. Я имею в виду теорию Брауэра об отношении между математикой, с одной стороны, и языком и логикой — с другой.
Брауэр решил данную проблему тем, что провел четкое различение между математикой как таковойи ее выражением в языке и ее коммуникативной функцией.Математику саму по себе он рассматривал как внеязыковую деятельность, по существу — как деятельность мысленного конструирования на основе нашей чистой интуиции времени. Посредством такого конструирования мы создаем в нашей интуиции, в нашем уме объекты математики, которые впоследствии — после их создания — мы можем попытаться описать или сообщить о них другим. Таким образом, лингвистическое описание и дискурсивная аргументация со своей логикой появляются после по существу математической деятельности: их черед приходит только тогда, когда объекты математики — такие как доказательство — уже созданы.
Подход Брауэра к этому вопросу позволяет решить проблему, которую мы обнаружили в кантовской «Критике чистого разума». То, что на первый взгляд выступает у Канта как противоречие, упраздняется самым оригинальным способом посредством концепции, согласно которой мы должны четко различать два уровня: один уровень — интуитивный, мысленный и существенный для математического мышления, другой — дискурсивный, лингвистический и существенный только для коммуникации.
Как и у любой великой теории, ценность этой теории Брауэра проявляется в ее продуктивности. Она одним усилием решает три крупные группы проблем философии математики:
(1) Эпистемологические проблемыистоков математической достоверности (certainty), природы математических данных и природы математического доказательства. Эти проблемы решаются, соответственно, с помощью концепции интуиции как источника знания; концепции, согласно которой мы можем интуитивно усматривать математические объекты, которые конструируем, и концепции, согласно которой математическое доказательство является последовательным конструированием или конструкцией конструкций.
(2) Онтологические проблемыприроды математических объектов и способа их существования. Эти проблемы были решены Брауэром с помощью доктрины, имеющей два аспекта: с одной стороны, конструктивизм,а с другой стороны, — ментализм.Согласно ментализму, все математические объекты находятся в той сфере, которую я называю «вторым миром». Математические объекты — это конструкции человеческого ума, и они существуют единственно как конструкции в человеческом уме. Их объективность, то есть то, что они суть объекты и что они существуют объективно, всецело опирается на возможность повторения их конструирования по нашему желанию.
Таким образом, Брауэр в своей лекции 1912 года (Brouwer1914) предполагал, что для интуициониста математические объекты существуют в человеческом уме, в то время какдля формалиста они существуют «на бумаге» [126] .
(3) Методологические проблемыматематических доказательств. Мы можем упрощенно различать два главных подхода ученых к математике. Одни математики могут интересоваться главным образом теоремами — истинностью или ложностью математических высказываний, другие — главным образом доказательствами: вопросами существования доказательств той или иной теоремы и спецификой таких доказательств. Если преобладающим является первый подход (как это, по-видимому, имеет место, например, для Пойя), тогда он обычно связан с интересом к открытию математических «фактов» и поэтому с платонизированной математической эвристикой. Если же преобладает второй подход, тогда доказательства являются не просто средствами формирования уверенности в теоремах о математических объектах, а самостоятельными математическими объектами. Как мне кажется, так обстояло дело с Брауэром: те построения, которые были доказательствами, не только создавали и утверждали существование математических объектов, они были в то же время сами математическими объектами, возможно даже наиболее важными из таких объектов. Таким образом, утверждать некоторую теорему означало для Брауэра утверждать существование некоторого доказательства для нее, а отрицать ее — означало утверждать существование опровержения, то есть доказательства ее абсурдности. Это непосредственно ведет к отказу Брауэра от закона исключенного третьего, к отрицанию им косвенных доказательств и к тезису, что существование может быть доказано только реальным построением рассматриваемых математических объектов, когда они делаются, так сказать, видимыми.
126
См. конец третьего параграфа указанной работы Брауэра. Он пишет там о существовании не математики, а «математической точности», и так, как он сформулирован,этот отрывок относится к проблемам (1) и (3) даже больше, чем к онтологической проблеме (2). Однако не может быть никакого сомнения в том, что он имеет определенное отношение и к проблеме (2). В данном отрывке Брауэр пишет так: «На вопрос, где существует математическая точность, отвечают по-разному... Интуиционист говорит: „В человеческом интеллекте", формалист говорит: „На бумаге"».
Это также ведет к отрицанию Брауэром «платонизма», под которым мы понимаем учение, согласно которому математические объекты обладают тем, что я называю «автономным» способом существования, при котором они могут существовать, не будучи созданы нами и, следовательно, без доказательства своего существования.
До сих пор я пытался понять брауэровскую эпистемологию, исходя прежде всего из предположения, что она проистекает из попытки решить определенную трудность в философии математики Канта. Теперь я перейду к тому, что содержится в названии данного раздела, — к оценке и критике брауэровской эпистемологии.