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