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



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

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

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