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

Г.Б.Гутнер

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

Введение Глава 1. Рассмотрение онтологического статуса предметов математики в некоторых философских системах 1 Платон и Аристотель: определение сущности 2 Сущность как мыслящая субстанция 3 Математическое существование в философии Канта. Предварительное рассмотрение Глава 2. Интерпретации существования в математике 1 Основные стратегии доказательства существования 2 Концепция существования у Кантора 3 Брауэровская интерпретация существования 4 Интерпретация существования в философии математики Гильберта Глава 3. Существование в геометрии. Анализ категорий модальности 1 Возможное и действительное в математике 2 Структура доказательства у Евклида в связи с категориями модальности 3 Необходимость и случайность 4 Возможное и действительное в отношении ко времени 5 Дискретность и непрерывность в структуре дискурса 6 Различие и тождество в дискурсе 7 Трудности рассматриваемого подхода и традиционные философские проблемы Глава 4. Именование и существование в структуре дискурса 1 Имя и действительность 2 Математический дискурс, основанный на именовании 3 Дискурс имен и неконструктивные "объекты" Заключение Библиография

---------------------------------------------------------------------------

Введение

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

Названная проблема решается, как правило, в рамках математики. Однако можно поставить вопрос о существовании математических объектов иначе. Можно спросить, какова природа математических объектов или каков их онтологический статус. Их можно считать самостоятельными интеллигибельными сущностями, абстрагированными от чувственно воспринимаемых вещей свойствами, чистыми конструкциями ума и т.д. Наверное каждая философская система попыталась определить свое отношение к математике и выяснить как именно существуют и существуют ли вообще ее предметы.

Вопрос об онтологическом статусе - это также вопрос о том каков смысл слова "существует" в применении к математическому объекту. Однако в философии этот вопрос должен быть понят иначе, чем в математике. Философской проблемой в данном случае является, на наш взгляд, отношение рассуждения (в частности математического рассуждения) к своему предмету. Исследованию подлежит вопрос о том, как постигается или как создается предмет в ходе рассуждения и в силу каких обстоятельств предмет может быть определен в рассуждении как существующий.

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

Говоря об отношении рассуждения к предмету рассуждения мы выделяем два подхода, смысл которых впервые был явно прописан Шеллингом во Введении к "Системе трансцендентального идеализма". Здесь проведено разделение между понятиями субъективного и объективного и соответственно между натурфилософией и трансцендентальной философией. Субъективное и объективное рассматриваются Шеллингом как два противоположных начала, необходимо сосуществующих в любом наличном знании ([61], с.232). Вопрос о том, "кому из них принадлежит приоритет", т.е. что является подлинной исходной точкой всякого знания - мышление (Я, интеллигенция) или природа невозможно разрешить однозначно. Но чтобы построить систему знания необходимо принять одно из указанных начал в качестве реальной предпосылки и попытаться вывести из него второе. Систему рассуждения, принимающую в качестве исходной посылки природу, Шеллинг называет естествознанием или натурфилософией. Противоположный подход, принимающий в качестве безусловного начала субъективное, он называет трансцендентальной философией.(См. примечание 1)Задачу последней Шеллинг формулирует предельно жестко. Само представление об объекте (природе, вещах и т.п.) должно быть дедуцировано из рассмотрения деятельности мыслящего Я. Утверждение о том, "что вне нас существуют вещи," должно быть отброшено, как предубеждение ([61], 235; курсив Шеллинга). Следовательно, в рамках трансцендентальной философии само понятие объекта должно быть рассмотрено как нечто производное от структуры мышления. Если натурфилософский подход призван решать как должна действовать мысль, чтобы достичь достоверного знания о существующей вне ее природе (независимом мире объектов), то трансцендентальный подход призван выяснить как должен быть устроен объект, чтобы стать адекватным познающей его мысли. Соответственно этому ставится вопрос о действительности объекта или о его существовании. Для трансцендентальной философии существование есть особый способ представления объекта мыслью. Рассмотрение онтологической проблематики в рамках трансцендентального подхода состоит, следовательно, в рассмотрении структуры рассуждения и обнаружении в нем таких способов отношения к предмету, которые позволили бы сказать о нем, что он существует. Иными словами, речь должна идти о способах правильного конструирования объекта в рассуждении.

Разделению двух подходов, которое провел Шеллинг, на наш взгляд коррелятивно рассмотрение двух способов образования понятий в математике и естественных науках, проводимое Кассирером в книге "Познание и действительность"[32]. Первый из названных способов он связывает с логикой Аристотеля и категорией субстанции. Логический ход, на который обращает внимание Кассирер, сводится к процедуре абстракции, т.е. отвлечения от единичной вещи ("первой сущности") ряда свойств, общих для нее с другими вещами. Образование понятий связано, следовательно, с последовательно проводимым обеднением содержания и увеличением степени общности понятий. При таком подходе всякое рассуждение должно рассматриваться как работа с общими (абстрактными) представлениями, описывающими классы сходных между собой сущностей. В таком рассуждении сущность, обладающая свойствами, должна неизбежно рассматриваться как отправная точка и как конечная цель мысли. Мышление в понятиях исходит из сущности, как из носителя свойств, которые должно абстрагировать. С другой стороны оно направлено на то, чтобы лучше понять эту сущность, т.е. высказать о ней наиболее достоверное суждение.(См. примечание 2)Альтернативный способ образования понятий, описанный Кассирером, исходит из той посылки, что "никакое суммирование отдельных случаев не может создать то специфическое единство, которое мыслится в понятии" ([32], c. 38). Такое единство дается не абстракцией, а специфической логической формой, позволяющей произвести любой подпадающий под это единство предмет. Например, "логическая определенность числа "четыре" дана благодаря его нахождению в ряду идеальной - и потому вневременно-значащей - совокупности отношений, благодаря его месту в математически определенной числовой системе" ([32], c.39). Понятие есть тогда логическое правило или функция, позволяющее определить структуру отношений, в которой единичный предмет оказывается элементом.

Проводимое Кассирером различение определяет два различных понимания категорий "общее - единичное". В первом случае под общим понимается свойство, равно присущее многим единичным предметам. Во втором - речь идет об общей структуре, объединяющей множество различных элементов. Причем свойства этих элементов не играют особой роли. Важно прежде всего то, что они отличны друг от друга, а единая логическая форма определяет структуру их отношений.(См. примечание 3)При таком подходе к рассуждению его предмет мыслится существующим постольку, поскольку оказывается определенным его место в заданной структуре. Он должен быть выведен из общей логической формы, т.е. заново произведен рассуждением как ее особенный элемент. Из сказанного ясно, что "структурный" подход к процедуре образования понятий, равно как и соответствующая ему интерпретация существования, возможны лишь в рамках трансцендентальной философии. Производящая объекты структура - это структура, внутренне присущая дискурсу, т.е. - в терминологии Шеллинга принцип действия субъекта. Все "объективное", "природное", "внешнее" определяется через него и из него дедуцируется. Собственно категории "объект" и "природа" также оказываются особыми структурами дискурса, а понятия "внутреннего" и "внешнего" вовсе теряют смысл. (См. примечание 4)

Противопоставление категорий сущности и структуры при исследовании природы и онтологического статуса математических объектов является главной методологической посылкой нашего исследования. Его целью является попытка развития трансцендентального подхода к рассмотрению математического мышления и предмета математики. При этом мы будем обращаться к категориям, разработанным преимущественно Кассирером и Кантом. Одной из наших целей будет обоснование тезиса, обратного к только что сформулированному. Мы попытаемся показать, что всякое трансцендентальное рассмотрение обязательно приведет к пониманию существования как существования элемента в пределах заданной структуры отношений.

Противопоставление двух выделенных в настоящем Введении подходов к определение природы математических объектов и их онтологического статуса довольно заметно в современной философии математики. Каждый из этих подходов весьма интенсивно развивался в XX столетии и достаточно явно оформился в виде направлений, известных под именами математического реализма и математического структурализма. Первый характеризуется (см. [5], c. 144) как тенденция "рассматривать математические объекты: числа, фигуры, множества как существующие в особом мире, данные до их собственно математического анализа". Беляев и Перминов - авторы цитированной здесь характеристики - возводят эту тенденцию к Платону и Лейбницу, для которых "математические утверждения ... отражают мир вечных и идеальных сущностей" (с. 146). Современный математический реализм они связывают, прежде всего, с именами Фреге и Рассела (с. 146). Здесь речь должна идти по преимуществу о попытке определения числа на основании логических аксиом. Эта попытка приводит к пониманию числа как универсалии, она подразумевает определение "единственного и вполне конкретного объекта, а именно натурального числа самого по себе, в его свойствах" (с. 147).

