Онтология математического дискурса | страница 33
Конструктивность математических объектов не появляется в математике интуиционистской школы как нечто само собой разумеющееся. По крайней мере для Брауэра (о котором мы и будем говорить в дальнейшем) она оказывается необходимым следствием анализа когнитивной деятельности человека. Структура математического рассуждения (как его представляет Брауэр) отражает прежде всего эту деятельность, более того, является наиболее чистым ее выражением.
Брауэровская математика (как и вся математика интуиционистской школы) чаще всего рассматривается в контексте кризиса оснований, вызванного обнаружением известных парадоксов и антиномий. Поэтому в требовании конструктивности математических объектов видят, главным образом, попытку устранить из математики самую возможность противоречия. Однако сам Брауэр, очевидно, идет гораздо дальше этой попытки. В целом ряде его работ обнаруживается не столько математический, сколько чисто философский интерес автора. Во всяком случае в тех статьях, на которые мы намерены в дальнейшем опираться, Брауэр озабочен не обоснованием корректности математических процедур, а исследованием когнитивной деятельности мысли как таковой. При этом он имеет явное намерение основать принцип существования в математике на исходных структурах мысли. Им предпринимается попытка трансцендентального анализа, призванного обосновать основные математические понятия как производные от форм интеллектуальной деятельности.
Брауэр представляет когнитивную активность человека в виде последовательности ясно отличимых друг от друга восприятий. В работе "Об основаниях математики" он писал так: "Человек наблюдает в мире последовательности событий, причинные цепи, разворачиваемые во времени. Основным феноменом этого наблюдения является сама интуиция времени, в которой происходит повторение восприятий или действий. Эта интуиция обнаруживается как последовательность моментов, разбивающих жизнь на последовательность вещей, качественно отличимых друг от друга" ([65], c. 99). Не само по себе восприятие определяет структуру мысли. Брауэр выделяет нечто, называемое "элементарный акт мысли", который описывает как "разделение моментов жизни на качественно различные части, которые, будучи разделены лишь временем, могут быть снова объединены". (См. примечание 2) Из этого, не очень ясного высказывания можно заключить, что акт мысли не есть простое действие или восприятие, связанное с определенным моментом времени. Элементарный акт мысли состоит именно в различении моментов. Иными словами элементарный акт мысли производит выделение некоторых отличных друг от друга индивидов, причем отличие их определяется разделяющими их временными промежутками. Производится, таким образом, организация времени, в котором, как в некоторой аморфной среде, выделяются фиксированные дискретные моменты. Это значит, что деятельность мысли определена двумя основными интуициями: дискретная последовательность и непрерывная среда (линейный континуум).