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

Второе представление рисует структуру как "множество элементов, определяемых некоторыми отношениями такого рода, что становится возможным вывести все реляционные свойства элементов в случае, если даны операциональные правила, позволяющие преобразовывать доминирующие отношения". Первое из названных представлений характерно для описания природных и общественных феноменов (например ансамбля частиц в физике или общественных групп в социологии). Второе прежде всего относится к аксиоматическим построениям в математике. Мулуд, впрочем, замечает, что при развитии теоретического знания представление о структуре как о комплексе неизменно превращается в описание "операционального" (или "аксиоматического") типа ([37], c. 30-32).

Математический структурализм получил также существенное развитие в работах группы английских и американских авторов. Их исследования также касаются главным образом аксиоматических систем и потому центральным персонажем их работ неизменно оказывается Гильберт (см. [81] и [82]). Приведем весьма емкую характеристику структурализма, которую дает один из ведущих философов этого направления М. Резник: "Под структурализмом я понимаю общий философский подход к математике, основное кредо которого состоит в том, что математика изучает структуры и что математические объекты суть ничто иное как места в этих структурах" ([81], c. 83). Важной особенностью исследований англоязычных авторов является, на наш взгляд, попытка выяснить отношения с реализмом (или платонизмом), который некоторые из них рассматривают как главную альтернативу структурному подходу. Так Б. Хейл, выделяя ряд течений в рамках структурализма, отмечает, что все они "противостоят платонистскому взгляду на математику". Характеризуя последний, Хейл цитирует С. Шапиро: "Традиционный платонизм полагает, что предметом исследований той или иной математической дисциплины является совокупность абстрактных объектов, таких как натуральные числа, каждый из которых в определенном смысле онтологически независим от любого другого" ([73], c. 126).

Существует одна, на наш взгляд странная, особенность, присущая практически всем исследователям, придерживающимся структуралистского подхода. Мы уже отмечали, что идея структуры разрабатывалась - задолго до возникновения структурализма - в творчестве Кассирера (равно как и других философов Марбургской школы). Однако никто из структуралистов (насколько, по крайней мере, нам известно) не указывает на какую-либо связь с кантианской или нео-кантианской традицией. Более того, в ряде работ встречается известное отторжение этой традиции. В частности Мулуд указывает на несовместимость кантовской системы с аксиоматическим подходом ([37], c. 36). (См. примечание 6) Шапиро ([82], c.149) рассматривает появление аксиоматических методов и связанного с ними структурного подхода как попытку освободить математику от априорных форм созерцания (т.е. от интуиции пространства и времени). Гильбертовскую программу он считает поэтому "глубоко анти-кантовской", несмотря на то, что сам Гильберт неоднократно заявлял о своих кантианских пристрастиях (с. 156).

Задачей нашего исследования является согласование трансцендентального метода со структурным подходом. Мы попытаемся обосновать, что - как уже отмечалось выше - именно трансцендентализм (кантовского типа) делает структуру основной категорией математического и естественнонаучного мышления. Более того, трансцендентализм дает полное обоснование структурализма: именно в рамках трансцендентального рассмотрения становится понятным каким образом формальная система (т.е.