Дальнейшее развитие этого направления связано с работами Бернайса[63] (См. примечание 5) и Г?деля [69] и [70]. Исследования Г?деля интересны в частности тем, что развивают своего рода реалистическую гносеологию. В них делается попытка объяснения, каким образом независимые от человека сущности математического мира становятся доступными познанию. Г?дель основывает математическое знание на особой интуиции, способности непосредственно обнаруживать свойства математических сущностей и формулировать их в виде аксиом. Такое непосредственное обнаружение Г?дель уподобляет чувственному восприятию в естествознании. Числа, геометрические фигуры или множества, воспринимаемые интуицией, он полагает столь же реальными как физические тела, воспринимаемые чувствами. Интуиция при этом не только позволяет непосредственно видеть определенные факты, но также выступает как критерий истинности математических утверждений более общего характера, которые не являются интуитивно ясными, но оказываются плодотворными при выводе теорем. "Могут существовать аксиомы столь богатые поддающимися проверке следствиями, проливающие столь много света на всю область и приносящие столь мощные методы решения проблем, что не имеет значения являются ли они интуитивно ясными или нет, их следует принять, по крайней мере так же, как и всякую хорошо обоснованную физическую теорию" ([70], c. 477). Следовательно, факты, принимаемые несмотря на их недоступность интуиции подобны постулатам физических теорий, связывающим в единое целое совокупность чувственно воспринимаемых явлений.

На параллелизм математического и естественнонаучного знания указывает современная американская исследовательница П.Мэдди. В своей монографии, посвященной реализму в математике [77], она делает довольно полный обзор существующих ныне реалистических концепций и, разбирая их проблемы, дает собственную версию математического "платонизма". Приводимое ей общее "кредо" всего исследуемого направления выглядит так: "математика есть научное рассмотрение объективно существующих предметов (entities), точно так же, как физика есть изучение физических сущностей" (с. 21). Мэдди указывает на слабую сторону представленного взгляда - она состоит в том, что такие математические сущности, если они совершенно независимы от нашей мысли, должны быть полностью ей трансцендентны и совершенно неясно как они могут стать достоянием научного знания. (Мы видели, что эту проблему пытался решать и Г?дель). Сильной стороной реализма она считает тот факт, что с его позиций можно объяснить необычайную эффективность математики в исследовании физического мира. Если реальность математических предметов такова, как реальность физических тел, то мы можем мыслить некий единый мир, состоящий из физических и математических сущностей, находящихся в стройном взаимодействии. Свои усилия Мэдди направляет в значительной мере на преодоление указанной ей трудности, уделяя, вслед за Г?делем, большое внимание проблеме интуиции.

Мэдди считает реализм не только философским течением, но и наиболее распространенным типом воззрений, почти стихийно установившимся среди математиков. Она пишет, что математики видят себя и своих коллег исследователями, открывающими свойства разнообразных увлекающих их областей математической реальности" ([77], c. 1). Но как бы ни был распространен этот взгляд, он отнюдь не является единственным. Нам представляется интересной характеристика, которую дает Ван-дер-Варден стилю математического мышления Эмми Н?ттер: "Максима, которой постоянно руководствовалась Эмми Н?ттер, могла бы быть сформулирована следующим образом: все отношения между числами, функциями и операциями становятся абсолютно ясными, способными к обобщению и истинно плодотворными лишь тогда, когда они освобождены от их конкретных объектов и сведены к общим отношениям понятий" (Цит. по [59], c. 299). Именно такой стиль мышления стал основной темой для философско-математического направления, известного как структурализм. Впрочем, центральной фигурой для мыслителей, причисляющих себя к этому течению, является не Н?ттер, а Гильберт. Его аксиоматические построения очевидно имеют дело не с сущностями, а с отношениями элементов, собственные свойства которых не играют никакой роли для развития теории. Именно к аксиоматическим системам гильбертовского типа апеллирует работа Н. Бурбаки "Архитектура математики"([10]), в которой подробно рассматривается категория структуры. Под структурой понимается множество элементов, природа которых не определена, но для которых задана некоторая совокупность отношений. Эта совокупность отношений содержится в аксиомах, которые собственно и определяют структуру математической теории. Последняя получается в виде логических следствий из аксиом, сделанных при полном игнорировании от всяких, не содержащихся в этих аксиомах гипотез относительно свойств элементов (с. 251). Математика, следовательно, понимается как работа со структурами, а не как исследование сущностей. "В своей аксиоматической форме математика представляется скоплением абстрактных форм - математических структур, и оказывается (хотя по существу и неизвестно, почему), что некоторые аспекты экспериментальной действительности как будто в результате предопределения укладываются в некоторые из этих форм" (с. 258-259). Замечание, взятое в скобки, можно, вообще говоря, истолковать как признание некоторой слабости структурализма в сравнении с реализмом. Как мы видели последний претендует на способность объяснить связь математической и "экспериментальной" действительности.

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

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

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

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

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

Примечания к Введению

1. Собственная задача Шеллинга состоит в том, чтобы развить оба названных подхода и показать их конечное тождество. Нас ни в малейшей мере не будет интересовать возможность реализации подобного проекта, но само произведенное Шеллингом разделение представляется очень существенным. вернуться в текст

2. Кассирер считает, что существо описанной логической процедуры не будет меняться от того, что именно полагается в основание образуемого абстрактного понятия. Это может быть и единичная вещь, о которой "сказываются" ее свойства, и субстантивированная универсалия (как это полагают средневековые реалисты), и психическое переживание, т.е. восприятие или ощущение, не обязательно связанное с какой-либо внешней реальностью. вернуться в текст

3. Самый простой пример такого понимания общего - теория групп разбирается Кассирером в связи с рядом современных ему представлений с психологией зрительного восприятия в [68]. Логическое правило, задающее группу, определяет множество ее элементов, о которых не нужно знать ничего, кроме того, что они отличны друг от друга. Именно таким логическим правилом может быть задана группа преобразований пространства в геометрии. Инварианты определенных таким способом преобразований могут быть, по мысли Кассирера также и инвариантами зрительного восприятия пространства. С другой стороны, этот способ понимания общего отнюдь не является изобретением Кассирера. Например, Боэций, описавший процедуру абстрагирования как возможное решение проблемы универсалий ([9], c.27-31), указал и такую возможность интерпретации общего, при котором оно не может быть ни субстанцией, ни чем-либо, сказывающимся о субстанции. Так, единая вещь, может быть общей многим различным и тогда, "когда она становится общей для всех одновременно, но тогда она не составляет субстанции тех, для кого является общей, как, например, театр или любое другое зрелище, общее для всех зрителей" ([9], c. 25). Даже если спектакль, объединяющий многих зрителей (и исполнителей), и не является строго определенной логической формой, то во всяком случае представляет собой единую систему отношений, сообразную некому замыслу. вернуться в текст

4. Кассирер показывает, что оппозиция "внутреннее - внешнее" есть порождение субстанционального подхода. Именно такой подход противопоставляет объективную вещь и субъективное представление о вещи. Это противопоставление порождает весьма тяжелую проблему адекватности представления вещи. Внешняя (объективная) реальность неизбежно должна быть трансцендентна субъекту. См. [32], c.349-400. вернуться в текст

5. Бернайс был по-видимому первым, кто ввел для обозначения рассматриваемого направления термин "платонизм", достаточно широко используемый в современной литературе. вернуться в текст

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

7. По поводу одной из названных категорий, о дискурсе, необходимо дать некоторые объяснения уже сейчас - тем более этот термин вынесен в заголовок работы. Это слово часто используется в самых разных смыслах и нужно пояснить, что мы имеем в виду, используя его.

В статье Ю.Степанова ([54], c.36-46) приводится (со ссылкой на различных авторов) целый ряд определений термина "дискурс". Не пытаясь анализировать их, приведем те, которые в нашей работе чаще всего будут подразумеваться. Таковым является понимание дискурса как последовательности связанных высказываний или "последовательности элементарных пропозиций, связанных между собой логическими отношениями конъюнкции, дизъюнкции и т.п." (с. 38). Такую последовательность, впрочем, с успехом можно было бы назвать и "рассуждением". Говоря о "математическом дискурсе", мы имеем в виду, что наряду с рассуждением (последовательностью пропозиций, речью) в наше рассмотрение должна быть также включена и графика, например, геометрические чертежи. Математический дискурс, следовательно, является для нас более широким понятием, чем математическое рассуждение.

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

Степанов не считает удовлетворительными такие интерпретации термина "дискурс", находя их чрезмерно узкими. Он, в конечном счете, определяет дискурс как "язык в языке" ([54], c. 44), как достаточно широкий порождающий контекст множества текстов, определяющий и лексику, и синтаксис, и семантику. Мы, однако, будем избегать такой интерпретации для нас очень будет важно указать на серьезную дистанцию, разделяющую понятия "дискурс" и "язык". вернуться в текст

