Все сказанное позволяет дополнить приведенное ранее определение существования. Математический объект существует постольку, поскольку сконструирован. Однако математика не есть простое конструирование объектов. Она представляет собой решение задач, а потому каждый объект появляется в ней в рамках более общей структуры, продуцируемой познавательными способностями для того, чтобы получить такое решение. Значит объект существует, поскольку встроен в такую структуру в виде ее элемента. Сама структура предстает как конструкция способности воображения и о ней также может быть поставлен вопрос - в рамках какой еще более общей структуры она существует. Разум не может представить, как налично реализованную, совокупность структур, последовательно включенных друг в друга в виде бесконечной конструкции. Поэтому вопрос о существовании требует для своего полного разрешения введения регулятивных понятий. В математике поэтому неизбежны представления о бесконечных совокупностях, в рамках которых существуют частные математические объекты. Для естествознания таким регулятивом выступает понятие о мире, в котором может быть реализовано сколь угодно много теоретических структур.
Необходимо, впрочем, иметь в виду, что в "Критике способности суждения" нет речи о существовании, тем более о существовании математических объектов. Кантовское решение проблемы существования связано с рассмотрением категорий модальности, чем мы подробно займемся в Главе 3. Но сразу можно сказать, что это рассмотрение не будет полным без учета принципа целесообразности. С другой стороны, мы вплотную подошли к тому пониманию существования, которое связали в Введении с именем Кассирера. В рамках нашей интерпретации кантовского определения рефлектирующей способности суждения всякий объект считается существующим тогда, когда определено его место в некоторой структуре, разворачиваемой согласно установленному правилу (логической форме). Более того, теперь можно яснее сказать о какой структуре должна идти речь - это структура теории, создаваемой на основе индуктивной догадки и объясняющей ранее установленные факты. (См. примечание 8)Впрочем, предъявление структуры не является еще достаточным условием для утверждения о существовании элементов. Необходимо указать особые свойства такой структуры - ниже мы попытаемся разобрать, как решал эту проблему Гильберт.
Примечания
1. Интересный и весьма скрупулезный анализ роли математических образов в философском мышлении дан В.А.Шапошниковым в [60].
2. Латинский перевод аристотелевского термина ousia.
3. Подробное рассмотрение философии математики Беркли предпринято в книге Джессефа [73]. Там, в частности, разбирается теория "репрезентантов" (термин Джессефа), развиваемая Беркли как альтернатива теории абстракции. Речь идет о намерении Беркли доказать, что в математике нет никаких общих понятий, абстрагированных от единичных предметов, а есть лишь те же самые единичные предметы (т.е. идеи), которые выступают в рассуждении как представители целых классов подобных им идей.
4. Пустяковые трудности.
5. Следуя терминологии Беркли, лучше было бы сказать "интерсубстанциональной".
6. Объектом называется то, что представлено мышлению как нечто мыслимое, точнее представлено мыслящим субъектом самому себе. "Объект есть то, в понятии чего объединено многообразие данного наглядного представления" (B137; курсив Канта). Следовательно объект всегда представляет собой результат конструирования.Именно этого значения названного термина мы и будем придерживаться в дальнейшем. В "Критике чистого разума" наряду со словом "объект" (Objekt) используется и слово "предмет" (Gegenstand), для которого не дается более или менее ясного определения. По всей видимости "предметом" можно назвать и то, что не представляется как результат конструирования. Существует мнение ( [74], с. 268), что Кант не проводит никакого ясного различения между двумя названными терминами и пользуется ими как взаимозаменяемыми. Леппакоски замечает по этому поводу, что в английском переводе "Критики чистого разума" оба слова совершенно правомерно передаются одним и тем же термином "object". Тем не менее нам представляется, что если "объектом" можно назвать только нечто реально возможное, т.е. производимое продуктивной способность воображения, то термин предмет допускает более широкое использование. Например, "множество всех действительных чисел", которое невозможно сконструировать, допустимо называть предметом, но не объектом.
7. Связь категорий объект и факт нуждается в дополнительном рассмотрении. Мы проведем его в Главе 3 при сопоставлении категорий действительности и необходимости.
8. Причем факты могут служить для фальсификации теории. Последнее означает, что построенный при заданных посылках объект не может быть "вписан" в теоретическую структуру. На связь попперовской идеи фальсификации с "Критикой способности суждения" указано также в [33]. Впрочем, эта связь должна быть предметом особого исследования. Равно как и связь представлений Поппера о строении научной теории с развертыванием категории "действительности" у Кассирера ([32],c. 349-400). Оба эти мыслителя строят очень похожие конструкции, связывающие частные факты с общей гипотезой.