Объективное знание. Эволюционный подход

Если бы интуиционистская эпистемология была права, вопрос о математической компетенции не составлял бы проблемы. (Если бы кантовская теория была права, то непонятно, почему нам, а точнее — Платону и его школе, пришлось так долго ждать Евклида [130]. Однако эта проблема существует, так как даже весьма компетентные матема-тики-интуиционисты могут не соглашаться между собой по некоторым трудным вопросам [131]. Для нас нет необходимости исследовать, какая сторона в этом споре права. Достаточно указать, что раз интуиционистское конструирование подвергается критике, то рассматриваемая проблема может быть решена лишь путем существенного использования аргумента-тивной функции языка.Конечно, критическое по существу использование языка не обязывает нас использовать аргументы, запрещенные интуиционистской математикой (хртя и здесь существует проблема, как будет показано далее). Моя точка зрения в данный момент заключается просто в следующем: раз допустимость предложенного интуиционизмом математического конструирования может быть подвергнута сомнению, — а она, конечно, может подвергаться сомнению, — то язык становится не просто средством коммуникации, без которого можно в принципе обойтись, он является необходимым средством критического обсуждения, дискуссии. В соответствии с этим он не представляет собой всего лишь интуиционистскую конструкцию, «которая объективна в том смысле, что не важно, какой субъект ее создает» [132]. На самом деле объективность даже интуиционистской математики опирается, как это имеет место во всех науках, на критикуемость ее аргументации. А это означает, что язык является необходимым как способ аргументирования, то есть как способ критического обсуждения [133] .

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

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