ГЛАВА 1 Рассмотрение онтологического статуса предметов математики в некоторых философских системах

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

1 Платон и Аристотель: определение сущности

Отношение Платона к математике естественно рассматривать в рамках проводимого им различения между подлинным бытием и становлением. Онтологический статус любой вещи определяется в терминах такого различения. Вещь существует в той мере, в какой причастна подлинному бытию, и в той же мере она может быть познана умом. То, что доступно чувству (и в той мере, в какой оно доступно чувству) не существует, а лишь становится, и о нем возможно лишь мнение, а не знание. Такого рода различение встречается во многих диалогах - сошлемся хотя бы на следующий пассаж из "Тимея": "Представляется мне, что для начала должно разграничить вот какие две вещи: что есть вечное, не имеющее возникновения бытие и что есть вечно возникающее и никогда не сущее. То, что постигается с помощью размышления и рассуждения, очевидно, и есть вечно тождественное бытие; а то, что подвластно мнению и неразумному ощущению, возникает и гибнет, но никогда не существует на самом деле" (Тимей, 27d-28a). Платон неоднократно обращался к этому противопоставлению и попыткам описать мир бытия и мир становления, но один интересный аспект описания последнего он обнаружил в диалоге "Филеб". Там указывается, что, характеризуя данные чувств (т.е. высказывая мнение), мы всегда сопоставляем одно ощущение с другим такого же рода. Мы говорим о чувственно воспринимаемой вещи, что она "более теплая" или "более холодная" (чем, например, другая вещь или та же самая в другое время). В мнении мы всегда прибегаем к сопоставлению, выражая его словами "более" или "менее", "сильнее" или "слабее". Таким образом мы выстраиваем беспредельную шкалу отношений - ведь говоря "больше", мы всегда подразумеваем возможность другого, которое больше (сильнее, теплее), чем воспринимаемое сейчас. Мир становления предстает именно как набор отношений, где ничего не существует самостоятельно, но определяется лишь по сопоставлению с другим. Это какая-то беспредельная совокупность не имеющих отчетливого определения и ясного очертания предметов, которые можно лишь сопоставлять с другим, но нельзя рассмотреть каждый самостоятельно, "сам по себе" ("Филеб" 24b-d).

Теперь противопоставления подлинного сущего и становящегося может быть описано в следующих терминах: первое познается и существует самостоятельно, само по себе, а потому и определяется само из себя, как независимая от другого сущность. Второе же лишь видится и мнится в совокупности, как нечто, не имеющее собственного определения, но предстающее обязательно совместно с другим. Оно не обладает никакими собственными характеристиками, оно лишь "более" или "менее", чем другое. Это элемент в беспредельной совокупности отношений, который если чем и определяется, то только отличием от другого. Существование, таким образом, оказывается тождественно самоопределенности. Чем в большей мере самостоятельна вещь, тем с большим правом она может быть признана сущей. В главах V-VII "Государства" Платон выстраивает целую иерархию сущностей, место которых тем выше, чем меньше нуждаются они в другом для своего определения. По поводу находящегося на вершине иерархии Блага (или Первообраза в "Тимее" или Единого в "Пармениде"), впрочем, уже оказывается невозможно сказать, что оно существует, поскольку, определяя все остальное, оно оказывается недоступно никакому определению и познанию.

Каково же место математических предметов в этой иерархии? Прежде всего, следует сказать о числах и счете. Разговор о них начинается тогда, когда возникает потребность установить в чувственном мире хотя бы какую-то определенность, т.е. начать не только ощущать вещи, но и размышлять о них. Для этого же необходимо прежде всего отделить одно ощущаемое от другого, выделить их в нечто (хотя бы отчасти) самостоятельное. "Если каждый из них один, а вместе их два, то эти два будут в мышлении разделены" ("Государство", VII, 524c)... и далее "Для выяснения этого мышление в свою очередь вынуждено рассмотреть большое и малое, но не в их слитности, а в их раздельности: тут полная противоположность зрению." Но разделять и обособлять предметы значит их пересчитывать, т.е. указывать сначала на одно, потом на второе, потом на третье. Мы уже не говорим о чем-то, что оно "более легкое" или "менее теплое". Мы выделяем его как нечто особенное в ряду пересчитываемых предметов. Ряд отдельных сущностей оказывается доступен мысли именно благодаря числу. Следовательно число есть начало (причина) самостоятельного существования чувственно воспринимаемой вещи. Ее можно мыслить прежде всего благодаря количеству.

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

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

Точно также от чувственного созерцания чертежей (или геометрических построений, проводимых в практических целях - "Государство" 526d) геометр обращается к вечным сущностям - геометрическим фигурам самим по себе. Эти последние есть причины существования первых. Чертеж - нечто вспомогательное, нужное лишь для обращения к самостоятельной и независимо от всяких построений существующей вещи, постигаемой только размышлением. Однако и такие вещи не вполне самостоятельны - также как и числа. Их можно созерцать умом лишь благодаря Благу, которое есть причина их постигаемости и их существования. Платон утверждает, что если бы геометр имел возможность исходить из идеи Блага, как подлинного начала геометрических сущностей, то он вовсе не нуждался бы в чертежах, а мог бы постигать фигуры лишь умом ("Государство" 511e-d).

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

Рассмотрение "бытия самого по себе", как основного определения существования, было совершенно иначе проведено Аристотелем. Однако само понимание существования является общим для обоих философов. Аристотель, однако, разработал систему терминов, в которых вопрос о существовании можно поставить более ясно, чем это делает Платон.

О существовании, как о самостоятельном существовании, Аристотель начинает говорить в пятой книге "Метафизики" следующим образом: "Самостоятельное существование в себе приписывается тому, что обозначается через различные формы категориального высказывания: ибо на сколько ладов эти различные высказывания производятся, столькими путями они (здесь) указывают на бытие" ("Метафизика", V, 7). Эта отсылка к категориям заставляет немедленно вспомнить об основной категории, о сущности (oysia), к рассмотрению которой Аристотель тут же и переходит. В предварительном рассмотрении (в V книге) указывается два основных значения этой категории: подлежащее (ypokeimenon), т.е. то, что ни о чем не сказывается, но о чем сказывается все остальное; и "суть бытия", о которой Аристотель говорит, что она есть определение всякой вещи.

Здесь уже выделен главный (не рассмотренный у Платона) аспект самостоятельности - особое место сущности в рассуждении. Сущность то, что ни о чем не сказывается. То, что сказывается о ней, зависимо от нее. Следовательно на сущность, понятую как подлежащее (в русском переводе используется также латинский термин "субстрат"), можно лишь непосредственно указать. Но благодаря такому указанию не возникает еще никакой определенности. Поэтому понимание сущности как подлежащего должно быть дополнено пониманием сущности как "сути бытия". Последний оборот есть попытка перевода вопросительного выражения: "to ti hn einai", которое можно, по-видимому,перевести как "что есть это". Следовательно "суть бытия" подразумевает,прежде всего, определение единичного предмета, на которой в данный момент указывается. Такое определение и должно включить всю полноту категориальных высказываний. Самостоятельно существует и определена как сущность вещь, рассмотренная именно в этой полноте. Все способы описания через категории обретают смысл именно как ответ на вопрос "что есть это?". Тогда они становятся "сутью бытия" существующего предмета.

Итак сущность, как категория, обозначающая самостоятельное существование, включает два момента: непосредственное указание на единичный предмет и полноту логического определения этого предмета. Нам сейчас нет необходимости подробно рассматривать, что должно включать такое определение, но один его аспект представляется особенно важным. Завершая VII книгу "Метафизики" (целиком посвященную "сути бытия"), Аристотель указывает, что суть бытия вещи "в некоторых случаях есть конечная цель". Вопрос "что есть это", подразумевает, следовательно и вопрос "для чего". В самом деле, самостоятельное существование требует завершенности, окончательной оформленности, которой далеко не всегда обладает предмет непосредственного указания. Суть бытия для груды камней и бревен не означает ее подробного описания. Никакого самостоятельного значения эта груда не имеет. Поэтому, говоря о ее сущности, мы должны описать дом, который будет из этого материала построен. Точно также сутью бытия для мальчика Аристотель считает взрослого человека, а для зерна - развитое растение. Сущность в полном смысле поэтому есть реализованная цель или полная осуществленность (enteleceia). О ней Аристотель говорит, что она, будучи последней в порядке возникновения, является первой по сущности.

