Онтология математического дискурса - Гутнер Г Б - Страница 9

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

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

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

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

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

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

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

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