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

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

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

Гейтинг прекрасно описал способ, которым язык и дискурсивное мышление взаимодействуют с более непосредственными интуитивными конструкциями (взаимодействие, разрушающее, между прочим, тот идеал абсолютной очевидной достоверности, которого, как предполагалось, достигает интуитивное конструирование). Возможно, будет уместно процитировать здесь начало того отрывка из его работы, который не только стимулировал меня на дальнейшие исследования, но и поддержал мои размышления: «Понятие интуитивной ясности в математике само не является интуитивно ясным. Можно даже построить нисходящую шкалу степеней очевидности (evidence). Высшую степень очевидности имеют такие утверждения, как 2 + 2 = 4. Однако 1002 + 2 = 1004 имеет более низкую степень очевидности; мы доказываем это утверждение не фактическим подсчетом, а с помощью рассуждения, показывающего, что вообще (n + 2) + 2 = n + 4... [Высказывания, подобные этому], уже имеют характер импликации: „Если построено натуральное число n, то можно осуществить конструкцию, выражаемую равенством (п + 2) + 2 = n + 4"» [136]. «Степени очевидности» Гейтинга имеют в данный момент для нас второстепенный интерес, а более важным является прежде всего исключительно простой и ясный анализ Гейтингом необходимого взаимодействия между интуитивным конструированием и его языковым выражением, которое неизбежно приводит нас к дискурсивному и тем самым к логическому рассуждению. Гейтинг подчеркивает это, когда продолжает: «Этот уровень формализуется в исчислении со свободными переменными».

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

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

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

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