Вопрос о существовании математических предметов может быть теперь сформулирован так: "Являются ли математические предметы сущностями?" Аристотель тщательно разбирает этот вопрос и дает на него однозначно отрицательный ответ. Он находит множество нелепостей, вытекающих из того, что за предметами математики (геометрическими фигурами и числами) признается самостоятельное существование. Изучая вопрос о существовании математических предметов, мы должны прежде всего исключить из рассмотрения общие понятия. Ни о каком треугольнике "вообще" (или кубе "вообще") не может быть здесь и речи, поскольку общее не может быть сущностью. Это Аристотель устанавливает в VII книге "Метафизики" и основным аргументом выступает то, что общее всегда сказывается о каком-нибудь подлежащем. Следовательно, речь может идти только о единичном, "вот этом" математическом предмете. Далее, разбирая основные геометрические образы точка, линия, плоскость и тело, - Аристотель устанавливает (XIII,2), что только последнее может в каком-то смысле рассматриваться как сущность. Ни точка, ни линия, ни плоскость сущностями быть не могут, поскольку непосредственное указание на них возможно лишь тогда, когда они присутствуют в некотором теле. Из предположения об их самостоятельном существовании вне тела Аристотель выводит массу нелепостей. Но даже не касаясь подробностей его аргументации, можно легко видеть, что невозможно указать на точку иначе, как на границу некоторой линии, на линию - как на границу поверхности, на поверхность - как на границу тела. Иными словами точка, линия и поверхность не могут обладать даже относительной самостоятельностью, т.е. не могут рассматриваться как особые сущности, существующие в теле, подобно тому, например, как части существуют в целом. Они не обладают никакой самостоятельностью, ибо всегда подразумевают нечто другое, границей чего являются.

Весьма пространное рассуждение приводит также Аристотель, доказывая невозможность самостоятельного существования чисел. Мы не будем здесь вникать в детали полемики, которую он ведет с пифагорейскими и платоническими концепциями, а приведем лишь один аргумент, релевантный логике нашего рассуждения. Число, очевидно, может быть представлено как составная сущность. Оно состоит из единиц, которые представляют его материю (XIII,8). Следовательно, число "по сущности" предшествует единице, составляя суть бытия для набора единиц. Причем эта "суть бытия" может в данном случае быть понята и как цель, как энтелехия и в этом смысле начало для единицы. Продолжив это рассуждение мы можем заключить, что также и всякое последующее число есть начало для любого из предшествующих ему в ряду чисел. Ведь оно всегда может быть представлено как состоящее из этих чисел. Но тогда никакое число не является энтелехией и сущностью, поскольку суть его бытия в другом. В поисках сути бытия для каждого числа (т.е. в поисках ответа на вопрос "что есть это число?") мы вынуждены идти в бесконечность. Иными словами суть бытия для чисел невозможна, т.е. они не являются сущностями.

Однако Аристотель не утверждает, что математические предметы не существуют вовсе. Не может же математика быть наукой о том, чего нет. Он лишь говорит, что для чисел и геометрических фигур существование нужно понимать в особом смысле. Определяя онтологический статус для предметов математики, Аристотель находит его таким же как для любой другой науки - всякая наука изучает нечто существующее, т.е. сущности, но не поскольку они сущности, а лишь в той мере, в какой эти сущности обладают интересующими данную науку свойствами. Так медицина изучает болезнь и здоровье, которые не существуют сами по себе, а являются свойствами человека. Но врача не может интересовать суть бытия человека, равно как и множество его разнообразных других свойств. Геометрия также изучает сущности, но лишь постольку, поскольку они являются телами, будучи телами ограничены поверхностями, содержат линии и точки. Арифметика выделяет иной аспект существования, рассматривая сущности с точки зрения их количества. Таким образом Аристотель вполне ясно определяет онтологический статус математических предметов - они являются свойствами сущности, которые, не имея самостоятельного существования, могут, тем не менее, рассматриваться отдельно. Это отдельное от сущности рассмотрение порождает нечто вроде иллюзии самостоятельности, которая и может интерпретироваться как существование в математике.

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

2 Сущность как мыслящая субстанция

Идея сущности, как самостоятельного существования, изучение которого состоит в рассмотрении свойств, была воспринята европейской философией и очень надолго закрепилась в ней под названием "субстанции". (См. примечание 2) Ее уже в XVII веке определяли например так: "То, что существует само в себе и представляется само через себя, т.е. то представление чего не нуждается в представлении другой вещи, из которого оно должно было бы образоваться" ([52], с.1). В Новое время из определения этой категории выводились самые разные следствия. Представление о самостоятельном существовании интерпретировалось по-разному разными философами, но само это представление почти всегда оказывалось основой для определения онтологического статуса предмета. Однако иногда это определение делалось так, что представление о субстанции оказывалось в нем крайне размытым и, в конечном счете, несущественным. Мы разберем здесь две концепции математического существования, демонстрирующие серьезное переосмысление аристотелевского понятия сущности.

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

Важно, что Декарт подходит к названной идее совершенно с другой стороны. Его задача - найти метод ясного и достоверного познания, который он характеризует так: "Весь метод состоит в порядке и расположении тех вещей, на которые надо обратить взор ума, чтобы найти какую-либо истину" ([22], с.91). Этот порядок расположения вещей обусловлен последовательностью обоснования. Суть познания (как она описана в "Правилах для руководства ума") состоит в сведении неизвестного к уже известному, т.е. более сложного и запутанного к более простому. Сведение же означает выведение истин о сложном из истин об уже известных простых вещах. Вещи выстраиваются в ряды так, что одни из них могут быть познаны на основании других (Правило VI). Так понятое познание требует введения некоторого беспредпосылочного начала, которое не из чего не выводится. Декартовское учение о методе необходимо предполагает установление самых простых вещей и самых простых истин.

Пытаясь описать природу таких истин Декарт вводит различение между абсолютным и относительным. "Абсолютным я называю все, что заключает в себе искомую чистую и простую природу, например, все то, что рассматривается как независимое, причина, простое, всеобщее, единое, равное, подобное, прямое и другое в том же роде. Я называю абсолютное также самым легким для того, чтобы пользоваться им для разрешения вопросов" ([22], с. 93). Относительным называется то, что выводится из абсолютного. В характеристике относительного следует выделить один важный момент - оно "вносит в свое понятие нечто другое, что я именую отношениями; таковым (т.е. относительным) является все то, что называют зависимым, действием, сложным, частным, множественным, неравным, несходным, непрямым. Эти относительные вещи отдалены от абсолютного тем больше, чем больше они содержат подобных отношений, подчиненных друг другу" ([22], c. 93; курсив мой - Г.Г.). Таким образом правильный метод познания вновь приводит к прежней оппозиции самостоятельно существующего и определенного через самого себя и зависимого, нуждающегося для своего определения в другом. Первое, названное здесь абсолютным, Декарт в дальнейшем прямо назовет субстанцией. Обратим внимание на воспроизведение платоновской характеристики того, что такой простотой и самостоятельностью не обладает: оно понимается как совокупность отношений, т.е. требует для своего определения различения и установления отношений с другим.

Итак задача состоит в том, чтобы обнаружить самую простую идею, которая не требовала бы для своего определения никакого другого и не включала бы в себя никаких отношений. В "Правилах для руководства ума" в качестве такой идее устанавливается идея протяжения. Под последним понимается все, "что обладает длиной глубиной и шириной" (c. 136). Декарт утверждает: "Нет ничего, что легче бы представлялось нашим воображением" (Там же). Идея протяжения необходимо включает в себя представление тела. В воображении невозможно создать две различные идеи: тела и протяжения. Следовательно, одной из исходных идей всякого рассуждения является идея протяженного тела. Именно эта идея дает возможность установить существование чего-либо. Она обозначает субстанцию наиболее "ясно и отчетливо".

В "Первоначалах философии" Декарт прямо связал идею субстанции с идеей существования. Из утверждения (названного им аксиомой), что у небытия не может быть никаких свойств, он выводит, что всякое мыслимое свойство должно предполагать за собой нечто, чему оно принадлежит. Иначе говоря, всякий мыслимый атрибут есть атрибут существующего, т.е. субстанции. Но саму субстанцию нельзя мыслить иначе, чем посредством ее атрибутов ([23], с. 335). Причем не все атрибуты равноправны. Есть атрибуты, которые указывают на субстанцию непосредственно и представляются наиболее отчетливо. Другие атрибуты или свойства суть производные от главных. Такой иерархии собственно и требует метод - место в иерархии определяется удаленностью от субстанции, т.е. степенью зависимости от другого, иначе говоря относительностью и сложностью. Субстанция, которая не нуждается ни в чем, но дает бытие своим атрибутам оказывается непознаваема сама по себе: "Субстанцию нельзя постичь лишь на том основании, что она существует" ([23], c.335). Последнее вполне согласуется с аристотелевским пониманием субстанции - она не сказывается ни о чем как о подлежащем, т.е. не может быть непосредственно выражена ни в каком высказывании. (Потому что все, что выражено средствами языка о чем-то сказывается.)

