2. Проблема реальности в математике
В соответствии с принципом гомогенности все математические понятия следует рассматривать лишь в их взаимных отношениях. Вместе с тем само математическое познание предполагает, что существуют не только определенные отношения в гомогенной области предмета математики, но и между ней и остальными сторонами объективного мира. Это отношение определяется как безразличие математических зависимостей к содержанию, качественной определенности предметов и явлений, составляющее необходимую и самую фундаментальную предпосылку математического познания.
Математика исследует «рациональные связи» (Энгельс) между математическими величинами. С формальной стороны, в соответствии с принципом гомогенности, характер этих связей был рассмотрен выше. Что же касается их содержательной интерпретации, то этот вопрос упирается в более общую и фундаментальную проблему — проблему реальности в математике, в анализ тех условий, при которых пространственные формы и количественные отношения мира могут быть рассмотрены как безразличные по отношению к содержанию.
В науках, исследующих реальные объекты и их свойства, определенность свойства рассматривается в зависимости от определенной природы этих объектов и реальных условий, в которых они пребывают. Причем под объектом и его свойством здесь понимаются совершенно реальные вещи и процессы, существующие вне и независимо от нашего познания.
Для того чтобы познать какое-либо определенное свойство объекта, необходимо обратиться к самому объекту, внешней вещи, в которой это свойство фиксировано. Наличие этих объектов и свойств мы устанавливаем опытным путем. Опытным же путем мы устанавливаем, что данное свойство (форма, размер и т.п.) того или иного объекта является продуктом реальных процессов и взаимодействий. В определенности исследуемого свойства выражается определенность его [188] носителя, вещи, и эта определенность, как и самая вещь, может быть установлена только опытным путем.
Такой подход к делу представляется простым и естественным: наука рассматривает объективные явления, фактические события, существующие вне и независимо от нас и доступные так или иначе нашим органам чувств. Сложность возникает тогда, когда мы начинаем рассматривать свойства вещей, сознательно отвлекаясь от самих вещей, носителей этих свойств.
Так, например, геометрия является наукой, изучающей пространственные свойства вещей объективного мира. Однако в ней то или иное пространственное свойство уже не рассматривается ни как принадлежащее какому-либо конкретному реальному объекту, ни объекту вообще, а само по себе. Правда, геометры выражаются таким образом, что предметом их науки являются такие «объекты» или «вещи», как точки, прямые, плоскости и отношения между ними. Однако этим объектам не приписывается никакого реального существования, они суть только абстракции, отвлечения от действительных объектов. Математические «вещи» изучаются не путем непосредственного обращения к ним, но косвенно, через систему аксиом, так как свое содержание они получают только в ходе развития содержания науки.
Спрашивается, на чем же основывается это содержание науки, что служит его источником?
Эмпирическая аргументация исключается при доказательстве геометрических теорем. Это и дает основание идеалистической философии утверждать, что геометрия не имеет никакого отношения к исследованию реального пространства и реальных пространственных свойств вещей. Тем не менее «объекты» этой науки вполне определенны, и геометрия добивается адекватного выражения этой определенности в понятии. Ситуация, с которой мы сталкиваемся при анализе математического познания, противоречива, даже парадоксальна: с одной стороны, мы признаем, что геометрия является наукой о пространственных формах объективного мира, с другой — утверждаем, что в процессе исследования этих пространственных форм [189] реальных вещей мы отвлекаемся от самих вещей, от их конкретного содержания.
В своем повседневном опыте человек имеет дело с бесконечным многообразием пространственных свойств вещей, более богатым, чем мир образов геометрии. И если бы дело сводилось только к тому, чтобы описать существующие пространственные свойства эмпирических вещей подобно тому, как ботаника описывает различные растения, а география — различные страны, то геометрия, очевидно, и не потребовалась бы. Путем непосредственного созерцания человек может установить, что в природе существуют такие-то и такие-то пространственные индивидуумы, что существуют вещи, имеющие ту или иную форму и т.п., может убедиться в существовании и таких пространственных форм, для которых на языке современной геометрии еще и не существует подходящего коррелята, и описание которых на этом языке хотя и возможно теоретически, но, в силу своей сложности, практически неосуществимо.
Более того, опираясь на данные наблюдения, можно также указать, при каких обстоятельствах, как и почему вещи принимают данную пространственную форму. Однако и такое исследование в задачу геометрии не входит. Жидкость, например, в состоянии невесомости принимает форму сферы. Этот факт зависит от взаимодействия молекулярных сил, но никакому геометру не придет в голову определять данную геометрическую форму, ссылаясь на физические закономерности. Прямолинейность натянутой струны прямо и непосредственно зависит от степени ее натяжения и в реальности ничем иным вообще не определяется. Геометр же именно от этой зависимости и отвлекается. Геометрическую форму тел он рассматривает, отвлекаясь от конкретных тел и их движений, от их физической природы и качественной определенности.
С геометрическими отношениями мы сталкиваемся, однако, не только в «чистой» геометрии, но и при измерении реального эмпирического физического объекта, скажем, при определении его площади или объема. Те отношения, анализ которых дает нам [190] возможность установить эмпирическое значение объема конкретного тела, совершенно очевидно принадлежат самому этому реальному телу, а не заимствованы из какого-то «интеллигибельного» мира. Поэтому геометрические понятия мы рассматриваем не как средство «экономичного описания» опыта или априорно установленные принципы обработки опытных данных, но как отражение объективных свойств вещей. Значение размера, которое мы установили посредством измерений, носит несомненно эмпирический характер, поэтому его объективность не составляет сомнения. Но поэтому же и объективность геометрических понятий, с помощью которых мы установили это эмпирическое значение, не вызывает сомнений. Вместе с тем ясно, что геометрические зависимости и понятия, выражающие их, не являются эмпирическими.
Объем цилиндра геометр ставит в зависимость от радиуса окружности основания и высоты. Лесовод, очевидно, скажет, что объем ствола дерева зависит от его возраста, но, определяя его объем, он вынужден будет рассуждать как геометр. Подход физический и математический к одному и тому же объекту (физическому) принципиально различен. Объем можно рассматривать как физическую определенность вещи, и тогда математический способ рассуждения становится явно бессмысленным. В самом деле, если геометрически площадь круга зависит от его радиуса, то в эмпирическом смысле этот способ рассуждения вращается в явном кругу: площадь данного плоского тела, имеющего форму круга, зависит не от его радиуса, так как радиус сам составляет определенность площади, но от тех физических условий, в которых находится данное тело; сказать, что площадь тела зависит от его радиуса, — то же самое, что сказать, что радиус тела зависит от его площади, т.е. что площадь зависит от площади же.
Очевидно, под площадью в физико-эмпирическом и геометрическом смысле мы имеем в виду различные вещи. Аналогично, если под площадью мы понимаем не физическую определенность вещи, а математическое выражение этой определенности, то при установлении [191] этого математического выражения будет бессмысленным прибегать к физическим понятиям и соображениям. Тот факт, что объем ствола дерева равняется именно одному кубическому метру, а не двум и не трем, зависит, конечно, от его возраста. Но само определение «один кубический метр» зависит от радиуса, так как мы получили его, преобразовав определенность радиуса в определенность площади круга.
Это позволяет нам теперь ближе подойти к определению своеобразия предмета и метода математики.
В задачу научно-теоретического познания входит исследование сторон, свойств, реальных объектов, определенность которых недоступна эмпирическому познанию. При эмпирическом подходе к вещам опосредованное познание имеет место лишь мимолетно, спорадически. Наука же представляет собой систематически организованное опосредованное знание, систему опосредованного познания.
Опосредованное знание имеет место там, где определенность исследуемого свойства устанавливается через его отношение к другому свойству или объекту, скажем, через отношение отождествления исследуемого свойства и эталона данного свойства. Определенность опосредованного знания, выраженного с помощью эталона, не совпадает непосредственно с определенностью исследуемого свойства, данного в созерцании. В задачу науки поэтому входит не только описание тех процессов, продуктом которых является эмпирическая определенность вещи, но и тех, продуктом которых является определенность опосредованного знания о свойствах вещи, понятийная определенность знания.
Познание посредством системы эталонов является элементарной формой опосредованного знания. Более сложной его формой является познание целостных свойств вещи на основании исследования отношения этого целостного свойства к его элементам. В процессе познания посредством эталона предполагается обращение к некоторой другой системе вещей, свойства которых для нас выступают в роли единицы исследуемого свойства. Например, определенность длины земельного [192] участка мы выражаем путем отождествления с длиной стержня, выступающего в роли эталона длины. Когда же перед нами стоит задача выразить площадь этого участка, мы должны прибегнуть к двойному опосредованию. Если участок имеет форму квадрата, то сначала мы выражаем сторону этого квадрата в единицах измерения, т.е. с помощью того же самого стержня, затем выражаем площадь квадрата путем возведения в степень его стороны. Сторона квадрата представляет собой элемент определенности его площади. Площадь есть целостное свойство, знание о котором носит опосредованный характер. Определенность площади мы получаем путем преобразования ее элементарного выражения – стороны. Сторону квадрата и его площадь мы в этом случае рассматриваем как определенности, в известном смысле тождественные: зная сторону квадрата, мы знаем и его площадь. Правда, мы можем измерить площадь участка и иным путем, а именно с помощью эталона площади, т.е. путем отождествления определенности целостного свойства с некоторым другим целостным свойством. Скажем, путем совмещения участков поверхности.
Элемент свойства в ряде случаев легче определить, чем само это свойство. Так, например, легче измерить с помощью эталона сторону квадрата, чем непосредственно его площадь. Такой подход к задаче требует применения уже специфически логических методов познания: анализа данного целостного свойства и его одновременного синтеза, т.е. такого разложения данного свойства на элементы, при котором его определенность не утрачивается, остается тождественной себе в ее элементарном выражении. Так, например, любое выражение площади геометрической фигуры представляет собой результат разложения данной определенности на элементы: треугольника – на основание и высоту, круга — на окружность и радиус. Одновременно этот анализ оказывается также и синтезом — отождествлением количественной определенности площади с определенностью ее радиуса, взятого с известным преобразованием. [193]
Здесь перед нами трудность, которую не разрешить с помощью традиционного метода абстракции.
Дело заключается даже не в том, что продуктами математического анализа, геометрическими элементами пространственной определенности вещи оказываются «идеальные вещи» (точки, прямые, плоскости), но и в том, что продуктом построенного на этих элементах синтеза оказываются площади и объемы. Сколь ни трансформировали бы мы образы нашего созерцания абстракциями, сколь ни корректировали бы нашу интуицию соображениями, связанными со своеобразной «математической методологией» или «гносеологией», этот результат нам получить не удастся. В самом деле, в формуле площади круга мы отождествляем радиус — одномерный элемент, отрезок прямой – с двумерным объектом — площадью.
Наша интуиция и «здравый смысл» простого эмпирического созерцания протестуют против такого отождествления: «кусок» плоскости, как бы он ни был мал, несводим к прямой, которая имеет только одно измерение, в отличие от плоскости, имеющей два измерения. (Правда, существует теорема о том, что часть плоскости можно заполнить непрерывной ломаной линией, но она имеет совершенно специфический смысл.) Тем не менее для математического мышления нет ничего проще такого отождествления.
Различия между математическим и эмпирическим анализом настолько глубоки, что они определяют своеобразие не только метода, но и предмета теоретического познания. Элементы вещи, даже рассматриваемой в аспекте ее пространственной определенности, и элементы самой пространственной определенности не совпадают. Они как бы лежат в различных измерениях, и сколько бы мы ни разлагали вещь на ее элементарные составные части, никогда не получим такого простейшего элемента геометрии, как точка.
Рассмотрим, например, такую пространственную определенность вещи, как объем. Поскольку мы рассматриваем объем как количественную определенность вещи, постольку и в качестве элементов этой определенности мы будем рассматривать элементы [194] самой вещи. Так, мы говорим, что объем данной смеси жидкости состоит из одного объема воды и двух объемов кислоты. Разлагая вещь на составные элементы, мы в качестве элементов имеем объем, т.е. ту же самую определенность, анализом которой мы задались первоначально. Обращаясь к самой вещи, нам удается анализировать, разложить на составные элементы именно вещь, но не определенность объема, как таковую. Объем, как таковой, как определенность, остается неразложимым, целостным.
Это и понятно. Ведь пространство, как и время, представляет собой объективную форму существования материальных вещей, поэтому сколько бы мы ни разлагали вещи на составные компоненты, мы никогда не дойдем до такого элемента, в котором пространственные свойства действительности были бы представлены не сполна. В результате эмпирического анализа вещей мы всегда будем иметь некоторую материальную вещь, обладающую теми же пространственными свойствами, что и целое, только, возможно, в другой конфигурации. Поэтому в качестве элемента вещи мы никогда не получим плоскость, линию, тем более точку — объект, не имеющий измерений.
Разложение пространственной определенности вещи, такой, как объем, на такие элементы, как прямая, точка, эмпирически лишено смысла как со стороны анализа, так и со стороны синтеза. Формула площади круга (πr2) содержательно совершенно бессмысленна, ибо такая эмпирическая определенность, как поверхность, количественным выражением которой является площадь, никак не может быть получена путем какой-либо комбинации отрезков.
Становится совершенно очевидным, что математическое количественное значение площади и самая эта площадь как определенность вещи представляют собой явления различного порядка. Но в математике рассматриваются не пространственные определенности, как таковые, а их количественные значения. А эти последние представляют собой какую-то особую реальность, отличную от той, которая раскрывается в созерцании природы. И эту реальность мы не [195] получим с помощью одной лишь абстракции, примененной к объектам созерцания.
Что же представляет собой это количественное значение? Очевидно, что значение количественной определенности объекта и сама эта количественная определенность — различные вещи. Количественное значение пространственной определенности представляет собой образ последней, вполне отделимый от нее, допускающий самостоятельное рассмотрение и преобразование, своеобразную, обособленную, специфическую предметность.
Где же происходит это уравнивание разнородного, обезличивание и лишение содержания совершенно определенных, различных вещей? Объяснения этому математика не дает, поскольку это уравнивание составляет ее предпосылку, о природе которой она не задумывается. Это парадоксальное основоположение о количественном тождестве качественно несопоставимых объектов математика просто берет за нечто само собой разумеющееся. Тем более не объясняет этой операции физика, которая рассматривает пространственную определенность тел, как способ существования определенного физического содержания, выражение состояния качественно определенных физических процессов. Не дают объяснения этому и общие философские положения о пространстве и материи, о количестве и качестве. Ведь для философии ясно, что «формы как таковой» не существует. Как абстракция такое допущение совершенно несостоятельно. Философски его можно признать правомерным лишь как реальный факт, но не как теоретическое допущение.
Идеалистическая интерпретация математики именно и состоит в признании того, что своеобразная природа математических объектов произвольно постулируется разумом, что математические понятия — это лишь фикции, которым ничего не соответствует в реальности, что сама математика есть лишь игра по определенным правилам, все варианты которой уже имплицитно даны в условиях, в силу чего положение о тождестве качественно различных по природе геометрических образов оказывается парадоксальным лишь [196] для нашего созерцания, но не для самой математической теории, строящейся из знаковых элементов, лишенных содержательного смысла.
При каком же условии связь математических величин следует рассматривать как рациональную?
Это условие не может быть раскрыто при рассмотрении процесса познания с позиции созерцательной гносеологии, хотя, к сожалению, этой точки зрения придерживается большинство авторов, исследующих природу математического познания.
Существо этой позиции заключается в следующем. Предмет математики составляют реальные вещи, которые рассматриваются под углом зрения их пространственной определенности. Анализ этой определенности и, следовательно, приобретение математикой своего предмета осуществляется в условиях отвлечения от качественной природы объектов. Своеобразие математики — в ее абстрактности.
Поэтому математика рассматривается, в сущности, как абстрактная пространственная физика или пространственная типология. В противоположность физике, изучающей определенные пространственные тела, геометрия должна была бы рассматривать пространственное тело вообще, вещь, лишенную всякой конкретности. Но в этом случае остается непонятным подход математики к своему предмету: анализ пространственных форм в отвлечении от всякой материи. Какого бы уровня абстрактности ни достигала математика, мы все же никогда не получим на этом пути «формы как таковой», так как всякая форма (используя наиболее абстрактное теоретическое положение — философское) есть не что иное, как способ существования определенного содержания. Отбрасывая всякое содержание, математика необходимо должна отбросить вместе с ним и всяческую форму и стать наукой, совершенно беспредметной.
Математика исследует именно форму как таковую, в ее полной отделенности, отрешенности от содержания. Такое отделение невозможно даже в воображении, даже в абстракции. В этом смысле математика вообще не является естественной наукой. А ведь ее [197] обоснование часто хотят искать в физике предметного мира. Но физика вопиет против приемов математики, физика соглашается с количественным измерением тел, но не с бестелесной размерностью.
Существует лишь одна область действительности, где пространственная форма тел, их количественная определенность практически существует сама по себе – это практическая деятельность человека по освоению количественной стороны мира. Именно в этой деятельности и заключена тайна парадоксов математики.
Абстрактность математических объектов в действительности опирается на практическую отделимость и отделенность количественной стороны вещи от самой вещи и на ее самостоятельное предметное существование в этой отделенности. Предмет геометрии составляет пространственная форма вещи, рассматриваемая как существующая вне самой вещи, практически, предметно, а не в воображении. Предмет математики есть «практически истинная абстракция».
Анализ этой специфической предметной области, резюмируя все вышесказанное, диктуется следующими соображениями.
1. Если математика есть наука о пространственных формах и количественных отношениях объективного мира, рассматриваемых как ее непосредственный предмет, то в числе ее исходных положений мы должны иметь положения типа: «существуют следующие пространственные типы объектов...». Математика, однако, не содержит в себе описаний подобного рода. Какой бы абстрактной она ни была, она не есть пространственная типология. Существование пространственных объектов в математике необходимо предполагается, но она не состоит в их описании и обобщении.
2. Геометрия не только не содержит в себе описания пространственных форм реальности, но и не занимается их теоретическим объяснением. Она не показывает, как и при каких условиях возникают и эволюционируют те или иные пространственные формы в реальности, чем обусловлена та или иная пространственная конфигурация тела, та или иная геометрия [198] пространства (как это делает, например, физика в общей теории относительности).
3. Рассматриваемые в математике рациональные зависимости имеют совершенно специфический характер. При попытке, их эмпирического истолкования они обращаются либо в тавтологию, либо в явно бессмысленные предложения (зависимость площади круга от его радиуса, выражение площади плоскости через размерность линейного элемента).
4. Математика не начинает с наблюдения единичных объектов и не кончает фиксированием их свойств и в обобщенном образе, в абстракции, отбрасывая содержание вещей и процессов. Математика прямо начинает с абстракций так, как если бы они были ее объектами.
5. Математика неотделима от созерцания, но в ней созерцаются абстрактные образы так, как если бы они имели реальное предметное существование. Предметные связи, фиксируемые в этом созерцании, имеют совершенно своеобразный — не эмпирический, а рационально-наглядный смысл.
6. Дискретность математического объекта не оправдывается соответствующей дискретностью физического, природного объекта. Ни атом, ни элементарная частица, ни пучок света не могут быть рассмотрены в качестве прообраза геометрической точки и прямой. Никакой предметный анализ не может дать нам элемент, имеющий лишь одно измерение.
7. Развертывание содержания математической теории не представляет собой аналога какого-либо соответствующего объективного процесса эволюции предмета. Математическая теория есть аналог иных процессов, существо которых будет рассмотрено ниже.
8. Количественная определенность вещи и математическое выражение этой количественной определенности — понятия различные.
Вообще исследование формы вещей и процессов в отвлечении от их естественного субстрата и рассмотрение этой формы в качестве предмета науки должно основываться на безразличии формы к содержанию как реальном факте. В противном случае математика есть либо наука о нематериальных, бестелесных, [199] бесплотных объектах, либо она вообще беспредметна и изучает самое себя в ходе своего произвольного конструирования. Эта независимость составляет основное положение, фундамент математики. Вместе с тем она не осуществляется в природе, в предметном мире, рассматриваемом вне и помимо человеческой деятельности. Действительное основание этой предпосылки заключается не в природе как таковой, составляющей предмет математического созерцания и обобщения, но в предметной, чувственно-практической деятельности человека по освоению количественной стороны мира. Математические выражения приобретают смысл не в непосредственной проекции на созерцаемый мир, но на мир, осваиваемый в ходе предметной деятельности.
Задача науки вовсе не сводится к тому, чтобы зафиксировать в созерцании данную определенность и установить эмпирически, при каких обстоятельствах вещь приобретает эту определенность. Как в познании, так и во всей своей практической жизнедеятельности человек относится к природе, к объекту не созерцательно, но активно-творчески. Не довольствуясь созерцанием стихийных сил природы, он овладевает ими, присваивает их, превращая их в орудия, в средства, с помощью которых он изменяет предметы природы и приспосабливает их к своим потребностям.
Подобно тому как в процессе производства человек между собой и природой ставит орудие труда, так и в познании он между собой и предметом ставит орудия своего духовного производства. Именно в своих орудиях и средствах производства человек господствует над природой, именно в них он и есть субъект — существо, выделенное из природы и противопоставленное ей. Точно так и в основе всех процессов познания лежит определенная освоенная система средств выражения, воспроизведения предмета. Задача рационального познания состоит в том, чтобы деятельно овладеть известным чувственно данным свойством, воспроизвести его в деятельности.
Познание не состоит в простом осведомлении о том, как обстоят дела в объективной реальности. [200] Посредством этого осведомления предмет познания становится только известным. Но известное, как говорит Гегель, еще не есть познанное. Познание есть процесс духовного овладения предметом. Оно осуществляется посредством выражения одного через другое, через отношение.
Для того чтобы субъективно овладеть предметом, данным в непосредственном созерцании, необходимо мобилизовать систему средств, систему уже освоенных вещей и образов. Познавая, субъект творчески воспроизводит предмет. При этом он, естественно, должен пользоваться определенным материалом, который ему доступен и которым он может свободно оперировать подобно тому, как человек воспроизводит естественные процессы в производственных и лабораторных условиях, пользуясь при этом средствами и материалами, допускающими свободное манипулирование ими.
Поэтому как в процессе производственной деятельности, так я в процессе познания человек не находится в рабской зависимости от действительности. Определенность свойства вещи, подлежащая исследованию, не обязательно должна выражаться через соотношения ее наглядных элементов — мы можем выразить ее через определенность другой вещи, которая уже освоена и предполагается известной. Так, например, температуру вещи мы определяем не непосредственно, но пользуясь термометром. Показания термометра есть зеркало, в котором отражается степень нагретости исследуемого тела. Отражение свойств и отношений реальных вещей поэтому происходит не непосредственно между психикой человека и ее предметом, но опосредованно, через другую систему вещей, служащую образом первой.
Древние дали, в сущности, верное определение геометрии как науки об измерении земли, указав на то, что эта наука есть теоретическое выражение определенного рода предметной деятельности. Именно в этой деятельности, а не вне ее геометрия, как и вся математика вообще, обретает свой предмет и своеобразие своего метода. Измерение, т.е. практическая, чувственно-предметная деятельность выражения [201] пространственных свойств одних вещей через пространственные свойства других, и составляет основание математики.
Операция измерения состоит в выражении пространственной формы и количественной определенности одного объекта в другом, естественные свойства которого выступают в качестве эталона, меры, образа, воплощения формы измеряемой вещи. В эталоне форма существует отдельно действительно, практически, а не только в воображении. Здесь она действительно обособлена от самой вещи, выступает предметно, вещественно. Свободно оперируя эталоном, человек практически обращается с пространственной формой вещи как с чем-то не только отделимым, но и реально отделенным от самой вещи. Естественные свойства вещи-измерителя служат воплощением вещи, отличной от нее самой.
С эталоном субъект обращается как с самой вещью, практически оперирует чистыми количествами, отвлекаясь от естественных свойств эталона-измерителя, так как в структуре этой деятельности им действительно отведена нейтральная функция: они представляют не свою собственную естественную природу, но природу другой вещи. Что же касается самой измеряемой вещи, то она представлена в этой операции лишь в идеальной форме. Это ее идеальное бытие предметно, но оно предметно только в деятельности.
Таким образом, обесценение собственного содержания вещи, превращение его в нечто безразличное, совершается не в мозгу математика, но в чувственно-практической деятельности освоения количественной стороны предметного мира. Рациональной связь математических величин между собой оказывается только при условии, что эти величины суть не непосредственно количественные свойства самих объектов, но отделимые от них и потому совершенно безразличные к их действительной природе предметные количественные образы.
Предмет математики — количественные образы, обращающиеся не в природной, а в человеческой, прежде всего производственной, а затем и научной среде. Отсюда становится понятным, что радиус круга, как линейный образ, и его площадь, как двумерный [202] образ, оказываются сопоставимыми и взаимовыразимыми лишь при том условии, что они выражены в форме третьего предмета, обезличивающего их собственную природу, — в форме единицы измерения, в процессе применения которой они уже не радиус и не площадь, но просто числа. Эта третья среда и представляет собой логическое пространство, в котором движется монистическая математическая мысль.
Отношение радиуса к площади выражается через отношение некоторого пространственного предмета любой природы к самому себе. Значение размерности площади есть не что иное, как ее инобытие в виде определенного количества в определенном количестве другого материального объекта. Значение пространственной определенности вещи есть ее инобытие в пространственной определенности другой вещи. Математика и изучает условия этого перехода пространственной и количественной определенности вещи в инобытие, в иное, в эталон.
Математика — это наука, исследующая условия, при которых оперирование простейшим количественным объектом — эталоном — воспроизводит количественные свойства измеряемой вещи. Иными словами, это наука, исследующая условия, при которых может быть построен в деятельности с материальным количественным предметом предметный образ пространственных форм и количественных отношений мира.
Строение математической реальности есть отражение строения предметной деятельности освоения количественной стороны мира, а не только самой этой количественной стороны. Этапы математического анализа и его элементы, процессуальность математического познания есть теоретическое выражение этапов, элементов и процесса этой деятельности. Определение количественного значения сложного пространственного образа (скажем, объема) через количественное значение его элемента является осмысленным, не тавтологичным лишь при условии проекции этой логической операции на этапы деятельности измерения.
Изменение радиуса, конечно, не вызывает изменения площади круга, поскольку эти определенности [203] тождественны. Но если под радиусом понимать его количественное значение, его внешний, отделимый и содержательно безразличный по отношению к нему количественный образ, то получение такого же количественного образа круга действительно находится в прямой зависимости от его радиуса, ибо здесь имеется в виду действительное преобразование, действительный процесс, независимый от самого пространственного образа и осуществляемый вне него.
В геометрических преобразованиях мы действительно практически получаем одну величину из другой. Если же оставить в стороне эту деятельность, то мы никогда не могли бы получить ни одной пространственной формы из другой (из таких элементов, как точки, прямые и плоскости).
Геометрия, таким образом, рассматривает не строение пространственной формы тел, не строение пространственного мира, но строение пространственного мира в его инобытии, в его бытии в другом, в эквиваленте. А это инобытие имеет место только в деятельности.
Пространственные формы и количественные отношения вещей объективного мира познаются не только математикой, но всей совокупной человеческой практикой и теорией с помощью математики. Математика определяет круг условий, при которых осуществима деятельность освоения количественной стороны мира, она есть сумма способов выражения количественной определенности объектов. Объект дан математике не в созерцании, но в деятельности, в созерцании, совершающемся через призму деятельности и под углом зрения ее задач.
Все это позволяет сделать вывод, что количество в математическом смысле и количество как категория предметного мира — вещи существенно различные. Количественность как определенность самого предметного мира есть свойство самого этого мира, неотделимое от него. Количественность в математическом смысле есть определенность предметного мира в ее инобытии в процессе деятельности. Понятно поэтому, что геометрия не есть пространственная типология, так [204] как она не занимается собственно теоретическим обобщением пространственных свойств вещей, но есть абстрактная типология деятельности освоения этих пространственных свойств.
Проблема обобщения в математике выглядит несколько иначе, чем в других науках. Математическое выражение необходимо является обобщенным, так как этот образ есть так или иначе символ, снявший свою специфическую определенность в деятельности, практически выступающий в ней как предмет, собственная природа которого, а стало быть природа тел, выражаемых в нем, для существа дела безразлична. Он универсален. Но не потому, что скопирован с универсума, а потому, что лишен собственной специфичности.
Реальное пространство может быть описано различными методами, различными способами — различными геометриями. Значит ли это, что каждой геометрии свойственно «свое», особое пространство? Отнюдь нет. Пространство едино, и его строение описывается физикой. Одно пространство не содержится в другом, как одна геометрия в другой. Различным типам геометрии соответствуют не различные пространства, а различные типы деятельности, способы освоения пространства. Применимость этих способов решается физикой. Что же касается самой геометрии, то для нее достаточно показать, что сложные пространственные образы можно представить как продукт преобразования элементарной измеримой определенности. Мы и исследуем поэтому в геометрии, собственно, не Евклидово или Риманово пространство, а Евклидовы или Римановы условия освоения в деятельности и постижения в теории физического пространства, которое столь же Евклидово, сколь и Риманово.
Итак, своеобразный дедуктивный метод математики вовсе не является платой за ее особую приверженность к формальной логике. Наоборот, формальная логика есть выражение своеобразной природы содержательной деятельности, есть логика этой формализующей деятельности с содержанием, логика предметного действия измерения, состоящего в тождественном преобразовании некоторой предметно фиксированной в [205] эталоне элементарной определенности во всякую другую, логика предметного действия освоения количественной стороны мира.
Некоторое пространственное свойство становится познанным тогда, когда оно освоено. Оно освоено тогда, когда предметно, практически воспроизведено, построено из другой вещи. Дедуктивный характер математики свидетельствует о том, что построение сложных пространственных определенностей осуществляется опосредованно, через преобразование элементарной конструкции. Иными словами, сложную конструкцию необходимо представить как тождественное преобразование элементарной, измеренной в первоначальном акте, т.е. представить как измеримую, измеренную, переведенную в план предметного инобытия.
Отсюда ясно, что проблема элементарной клетки математического познания и элементарного бытия математической реальности есть проблема элементарного акта деятельности измерения, простейшей формы пространственного инобытия. Следовательно, несколько по-иному встает вопрос о предмете математики. Предмет математики составляют не числа и фигуры, так как, взятые сами по себе, они суть символы, лишенные содержания. Предмет математики составляют количественные отношения и пространственные свойства вещей, осваиваемые в деятельности.
Если геометрическую фигуру рассматривать как предметный образ, интересный для геометрии сам по себе, то в этом случае трудно избежать платонического ее понимания, как особого индивидуального идеального объекта, отмеченного особым «совершенством». (Абсолютизация геометрических образов, рассматриваемых сами по себе, в Древней Греции приводила к их эстетической идеализации и математической индивидуализации; но ведь такая индивидуализация ликвидирует математику, делая невозможным отождествление этих индивидуальных образов при определении зависимостей и их количественного значения.)
Индивидуализированный геометрический образ, собственно, представляет собой уже не количественную определенность, которая только и интересна для [206] математика, но качество причем особое, исключительное — воображаемое качество. Фигура (как и число) есть лишь совокупность условий выражения количественной определенности вещи в деятельности измерения. Эти условия могут быть заданы как синтетически (в созерцании), так и аналитически (в числовом выражении).
Для той задачи, которую призвана выполнять математика, способ задания этих условий совершенно безразличен, а потому и «проблема» наглядности или ненаглядности геометрии лишена принципиальной остроты. Фигура, как и число, есть не предмет математики, а лишь средство оперирования количествам, собственная природа которого совершенно безразлична для существа дела.
Не оперирование фигурами и числами, а оперирование реальными количествами составляет основание математического познания. Но возможно оно только в форме оперирования предметным образом этого количества, эталоном. Фигура есть совокупность условий, схема движения эталона в процессе оперирования — приравнивания, взаимовыражения количеств. Фигура есть схема деятельности, код, скрывающий в себе стратегию и тактику предметного действия, движения измерения.
Схема движения только расшифровывает код. Она поэтому одинаково условна, будь она выражена наглядно или только символически, знаково. Суть дела заключается не в фигуре или числе, а в той реальности, которая осваивается с помощью зашифрованной в них деятельности.
Предмет геометрии есть предмет деятельности — реальное количество и пространство. Этот предмет и геометрический образ — вещи совершенно различные. Но раз это так, то математическое познание есть идеальная форма содержательной деятельности оперирования реальными количествами, есть движение не по логике символов и логических знаков, а по логике реальности, осваиваемой в деятельности.
Отождествление предмета математики с ее образами и понятиями составляет нерв всяких (и [207] объективно-идеалистических, и субъективно-идеалистических) спекуляций. Такое отождествление превращает математику в искусство созерцания некоего хрупкого царства идеальных конструкций, в беспредметную деятельность «образования и преобразования» знаковых ансамблей, в игру со знаками. Не оперирование знаками и фигурами, а оперирование количествами с помощью фигур и знаков составляет содержание математического познания. Математику делает таковой не оперирование фигурами и числами, рассматриваемыми как ее предмет, но лишь реальными количествами. В противном случае она вырождается в языкотворчество, построение определенного языка, который так и останется нерасшифрованным.
Таким образом, гомогенность предметной области в математике является не продуктом формализации этой науки и обособления ее предмета от связей, свойств и вещей объективного мира, но продуктом содержательной деятельности, практически превращающей разнородные вещи в некоторый однородный предмет. Предметная область обособляется не посредством воображения, в угоду формальным канонам логики, но реально, практически.
Выше было показано, что дело отнюдь не только в исключительно высоком уровне абстракции, к которой прибегает математика. Абстрактность — производное, следствие специфической природы математического предмета, но не наоборот. Абстракция есть логический акт, производный от содержательной предметной деятельности. Точно так же и вся совокупность логических операций, построенная в духе принципа гомогенности, есть отражение этой содержательной предметной деятельности, определяющей своеобразие предмета математического познания.
Вся трудность гносеологического и логически-методологического анализа математического познания заключается именно в анализе природы количественной формы, как таковой, в отвлечении от всякого качественного содержания.
Выше было показано, что эта «форма как таковая» есть определенная содержательная предметная [208] деятельность, состоящая в воспроизведении формы предметов и явлений, процессов объективного мира в «предметном теле» цивилизации. Рассмотрение же формы «самой по себе», вне этой предметной деятельности, с необходимостью приводит к отождествлению предмета науки с самой наукой, с ее «языком». В этом случае проблема гомогенности выглядит как проблема лингвистическая, как проблема построения специфического «синтаксиса» языка науки.
Здесь нет нужды иллюстрировать этот вывод материалами философии логического анализа. Важно отметить следующее небезынтересное обстоятельство: отождествление теории с ее предметом, в основе которого лежит стремление построить науку как учение о чистой форме явлений, является общей тенденцией философских исследований по основаниям науки, исследований, уклоняющихся в идеализм и метафизику. Это отождествление предмета теории с ее собственным формальным аппаратом приводит к тому, что математика, например, вырождается в лингвистику. В высшей степени симптоматичен тот факт, что аналогичная операция приводит теоретическую лингвистику к отождествлению с математикой. [209]
