Онтология математического дискурса

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

Естественным примером такой расчленяющей деятельности является деление отрезка прямой линии при нанесении на него последовательности точек. Само построение отрезка, отличимого от других отрезков, его выделение в качестве отдельного восприятия можно считать элементарным актом мысли. Но серия других элементарных актов, состоящих в делении построенного отрезка, позволяет различать в его пределах другие восприятия, части этого отрезка. Сами восприятия, (См. примечание 3) будучи ограничены какими-то границами (концы отрезка) могут быть безгранично делимы. Мы полагаем, что именно это имел в виду Брауэр, когда писал: "Возможность мысленного объединения нескольких единиц, связанных некоторым промежутком, никогда не исчерпывается вставлением новых единиц" ([55], c. 245). В результате процедуры деления отрезка мы структурируем ранее нерасчлененное единство и создаем определенную дискретную последовательность в пределах непрерывной среды. Таким образом мы все больше определяем эту самую среду, устанавливая отношения ее частей.

Две основные интуиции мысли находятся, следовательно, в состоянии постоянного взаимного определения и дополнения. Дискретная последовательность моментов структурирует аморфную среду, нечто постоянно недоопределенное, остающееся между названными моментами. (См. примечание 4) Приведенный нами геометрический пример является парадигмальным для описания любой когнитивной деятельности. Последняя, как видно, состоит в различении моментов восприятий в непрерывной временной среде и расчленении и уточнении самих восприятий.

Математика представляет собой наиболее чистое и, по-видимому, наиболее развернутое выражение такой деятельности. Френкель и Бар-Хиллел приводят следующее высказывание Брауэра: "Изначальная интуиция математики и всякой интеллектуальной деятельности представляет собой основу всех наблюдений за какими-бы то ни было изменениями, поскольку при этих изменениях игнорируются все качественные свойства" ([55], c. 240; курсив наш - Г.Г.).

Отвлечение от всякого чувственного содержания дискретной последовательности различающих актов мысли и создает представление целого числа, точнее, последовательности целых чисел, счета. При этом континуум, который Брауэр также называет основной интуицией, оказывается как бы в подчиненном положении. Он должен быть определен в ходе развертывания дискретной (числовой) последовательности.