Первое место среди доступных восприятию и воображению атрибутов занимает, как мы видели, протяженность. Оттого и субстанция, о которой непосредственно сказывается этот атрибут, называется протяженной. В "Первоначалах" Декарт пытается осуществить специфический естественно-научный проект: вывести последовательно все свойства материального мира из одного главного - т.е. в полном соответствии с требованиями метода выстроить систему свойств субстанции, которые, постоянно усложняясь, определялись бы одно на основании другого. Такой проект (неважно насколько удачно он был реализован самим Декартом) есть очевидная попытка создания "математического естествознания". Математические предметы играют в декартовской онтологии особую роль. Можно сказать, что они фундируют всякое суждение о существовании любого материального предмета. Основанием для такого вознесения математики является именно рассмотрение протяженности как главного атрибута субстанции. Мы судим о вещи по ее свойствам. Но всякое свойство может быть рассмотрено как сущее (т.е. как свойство реально существующей вещи) лишь тогда, когда оно произведено от протяженности. Значит, чтобы ясно судить о свойствах вещи (и быть убежденным в ее существовании), мы должны, прежде всего, рассмотреть ее как вещь математическую, точнее, как предмет геометрии. Последняя изучает протяженность "саму по себе" лишь поскольку она протяженность. Нельзя сказать, как это делает Аристотель, что математика изучает субстанцию, поскольку она протяженная, а другие науки (которые ничуть не хуже математики) изучают (столь же успешно) какие-то другие ее свойства. Все свойства суть модусы протяженности, а значит все науки зависимы от математики. Поэтому не объекты математики существуют в том смысле, что они суть некоторые способы представления сущности. Скорее наоборот: предмет оказывается сущностью в той мере, в какой он объект математики. Критерий существования вещи состоит в доступности ее математическому познанию. Онтологический статус вещи определяется тем, что она есть вещь протяженная.

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

В "Правилах для руководства ума" (Правило XIV) Декарт устанавливает, что первым и наиболее простым способом рассуждения о протяженности является измерение. Благодаря ему становится возможным судить о протяженных предметах и более сложно. Но чтобы измерять, нужно установить единицу измерения, к которой "одинаково приобщены все те вещи, какие сравниваются между собой" ([23], c. 140). Но и сама единица должна являть собой некое протяжение, точнее, протяженную вещь. Что это за вещь, зависит от природы измеряемого предмета. В разных измерениях единица может быть различной. Это может быть и квадрат, и куб, и треугольник. Протяжение, по мысли Декарта, присуще, в конечном счете, даже простой арифметической единице. Последнюю он предлагает изображать, например, в виде точки. Вообще, арифметические операции он мысли либо как операции с множествами подобных точек (наподобие пифагорейских фигурных чисел), либо как операции с отрезками. Таким способом и счет, и алгебраические правила должны оказаться производными от измерения протяженного тела.

Таким образом, выбор единицы зависит от цели производимого измерения, природы измеряемого предмета и, возможно, от многих других обстоятельств. В конечном счете - это некий произвол того, кто занят измерением. Именно он должен выбрать единицу так, чтобы измеряемый предмет предстал ему наиболее ясно и отчетливо. Иными словами, протяженная субстанция оказывается как бы не вполне субстанцией. Ее представление зависит от того, кто о ней мыслит. Есть нечто (точнее некто), что можно назвать субстанцией с большим основанием, чем любое протяженное тело. Такой субстанцией является мыслящее Я, существование которого устанавливается с гораздо большей очевидностью, чем существование чего бы то ни было еще. Именно отнесенность к этой субстанции определяет онтологический статус любой вещи. Без представления о существовании "Я" нельзя вообще ничего достоверно помыслить как существующее. Как основание для протяженной субстанции необходима субстанция мыслящая. Эта последняя, что немаловажно, также не может мыслиться как совершенно независимая. Точнее, оставаясь совершенно независимой, она была бы лишена возможности всякого знания (кроме того несомненного знания, что "Я существую"). Есть еще третья (впрочем, скорее первая) субстанция - Бог, благодаря которому мыслящий ум не только приобретает истинные знания, но и обретает уверенность в их истинности. Поэтому наряду с иерархией атрибутов возникает еще иерархия субстанций Бог, Я, протяженное тело - где каждая последующая субстанция субстанциональна благодаря отнесенности к предыдущей. Однако, место, которое занимает в этом ряду субстанций мыслящее Я, оказывается, если следовать указанию порядка расположения, не просто средним, но центральным. Именно эта субстанция оказывается беспредпосылочным началом знания, о котором мы говорили в начале параграфа. Порядок познания у Декарта совершенно не соответствует онтологическому порядку сущего. Ум (как этого хотел бы, например, Платон) не движется снизу вверх, устремляясь к высшему знанию, или сверху вниз, обосновывая низшее высшим. Он, если пользоваться этими топологическими метафорами, начиная из самого себя, как из центра, расходится в разные стороны.

Иерархическое построение Декарта наталкивает на один своеобразный мыслительный ход, который, на наш взгляд, был весьма полно осуществлен Беркли. Из трех названных субстанций, последняя кажется не вполне, если так можно выразиться, субстанциональной. Конечно в логике, предлагаемой Декартом, требуется нечто существующее, чему должна быть приписана протяженность. Но то, как строится рассуждение о протяженности, не оставляет за ней уже никакой независимости от ума. Весь материальный мир, целиком дедуцируемый из геометрических истин, не может быть ничем, кроме умственной конструкции. Можно считать, что за всей этой конструкцией на самом деле существует некая субстанция, действительно обладающая всеми теоретически установленными атрибутами и модусами. Однако то, как эти атрибуты и модусы были найдены, не имеет к ней никакого отношения. Их установлением мыслящая субстанция (т.е. Я) обязана лишь себе и Богу. Иначе говоря, в стремлении к достоверному знанию ум действует (или, во всяком случае, должен действовать) так, как если бы никакой не зависящей от него протяженной субстанции не было.

При всем несовпадении гносеологических принципов Декарта с философией Беркли у обоих философов присутствует некое общее представление о субстанциональности. Для Беркли объектом познания является не субстанция, а идея, которая существует только в уме и только в результате конкретного восприятия. Вещь представляет собой комплекс идей и, следовательно, также не существует нигде, кроме ума. Беркли пишет: "То, что говорится о безусловном существовании немыслящих вещей без какого-либо отношения к их воспринимаемости, для меня совершенно непонятно. Их esse есть percipi, и невозможно, чтобы они имели какое-либо существование вне духов или воспринимающих их мыслящих вещей" ([6], с. 172). Только мыслящая вещь может быть названа субстанцией. "Нет иной субстанции, кроме духа или того, что воспринимает" (Там же, с. 174 - курсив Беркли). Немыслящая вещь существует постольку, поскольку принадлежит субстанции. Здесь Беркли вроде бы повторяет мысль своих предшественников. Существование чего-либо определено лишь связью с субстанцией, т.е. тем, что не нуждается ни в чем и ни о чем не сказывается. Интересен, однако, онтологический статус вещей. Он обнаруживается из рассмотрения вопроса о происхождении идей. Сами идеи не могут быть причиной своего появления или изменения. Образовывать их может лишь мыслящая вещь, т.е. их субстанция. Идеи возникают в своей субстанции (в уме), либо благодаря действию этой субстанции на себя (воображение), либо благодаря воздействию другой субстанции. Эта другая субстанция является основным источником идей и причиной их устойчивой связи в человеческом уме. Ее Беркли называет "вседержащим духом" - речь, следовательно, идет о Боге. Таким образом, сам факт существования чувственно воспринимаемых вещей оказывается фактом взаимодействия двух мыслящих (в терминологии Беркли - "духовных") субстанций. Человеческие представления о вещах, т.е. идеи, оказываются средством общения субстанций. Истинность знания о вещах и о внешнем мире эквивалентна правильности такого общения.

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

