Онтология математического дискурса
Шрифт:
Вполне естественно, что протяженность не может приобрести при таких посылках особого статуса (как у Декарта). Она - одно из многих воспринимаемых качеств. Точно также и математические объекты никак не выделены относительно иных. Тем не менее Беркли очень пристально изучает проблему математического существования, развивая при этом весьма оригинальную философию математики. (См. примечание 3) Мы не будем подробно останавливаться на этой стороне творчества Беркли. Заметим лишь, что его рассмотрение математики носит в основном критический характер. Поскольку именно математика может быть рассмотрена как наука об общих понятиях, не имеющих никакого чувственного представления, Беркли очень тщательно разбирает математические идеи, стараясь доказать, что в них нет ничего абстрактного или внечувственного.
Однако один аспект подхода Беркли к математике мы считаем особенно важным. Выше мы говорили, что истинность знания означает некую "правильность" в общении двух субстанций. Ряд высказываний Беркли позволяет установить, о какой правильности идет речь. Прежде всего, рассматривая предмет арифметики, Беркли отрицает всякий смысл в попытках увидеть в ней специальное знание о числах, как особых
Вопрос о вреде и пользе, однако, представляет специальный интерес, поскольку речь здесь вовсе не идет о примитивной утилитарности. Можно понимать под практической пользой способ такого обращения с вещами, которое позволяет людям лучше (удобнее, проще, комфортнее) чувствовать себя в жизни. Но важно помнить, что вещи, с которыми надо обращаться, суть результаты воздействия внешней субстанции, "вседержащего духа". Следовательно, правильное поведение в жизни, адекватное обращение с вещами, приводящее к благим последствиям для обращающегося, есть по существу способ общения с названным духом, т.е. его понимание и следование его воле. Практика оказывается, согласно известному выражению "критерием истины", но не потому, что приводит к адекватному отражению законов материального мира, а потому, что дает возможность удостовериться в правильности взаимопонимания двух индивидов (правда далеко не равноправных в своем общении). Поэтому к практике непосредственно относится нравственное поведение. В одном из пассажей, касающихся необходимости практической пользы математических исследований Беркли призывает ученых обратится к исследованию "таких вещей, которые ближе касаются нужд жизни и оказывают прямое влияние на нравы" (с. 235; курсив наш - Г.Г.).
Беркли высоко ценил идеал правильного общения в человеческом сообществе, живущем согласно воле провидения, т.е. сообразно установленным Богом нормам морали. "Если же мы допустим существование сообщества разумных созданий, действующих под надзором Провидения, совместными усилиями способствующих достижению единой цели - благу и пользе единого - и согласующих свои поступки с утвержденными отчей мудростью Божества законами;...если мы все это допустим, то сделаем предположение восхитительное и радостное." ([8], c. 90). Этот проект идеального общества позволяет иначе взглянуть на роль математики и естественных наук. Познание вещей, так, как они действительно существуют, есть понимание тех воздействий, которые Бог оказывает на человека. Следовательно, истинное естественнонаучное и математическое знание ведет, в конечном счете, к установлению подлинно благих правил и норм взаимодействия "разумных агентов". Онтологический статус предметов математики определяется поэтому не их объективной, но их интерсубъективной (См. примечание 5) значимостью. Первоначальная посылка Беркли "Существовать, значит быть воспринимаемым" - может быть, по нашему мнению, прочитана так: "Существовать, значит способствовать правильному общению разумных существ."
3 Математическое существование в философии Канта. Предварительное рассмотрение
В интерпретации Беркли субстанция не есть идея, а потому не может быть предметом познания. Иными словами, субстанция - только субъект, но не объект знания. Осмысление проблемы в субъект-объектной терминологии в полной мере осуществлено Кантом, который, отчасти, вернул слову "субстанция" аристотелевский смысл.
То, что Декарт и Беркли (а также и другие философы Нового времени) называли мыслящей субстанцией, Кант назвал субъектом, подробно рассмотрев его логическую структуру. При этом он настаивал, что мыслящее Я нельзя называть субстанцией. Последняя есть категория, предназначенная для того, чтобы судить об объекте мысли. Эта категория позволяет судить о явлениях, как о способах обнаружения некоторого неизменного основания. "Схемой субстанции служит устойчивость реального во времени, т.е. представление о нем, как о субстрате эмпирического определения времени вообще, который, следовательно, остается, тогда как все остальное меняется" (B183 - ссылки на "Критику чистого разума" делаются в соответствии с пагинацией второго издания (1787 года), которая дается в большинстве русских переводов). Субстанция, таким образом, есть устойчивое основание того, о чем ведется рассуждение. Всякое суждение сказывается о субстанции, как о носителе выражаемых этим суждением свойств. Такая трактовка в самом деле в чем-то близка Аристотелю. Однако особого рассмотрения требует вопрос о том, как производится суждение и как, в конечном счете, строится рассуждение.
Суждение о предмете означает синтез, производимый согласно априорным условиям. Такой синтез состоит в установлении субъектом мышления связи данных представлений. Связь представлений в суждении не может быть дана, а может быть только создана субъектом (B130). В Главе 3 мы подробно разберем вопрос о синтезе в применении к математике.
Рассудочное мышление состоит в создании субъектом единства в своих представлениях. Поэтому предмет, чтобы стать объектом мышления, должен быть сконструирован субъектом. (См. примечание 6) Это конструирование может быть понято в том числе и в самом прямом смысле, как сборка конструкции из набора элементов. Последнее относится прежде всего к математике. Алгебраическая формула, равно как и геометрическая фигура, становятся объектами рассуждения, будучи сконструированы продуктивной способностью воображения, т.е. собраны в пространстве из более простых фигур, формул или знаков. Поэтому всякий математический предмет существует постольку, поскольку он сконструирован. Вопрос о существовании, таким образом, никак прямо не связан с проблемой субстанциональности. Существование определено деятельностью субъекта. Кант очень жестко развел понятия субъекта и субстанции. Первый описан им как действующее сознание, которое продуцирует предметы своего знания, обнаруживая в этих, созданных им предметах свое собственное единство. Это единство - единство деятельного 'Я' или "трансцендентальное единство апперцепции" никак не может быть названо субстанцией, хотя бы даже и мыслящей. Нельзя путать два вопроса: кто рассуждает и о чем ведется рассуждение. Субстанциальность может быть приписана только предмету, который конструируется в ходе рассуждения и при этом обнаруживается как существующий. Но тот, кто рассуждает не может конструировать сам себя.
Итак, онтологический статус предмета определяется не его отношением к субстанции, а его отношением к субъекту. Деятельность субъекта является критерием существования. Эта деятельность происходит в рамках, заданных ее трансцендентальными условиями, к которым, прежде всего, относятся пространство и время. Сама деятельность разворачивается во времени, как последовательность продуктивных синтетических актов. То, что появляется в результате этих актов, представляется как существующее в пространстве. Последнее верно для любого объекта, в том числе и для математического. Однако математика оказывается основой всякого, по крайней мере научного, мышления. Всякий объект существует, поскольку существует в пространстве. Но поскольку он существует в пространстве, он существует как протяженный предмет, и судить о нем нужно, прежде всего, как о предмете геометрии. "Все явления суть величины и притом экстенсивные величины" (B203; курсив Канта). Отчасти Кант повторяет здесь Декарта - во всяком случае и для него всякое естествознание должно быть прежде всего математическим естествознанием. Всякий предмет конструируется прежде всего как геометрическая фигура или тело. Коль скоро существовать значит быть сконструированным (причем сконструированным в пространстве), то любой предмет существует только в качестве математического. Вне математики невозможно никакое знание и никакое существование.
Онтологический статус предметов математики состоит, таким образом, в том, что они оказываются продуктами деятельности трансцендентального субъекта. Математическое творчество последнего несколько напоминает работу некого мыслительного автомата, производящего свои объекты без всякой определенной цели. Поэтому нам представляется недопустимым ограничивать рассмотрение математической онтологии Канта одной лишь первой "Критикой". Мы ограничимся здесь анализом лишь небольшого фрагмента из "Критики способности суждения", однако этот фрагмент, на наш взгляд, позволяет ввести в математический дискурс мотив целесообразности, а также увидеть нечто новое в кантовском понимании математической онтологии. Правда, в отличии от "Критики чистого разума", изобилующей математическими примерами, "Критика способности суждения" обращается, по преимуществу, к сферам, далеким от математики. Тем не менее установленные там принципы отнюдь не безразличны для интерпретации математической деятельности.
Понятие цели в деятельности субъекта вводится при анализе рефлектирующей способности суждения. Взаимодействие рассудка со способностью воображения сводится к тому, что воображение конструирует объект сообразно общему правилу, предписанному рассудком. При этом происходит подведение конструируемого единичного предмета под уже имеющееся правило. Однако далеко не всегда правило имеется как нечто окончательно сформулированное. "Существует такое многообразие форм природы, столько модификаций общих трансцендентальных понятий, остающихся не определенными теми законами, которые априорно дает чистый рассудок,...что для всего этого также должны быть законы" ([28], с. 50). Такой закон должна дать способности воображения рефлектирующая способность суждения, которая поднимается от имеющегося особенного к общему. Кант относит такую деятельность к эмпирической сфере, к описанию "законов природы". В [33] деятельность рефлектирующей способности суждения представлена как выдвижение объясняющих гипотез для ряда наблюдаемых эмпирических фактов. Так, утверждение, что планета движется по эллиптической орбите, есть обобщение рефлектирующей способности суждения, сделанное по отношению к ряду эмпирических наблюдений за движением планеты. Важно иметь в виду, что такое обобщение не имеет ничего общего с абстрагированием. Понятие эллипса не содержится в бессвязном наборе цифр, определяющих положение планеты в разные моменты времени. Очевидно, что речь здесь вновь должна идти о синтезе, основанном на априорных способностях субъекта. Этот синтез отличается от простого синтеза способности воображения тем, что содержит момент целесообразности. Он производится для того, чтобы объяснить ряд полученных фактов. Не следует упускать из виду, что полученный факт также есть результат некоторого конструирования, т.е. объект рассудка и способности воображения. В свою очередь гипотеза рефлектирующей способности суждения также может стать объектом дальнейшего обобщения. Эллиптические орбиты, рассмотренные как данные (ранее сконструированные) объекты, получают свое объяснение, благодаря более общей гипотезе - законам ньютоновской механики.