голове из чистого мышления. Должны были существовать вещи, имеющие определенную форму, и эти формы должны были подвергаться сравнению, прежде чем можно было прийти к понятию фигуры. Чистая математика имеет своим объектом пространственные формы и количественные отношения действительного мира, стало быть – весьма реальный материал. Тот факт, что этот материал принимает чрезвычайно абстрактную форму, может лишь слабо затушевать его происхождение из внешнего мира. Но чтобы быть в состоянии исследовать эти формы и отношения в чистом виде, необходимо совершенно отделить их от их содержания, оставить это последнее в стороне как нечто безразличное; таким путем мы получаем точки, лишенные измерений, линии, лишенные толщины и ширины, разные
a и
b, x и
y, постоянные и переменные величины, и только в самом конце мы доходим до продуктов свободного творчества и воображения самого разума, а именно – до мнимых величин. Точно так же выведение математических величин друг из друга, кажущееся априорным, доказывает не их априорное происхождение, а только их рациональную взаимную связь. Прежде чем прийти к мысли выводить
форму цилиндра из вращения прямоугольника вокруг одной из его сторон, нужно было исследовать некоторое количество реальных прямоугольников и цилиндров, хотя бы и в очень несовершенных формах. Как и все другие науки, математика возникла из
практических потребностей людей: из измерения площадей земельных участков и вместимости сосудов, из счисления времени и из механики. Но, как и во всех других областях мышления, законы, абстрагированные из реального мира, на известной ступени развития отрываются от реального мира, противопоставляются ему как нечто самостоятельное, как явившиеся извне законы, с которыми мир должен сообразоваться. Так было с обществом и государством, так, а не иначе,
чистая математика
применяется впоследствии к миру, хотя она заимствована из этого самого мира и только выражает часть присущих ему форм связей, – и как раз
только поэтому и может вообще применяться.
Подобно тому как г-н Дюринг воображает, что из математических аксиом, которые с чисто логической точки зрения не допускают обоснования, да и не нуждаются в нем», можно без всякой примеси опыта вывести всю чистую математику, а затем применить ее к миру, – точно так же он воображает, что он в состоянии сначала создать из головы основные формы бытия, простые элементы всякого знания, аксиомы философии, из них вывести всю философию, или мировую схематику, и затем высочайше октроировать эту свою конституцию природе и человечеству. К сожалению, природа вовсе не состоит из мантёйфелевских пруссаков 1850 года [40], а человечество состоит из них лишь в самой ничтожной части.
Математические аксиомы представляют собой выражения крайне скудного умственного содержания, которое математике приходится заимствовать у логики. Их можно свести к следующим двум:
1. Целое больше части. Это положение является чистой тавтологией, ибо взятое в количественном смысле представление «часть» уже заранее относится определенным образом к представлению «целое», а именно так, что «часть» непосредственно означает, что количественное «целое» состоит из нескольких количественных «частей». От того, что так называемая аксиома вполне определенно это констатирует, мы ни на шаг не подвинулись вперед. Эту тавтологию можно даже до известной степени доказать, рассуждая так: целое есть то, что состоит из нескольких частей; часть есть то, что, будучи взято несколько раз, составляет целое; следовательно, часть меньше целого, – причем пустота содержания еще резче подчеркивается пустотой повторения.
2. Если две величины порознь равны третьей, то они равны между собой. Как доказал уже Гегель, это положение представляет собой заключение, за правильность которого ручается логика [41], – которое, стало быть, доказано, хотя и вне области чистой математики. Прочие аксиомы о равенстве и неравенстве представляют собой только логическое развитие этого заключения.
На этих тощих положениях ни в математике, ни где бы то ни было в другой области далеко не уедешь. Чтобы подвинуться дальше, мы должны привлечь реальные отношения, отношения и пространственные формы, отвлеченные от действительных тел. Представления о линиях, поверхностях, углах, многоугольниках, кубах, шарах и т. д. – все они отвлечены от действительности, и нужна изрядная доза идеологической наивности, чтобы поверить математикам, будто первая линия получилась от движения точки в пространстве, первая поверхность – от движения линии, первое тело – от движения поверхности и т. д. Даже язык восстает против этого. Математическая фигура трех измерений называется телом, corpus solidum по-латыни, следовательно – даже осязаемым телом, и, таким образом, она носит название, взятое отнюдь не из свободного воображения ума, а из грубой действительности.
Но к чему все эти пространные рассуждения? После того как г-н Дюринг на страницах 42 и 43 [42] вдохновенно воспел независимость чистой математики от эмпирического мира, ее априорность, ее оперирование продуктами свободного творчества и воображения ума, он на странице 63 заявляет:
«Легко упускают из виду, что эти математические элементы (число, величина, время, пространство и геометрическое движение) идеальны только по своей форме… Абсолютные величины, какого бы рода они ни были, представляют собой поэтому нечто совершенно эмпирическое»… Однако «математические схемы допускают такую характеристику, которая обособлена от опыта и тем не менее является достаточной», что более или менее применимо ко всякой абстракции, но вовсе не доказывает, что последняя абстрагирована не из действительности. В мировой схематике чистая математика возникла из чистого мышления; в натурфилософии она – нечто совершенно эмпирическое, взятое из внешнего мира и затем обособленное. Чему же мы должны верить?
«Всеобъемлющее бытие единственно. Будучи самодовлеющим, оно не допускает ничего рядом с собой или над собой. Присоединить к нему второе бытие значило бы сделать его тем, чем оно не является, а именно – частью или элементом более обширного целого. Благодаря тому, что мы словно рамой охватываем все нашей единой мыслью, – ничто из того, что должно войти в это мысленное единство, не может сохранить в себе какую-либо двойственность. Но ничто не может также и остаться вне этого мысленного единства… Сущность всякого мышления состоит в объединении элементов сознания в некоторое единство… Именно благодаря объединяющей способности мышления возникает неделимое понятие о мире, а универсум, как показывает уже само слово, признается чем-то таким, в нем все объединено в некоторое единство».
Так говорит г-н Дюринг. Математический метод, согласно которому «всякий вопрос должен быть решаем аксиоматически на простых основных формах, как если бы дело шло о простых… принципах математики», – этот метод применен здесь впервые.
«Всеобъемлющее бытие единственно». Если тавтология, простое повторение в предикате того, что уже было высказано в субъекте, – если это составляет аксиому, то мы имеем здесь аксиому чистейшей воды. В субъекте г-н