Однако один аспект подхода Беркли к математике мы считаем особенно важным. Выше мы говорили, что истинность знания означает некую "правильность" в общении двух субстанций. Ряд высказываний Беркли позволяет установить, о какой правильности идет речь. Прежде всего, рассматривая предмет арифметики, Беркли отрицает всякий смысл в попытках увидеть в ней специальное знание о числах, как особых объектах. Он утверждает, что если мы "ближе вникнем в собственные мысли", то "станем смотреть на все умозрения о числах, лишь как на difficiles nugae, (См. примечание 4) поскольку они не служат практике и не идут на пользу жизни" ([6], c. 228; курсив наш - Г.Г.). Далее Беркли прямо утверждает, что наука о числах "становится узкой и пустой, когда рассматривается только как предмет умозрительный", но становится осмысленной, будучи "всецело подчинена практике" (Там же). Такой подход к арифметике может быть отчасти оправдан тем, что по мнению Беркли у нее вовсе нет собственного предмета, а все ее выводы в действительности относятся только к пересчету вещей. То что мы называем числами суть лишь знаки, облегчающие процедуру счета (с. 229). Однако требование полезности Беркли предъявляет и к геометрии, которая все же имеет собственную предметную область - протяженные вещи, воспринимаемые чувствами. Однако и здесь осмысленным признается лишь такое рассуждение, которое имеет практическую ценность. Беркли вполне ясно предлагает вовсе отказаться от всяких исследований, касающихся проблем бесконечной делимости и исчисления бесконечно малых величин, поскольку не видит в этом отказе никакого вреда для человечества (с. 235).

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

Беркли высоко ценил идеал правильного общения в человеческом сообществе, живущем согласно воле провидения, т.е. сообразно установленным Богом нормам морали. "Если же мы допустим существование сообщества разумных созданий, действующих под надзором Провидения, совместными усилиями способствующих достижению единой цели - благу и пользе единого - и согласующих свои поступки с утвержденными отчей мудростью Божества законами;...если мы все это допустим, то сделаем предположение восхитительное и радостное." ([8], c. 90). Этот проект идеального общества позволяет иначе взглянуть на роль математики и естественных наук. Познание вещей, так, как они действительно существуют, есть понимание тех воздействий, которые Бог оказывает на человека. Следовательно, истинное естественнонаучное и математическое знание ведет, в конечном счете, к установлению подлинно благих правил и норм взаимодействия "разумных агентов". Онтологический статус предметов математики определяется поэтому не их объективной, но их интерсубъективной (См. примечание 5) значимостью. Первоначальная посылка Беркли "Существовать, значит быть воспринимаемым" - может быть, по нашему мнению, прочитана так: "Существовать, значит способствовать правильному общению разумных существ."

3 Математическое существование в философии Канта. Предварительное рассмотрение

В интерпретации Беркли субстанция не есть идея, а потому не может быть предметом познания. Иными словами, субстанция - только субъект, но не объект знания. Осмысление проблемы в субъект-объектной терминологии в полной мере осуществлено Кантом, который, отчасти, вернул слову "субстанция" аристотелевский смысл.

То, что Декарт и Беркли (а также и другие философы Нового времени) называли мыслящей субстанцией, Кант назвал субъектом, подробно рассмотрев его логическую структуру. При этом он настаивал, что мыслящее Я нельзя называть субстанцией. Последняя есть категория, предназначенная для того, чтобы судить об объекте мысли. Эта категория позволяет судить о явлениях, как о способах обнаружения некоторого неизменного основания. "Схемой субстанции служит устойчивость реального во времени, т.е. представление о нем, как о субстрате эмпирического определения времени вообще, который, следовательно, остается, тогда как все остальное меняется" (B183 - ссылки на "Критику чистого разума" делаются в соответствии с пагинацией второго издания (1787 года), которая дается в большинстве русских переводов). Субстанция, таким образом, есть устойчивое основание того, о чем ведется рассуждение. Всякое суждение сказывается о субстанции, как о носителе выражаемых этим суждением свойств. Такая трактовка в самом деле в чем-то близка Аристотелю. Однако особого рассмотрения требует вопрос о том, как производится суждение и как, в конечном счете, строится рассуждение.

Суждение о предмете означает синтез, производимый согласно априорным условиям. Такой синтез состоит в установлении субъектом мышления связи данных представлений. Связь представлений в суждении не может быть дана, а может быть только создана субъектом (B130). В Главе 3 мы подробно разберем вопрос о синтезе в применении к математике. Сейчас лишь обратим внимание на то, что Кант выделяет два рода синтеза - "интеллектуальный" и "фигурный" и, соответственно, два плана дискурса: рассудочный синтез общих понятий и синтез способности воображения, состоящий в конструировании единичных предметов.

Рассудочное мышление состоит в создании субъектом единства в своих представлениях. Поэтому предмет, чтобы стать объектом мышления, должен быть сконструирован субъектом. (См. примечание 6) Это конструирование может быть понято в том числе и в самом прямом смысле, как сборка конструкции из набора элементов. Последнее относится прежде всего к математике. Алгебраическая формула, равно как и геометрическая фигура, становятся объектами рассуждения, будучи сконструированы продуктивной способностью воображения, т.е. собраны в пространстве из более простых фигур, формул или знаков. Поэтому всякий математический предмет существует постольку, поскольку он сконструирован. Вопрос о существовании, таким образом, никак прямо не связан с проблемой субстанциональности. Существование определено деятельностью субъекта. Кант очень жестко развел понятия субъекта и субстанции. Первый описан им как действующее сознание, которое продуцирует предметы своего знания, обнаруживая в этих, созданных им предметах свое собственное единство. Это единство - единство деятельного 'Я' или "трансцендентальное единство апперцепции" никак не может быть названо субстанцией, хотя бы даже и мыслящей. Нельзя путать два вопроса: кто рассуждает и о чем ведется рассуждение. Субстанциальность может быть приписана только предмету, который конструируется в ходе рассуждения и при этом обнаруживается как существующий. Но тот, кто рассуждает не может конструировать сам себя.

Итак, онтологический статус предмета определяется не его отношением к субстанции, а его отношением к субъекту. Деятельность субъекта является критерием существования. Эта деятельность происходит в рамках, заданных ее трансцендентальными условиями, к которым, прежде всего, относятся пространство и время. Сама деятельность разворачивается во времени, как последовательность продуктивных синтетических актов. То, что появляется в результате этих актов, представляется как существующее в пространстве. Последнее верно для любого объекта, в том числе и для математического. Однако математика оказывается основой всякого, по крайней мере научного, мышления. Всякий объект существует, поскольку существует в пространстве. Но поскольку он существует в пространстве, он существует как протяженный предмет, и судить о нем нужно, прежде всего, как о предмете геометрии. "Все явления суть величины и притом экстенсивные величины" (B203; курсив Канта). Отчасти Кант повторяет здесь Декарта - во всяком случае и для него всякое естествознание должно быть прежде всего математическим естествознанием. Всякий предмет конструируется прежде всего как геометрическая фигура или тело. Коль скоро существовать значит быть сконструированным (причем сконструированным в пространстве), то любой предмет существует только в качестве математического. Вне математики невозможно никакое знание и никакое существование.

Онтологический статус предметов математики состоит, таким образом, в том, что они оказываются продуктами деятельности трансцендентального субъекта. Математическое творчество последнего несколько напоминает работу некого мыслительного автомата, производящего свои объекты без всякой определенной цели. Поэтому нам представляется недопустимым ограничивать рассмотрение математической онтологии Канта одной лишь первой "Критикой". Мы ограничимся здесь анализом лишь небольшого фрагмента из "Критики способности суждения", однако этот фрагмент, на наш взгляд, позволяет ввести в математический дискурс мотив целесообразности, а также увидеть нечто новое в кантовском понимании математической онтологии. Правда, в отличии от "Критики чистого разума", изобилующей математическими примерами, "Критика способности суждения" обращается, по преимуществу, к сферам, далеким от математики. Тем не менее установленные там принципы отнюдь не безразличны для интерпретации математической деятельности.

Понятие цели в деятельности субъекта вводится при анализе рефлектирующей способности суждения. Взаимодействие рассудка со способностью воображения сводится к тому, что воображение конструирует объект сообразно общему правилу, предписанному рассудком. При этом происходит подведение конструируемого единичного предмета под уже имеющееся правило. Однако далеко не всегда правило имеется как нечто окончательно сформулированное. "Существует такое многообразие форм природы, столько модификаций общих трансцендентальных понятий, остающихся не определенными теми законами, которые априорно дает чистый рассудок,...что для всего этого также должны быть законы" ([28], с. 50). Такой закон должна дать способности воображения рефлектирующая способность суждения, которая поднимается от имеющегося особенного к общему. Кант относит такую деятельность к эмпирической сфере, к описанию "законов природы". В [33] деятельность рефлектирующей способности суждения представлена как выдвижение объясняющих гипотез для ряда наблюдаемых эмпирических фактов. Так, утверждение, что планета движется по эллиптической орбите, есть обобщение рефлектирующей способности суждения, сделанное по отношению к ряду эмпирических наблюдений за движением планеты. Важно иметь в виду, что такое обобщение не имеет ничего общего с абстрагированием. Понятие эллипса не содержится в бессвязном наборе цифр, определяющих положение планеты в разные моменты времени. Очевидно, что речь здесь вновь должна идти о синтезе, основанном на априорных способностях субъекта. Этот синтез отличается от простого синтеза способности воображения тем, что содержит момент целесообразности. Он производится для того, чтобы объяснить ряд полученных фактов. Не следует упускать из виду, что полученный факт также есть результат некоторого конструирования, т.е. объект рассудка и способности воображения. В свою очередь гипотеза рефлектирующей способности суждения также может стать объектом дальнейшего обобщения. Эллиптические орбиты, рассмотренные как данные (ранее сконструированные) объекты, получают свое объяснение, благодаря более общей гипотезе - законам ньютоновской механики.

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

Если в "Критике чистого разума" Кант рассматривает лишь способ синтеза суждений, то в "Критике способности суждения" речь идет о решении естественнонаучной проблемы. Оно (решение) состоит в том, чтобы представленные в виде бессвязного агрегата объекты были объединены в рамках целостной структуры. Именно в этой структуре каждый объект должен получить свое место и свое назначение. Поэтому здесь и реализуется принцип целесообразности. Очень важно иметь в виду, что действие способности суждения не является простым формулированием общего правила для ряда единичных объектов (или частных фактов). Нужно не просто сформулировать гипотезу, но сформулировать ее так, чтобы все требуемые факты выводились из нее как частные случаи. Эта процедура вывода должна предугадываться способностью суждения наряду с самим общим правилом. Иными словами способность суждения есть способность предвидеть структуру рассуждения как целого.

Едва ли, кстати, можно утверждать, что столь сложная работа сводится только к действию способности суждения. Очевидно, что наряду с ней здесь действуют и другие способности, а именно рассудок и воображение. Решение естественнонаучных проблем явно подразумевает ту "свободную игру" познавательных способностей, которую Кант связывал с принципом удовольствия (см. [28], c. 85)

Все сказанное мы, вслед за Кантом, отнесли к сфере исследования природы. Однако в той же мере это верно и для математики. Любая математическая задача представляет собой изложение фактов, никак, на первый взгляд, между собой не связанных. Решение задачи состоит в том, чтобы обнаружить и построить некоторую единую конструкцию, в которой все наличные факты получают свое место. Это особенно очевидно при решении геометрических задач, в которых необходимо дополнительное построение, приводящее к созданию более сложной конфигурации, из которой однако легко усматривается ответ на вопрос задачи. Но то же самое происходит и при решении любых задач, где в роли такой конфигурации выступает алгебраический вывод или более сложный математический текст, включающий как знаковые, так и графические элементы.

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

Все сказанное позволяет дополнить приведенное ранее определение существования. Математический объект существует постольку, поскольку сконструирован. Однако математика не есть простое конструирование объектов. Она представляет собой решение задач, а потому каждый объект появляется в ней в рамках более общей структуры, продуцируемой познавательными способностями для того, чтобы получить такое решение. Значит объект существует, поскольку встроен в такую структуру в виде ее элемента. Сама структура предстает как конструкция способности воображения и о ней также может быть поставлен вопрос - в рамках какой еще более общей структуры она существует. Разум не может представить, как налично реализованную, совокупность структур, последовательно включенных друг в друга в виде бесконечной конструкции. Поэтому вопрос о существовании требует для своего полного разрешения введения регулятивных понятий. В математике поэтому неизбежны представления о бесконечных совокупностях, в рамках которых существуют частные математические объекты. Для естествознания таким регулятивом выступает понятие о мире, в котором может быть реализовано сколь угодно много теоретических структур.

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

Примечания к Главе 1

1. Интересный и весьма скрупулезный анализ роли математических образов в философском мышлении дан В.А.Шапошниковым в [60]. вернуться в текст

2. Латинский перевод аристотелевского термина ousia. вернуться в текст

3. Подробное рассмотрение философии математики Беркли предпринято в книге Джессефа [73]. Там, в частности, разбирается теория "репрезентантов" (термин Джессефа), развиваемая Беркли как альтернатива теории абстракции. Речь идет о намерении Беркли доказать, что в математике нет никаких общих понятий, абстрагированных от единичных предметов, а есть лишь те же самые единичные предметы (т.е. идеи), которые выступают в рассуждении как представители целых классов подобных им идей. вернуться в текст

4. Пустяковые трудности. вернуться в текст

5. Следуя терминологии Беркли, лучше было бы сказать "интерсубстанциональной". вернуться в текст

6. Объектом называется то, что представлено мышлению как нечто мыслимое, точнее представлено мыслящим субъектом самому себе. "Объект есть то, в понятии чего объединено многообразие данного наглядного представления" (B137; курсив Канта). Следовательно объект всегда представляет собой результат конструирования.Именно этого значения названного термина мы и будем придерживаться в дальнейшем. В "Критике чистого разума" наряду со словом "объект" (Objekt) используется и слово "предмет" (Gegenstand), для которого не дается более или менее ясного определения. По всей видимости "предметом" можно назвать и то, что не представляется как результат конструирования. Существует мнение ( [74], с. 268), что Кант не проводит никакого ясного различения между двумя названными терминами и пользуется ими как взаимозаменяемыми. Леппакоски замечает по этому поводу, что в английском переводе "Критики чистого разума" оба слова совершенно правомерно передаются одним и тем же термином "object". Тем не менее нам представляется, что если "объектом" можно назвать только нечто реально возможное, т.е. производимое продуктивной способность воображения, то термин предмет допускает более широкое использование. Например, "множество всех действительных чисел", которое невозможно сконструировать, допустимо называть предметом, но не объектом. вернуться в текст

7. Связь категорий объект и факт нуждается в дополнительном рассмотрении. Мы проведем его в Главе 3 при сопоставлении категорий действительности и необходимости. вернуться в текст

8. Причем факты могут служить для фальсификации теории. Последнее означает, что построенный при заданных посылках объект не может быть "вписан" в теоретическую структуру. На связь попперовской идеи фальсификации с "Критикой способности суждения" указано также в [33]. Впрочем, эта связь должна быть предметом особого исследования. Равно как и связь представлений Поппера о строении научной теории с развертыванием категории "действительности" у Кассирера ([32],c. 349-400). Оба эти мыслителя строят очень похожие конструкции, связывающие частные факты с общей гипотезой. вернуться в текст

ГЛАВА 2 Интерпретации существования в математике

1 Основные стратегии доказательства существования

Важной задачей, которую мы должны решить, проводя исследование онтологии математического дискурса, состоит в выяснении тех традиционных способов, которыми математика устанавливает существование своих предметов. Для этого следует обратить внимание на математические предложения, утверждающие о чем-либо, что оно "существует". Рассмотрение доказательств таких предложений позволяет понять, в каком смысле употреблено в нем это слово. Способ доказательства существования проясняет, прежде всего, интерпретацию существования в том или ином утверждении.

Если попытаться разобрать основные математические тексты (т.е. тексты, производимые математиками разного класса и уровня и читаемые в сообществе, имеющем к математике какое-либо отношение), то при самом поверхностном анализе можно увидеть три способа доказательства существования и, соответственно, три способа определить онтологический статус предмета исследования.

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

Как в формулировке этой теоремы, так и в ее доказательстве фигурируют лишь общие термины. Доказательство, однако, проведено так, что все общие термины в нем можно заменить на единичные. Так, задав некоторое полное метрическое пространство (допустим, фиксированный отрезок прямой линии), т.е. указав вполне определенный единичный предмет, обладающий всеми требуемыми свойствами, и задав какое-то конкретное сжимающее отображение на нем, мы можем, пользуясь прописанной в доказательстве схемой, указать на некоторый, также вполне определенный, единичный предмет, обладающий всеми требуемыми свойствами (т.е. являющийся неподвижной точкой отображения). Указание единичного предмета - важнейший момент такого рода рассуждений. Хотя само оно и проводилось как бы абстрактно, т.е. безотносительно каких-либо единичностей, однако возможность работы с ними и составляет его реальный смысл. Любой, включенный в рассуждение индивидуальный предмет получает в ходе его полную определенность (ясность онтологического статуса) в силу его отличимости от любого другого предмета, указанного каким-либо иным способом. Итак, о каком-либо предмете можно сказать, что он существует, если приведена конечная схема, которая, будучи применена к указанному вполне определенному объекту (или конечному набору объектов), приводит к построению рассматриваемого предмета. Тот факт, что схема, на которую мы ссылались в нашем примере, содержала построение бесконечной последовательности, еще не нарушает конструктивности определения существования. Предел последовательности есть вполне определенный объект, построение которого, при заданной сходящейся последовательности, вовсе не требует таких запредельных абстракций, как актуальное предъявление всей бесконечной последовательности. Выяснить, например, что последовательность xn = 1/2n сходится к 0, можно с помощью легко завершаемой процедуры. Последнее верно, конечно, не для любой последовательности. Но в разобранном нами примере такую последовательность указать можно. (Например, если задать отображение, которое каждой точке отрезка будет ставить в соответствие точку, расположенную в два раза ближе к фиксированному концу отрезка.) Но именно эта возможность и важна для определения существования в конструктивном смысле. Слово "существует" в рамках рассмотренной нами интерпретации должно быть прочитано именно как "существует единичный предмет, на который можно непосредственно указать".

Конечно же математическое рассуждение не ограничивается такими, завязанными на вполне определенный единичный предмет, построениями. Математический анализ постоянно имеет дело с такими предметами, которые не могут быть вполне определены с помощью конечной процедуры построения. Самый характерный пример - иррациональное число, которое определяется либо как последовательность рациональных чисел, либо как сечение на множестве рациональных чисел. В любом случае такое определение предмета предполагает предъявление какой-то бесконечной совокупности и о его существовании уже невозможно говорить в рассмотренном выше смысле. Тем более это невозможно, если речь идет о последовательностях или о бесконечных множествах вещественных чисел. Названные предметы, тем не менее, весьма активно изучаются в анализе. В математике принято два способа говорить о существовании этих неконструируемых предметов.

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

Что же позволяет считать такие квази-объекты существующими. Здесь оказывается уместна та интерпретация существования, на которой настаивал Пуанкаре: критерием существования является свобода от противоречия. Все те формулы, в которые подставляются введенные для таких предметов значки, не должны противоречить друг другу. Более ясным этот критерий становится при обращении к аксиоматическому построению математики. Паункаре писал: "Если мы ... имеем систему постулатов, и если мы можем доказать, что эти постулаты не заключают в себе противоречия, то мы вправе рассматривать их как определения одного из тех понятий, которые фигурируют в этой системе предложений" ([48] с.373). Еще яснее такая интерпретация становится видимо, если прибегнуть к более поздней терминологии. Предмет существует, если он оказывается термом в непротиворечивой теории. Такой подход к проблеме существования сразу же ставит проблему непротиворечивости. Мы обсудим это подробнее, когда будем разбирать взгляды Гильберта.

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

2 Концепция существования у Кантора

В работах Георга Кантора есть ряд пассажей, в которых он довольно точно объясняет, что следует считать существующим в математике. Обратим внимание, прежде всего, на следующее высказывание.

"Во-первых, мы можем считать целые числа действительными (здесь, очевидно, имеется в виду "действительно существующими" - Г.Г.) постольку, поскольку они занимают на основе определений вполне определенное место в нашем рассудке, вполне ясно отличаются от всех остальных составных частей нашего мышления, находятся к ним в определенных отношениях и, таким образом, определенным образом видоизменяют субстанцию нашего духа." Такого рода реальность Кантор называет "интрасубъективной" или "имманентной", которую он отличает от реальности "транссубъективной" или "транзиентной". Последняя приписывается числам "постольку, поскольку их приходится рассматривать как выражения или отображения процессов во внешнем мире, противостоящем интеллекту". Внешний мир, что немаловажно, включает как "телесную", так и "духовную природу". "Для меня - пишет далее Кантор - не подлежит никакому сомнению, что оба эти вида реальности всегда совпадают в том смысле, что какое-нибудь понятие, принимаемое за существующее в первом отношении, обладает в известных, даже бесконечно многих отношениях транзиентной реальностью." ([31], c.79)

Итак "транзиентная реальность", будучи трансцендентным интеллекту внешним миром, все же совершенно адекватно представлена определенными понятиями. Эта определенность и должна служить своего рода критерием существования. Поскольку основные усилия Кантора направлены на обоснование реальности объектов создаваемой им теории бесконечных множеств, то речь должна идти главным образом об определенности этих множеств и их элементов. Если нам удастся установить их ясную "отличимость от всех остальных составных частей нашего мышления", то мы можем быть уверены, что они совершенно адекватно представляют предметы внешнего мира (причем, скорее "духовной" нежели "телесной" природы - поскольку речь идет о бесконечных множествах). Поэтому математика "при развитии своих идей должна считаться единственно лишь с имманентной реальностью своих понятий и не обязана вовсе проверять также их транзиентную реальность" (с. 79-80; курсив Кантора). Здесь уместно следующее рассуждение, проводимое Кантором несколько ранее. "Многообразие (совокупность, множество) элементов,принадлежащих любой сфере понятий, я называю вполне определенным, если на основе его определения и вследствие логического принципа исключенного третьего становится возможным рассматривать внутренне определенным как то, является или не является его элементом любой объект из этой сферы понятий, так и то, равны или нет друг другу два принадлежащих множеству объекта, несмотря на формальные различия в способах их задания." ([31], c. 50-51; Курсив Кантора).

Выяснять принадлежит ли данный предмет указанному множеству, а также устанавливать его тождественность с другим предметом на основании закона исключенного третьего, можно лишь предположив у него наличие определенных свойств. Последнее означает, что предмет рассматривается как сущность, могущая выступать в качестве субъекта суждения. Такой предмет должен быть введен в рассуждение с помощью родо-видового определения, т.е. опять же через указание его существенных свойств. Следовательно Кантор склонен рассматривать множество именно как класс сущностей объединенных на основании определенной общности признаков. Поскольку в его теории сами множества могут рассматриваться как элементы других множеств, то значит и сами эти классы следует считать сущностями. Любая сущность-множество задается с помощью набора определяющих свойств своих элементов, через которые устанавливаются также и свойства самой этой сущности.

Объекты своей теории Кантор вводит с помощью отвлечения общих признаков, присущих классу сходных предметов. Именно так он определяет понятия мощности и порядкового типа. Обе названные характеристики он рассматривает как общее свойство множеств "возникающее путем абстрагирования от всех особенностей". В частности Кантор пишет: "Тем, что мы мыслим только о том, что является общим для всех множеств, принадлежащих одному и тому же классу, мы получаем понятие мощности или валентности" ([31], c. 248; курсив Кантора). Точно также пишет он и о порядковых типах: "Я рассматриваю целые числа и порядковые типы как универсалии, которые относятся к множествам и получаются из них, когда абстрагируются от свойств элементов" (c. 269). Из последнего отрывка очевидно, что Кантор пытается рассматривать трансфинитные числа по аналогии с конечными целыми числами. Последние действительно можно рассматривать как результат абстрагирования от особенных свойств конечных множеств. Так число четыре есть то общее, что присуще четырем яблокам, четырем ножкам стула, четырем углам квадрата и т.д. - это весьма традиционное представление, восходящее к Аристотелю. Кантор же склонен рассматривать любое множество как сущность. Оно должно считаться существующим, если каждый его элемент вполне определен. Тогда и само множество вполне определено и его существенный признак (т.е. его порядковое число) также рассматривается как вполне определенное. Кантор, по-видимому, склонен субстантивировать и эти существенные признаки. Он даже пытается описать их в аристотелевских категориях материи и формы, утверждая, что совокупность элементов множества следует рассматривать как материю порядкового числа, а порядок, существующий между этими элементами, как форму (c. 270-271). (См. примечание 1)

3 Брауэровская интерпретация существования

Выше мы выделили такое понимание существования предмета в математике, которое основано на возможности непосредственно указать на этот предмет с помощью определенной завершенной процедуры. Иными словами, предмет существует тогда, когда может быть сконструирован. Утверждение, что такая интерпретация существования является атрибутом интуиционистской школы (существенным признаком, отличающим ее от других школ) давно стало общим местом. Выразительная формула - "esse=construi" - рассматривается (и, очевидно, не без основания) как девиз всего этого направления. Важно, впрочем, иметь в виду, что приведенная фраза принадлежит Карлу Попперу, весьма критично относившемуся к интуиционизму ([46], c. 473-479). Как бы точно ни характеризовало попперовское выражение интуиционистское понимание существования, оно нуждается в серьезном углублении.

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

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

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

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

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

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

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

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

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

Брауэром, следовательно, была реализована трансцендентальная установка, причем в том виде, в каком она прописана у Канта. К онтологической проблематике он подходит со стороны анализа рассуждения и выясняет как должен быть устроен предмет, чтобы фигурировать в рассуждении в качестве существующего. Более того, Брауэр выясняет, что предмет должен быть для этого создан в результате конструктивной деятельности, разворачиваемой во времени. Такая конструктивная деятельность сводится к созданию единой структуры - именно так понятый математический объект может рассматриваться как существующий. Единая структура, с другой стороны, развертывается согласно закону, правилу, устанавливаемому для ряда "вещей" или восприятий. По-видимому трудно интерпретировать это правило иначе, как действие способности суждения, как установление обобщающей гипотезы для совокупности установленных ранее фактов.