Давайте сравним эти утверждения с фактами. Чтобы была полная справедливость, давайте не будем делать выбор, а возьмем в качестве поля для нашего сравнения следующий раздел, рассматривающий первую науку — Математику; и давайте не будем использовать ничего, кроме собственных фактов М. Конта и его собственных признаний. Ограничиваясь этой одной наукой, конечно, наши сравнения должны быть между ее различными частями. М. Конт говорит, что части каждой науки должны быть расположены в порядке их убывающей общности; и что этот порядок убывающей общности согласуется с порядком исторического развития. Наше исследование должно состоять, следовательно, в том, подтверждает ли история математики это утверждение.
Реализуя свой принцип, М. Конт делит Математику на «Абстрактную математику, или Исчисление (принимая слово в его наиболее расширенном смысле), и Конкретную математику, которая состоит из Общей геометрии и Рациональной механики». Предметом первой из них является число; предметом второй являются пространство, время, движение, сила. Одна обладает высочайшей возможной степенью общности; ибо все вещи вообще допускают перечисление. Другие менее общи; видя, что существуют бесконечные явления, которые не познаваемы ни общей геометрией, ни рациональной механикой. В соответствии с предполагаемым законом, следовательно, эволюция исчисления должна была повсюду предшествовать эволюции конкретных поднаук. Теперь, несколько неловко для него, первое замечание, которое М. Конт делает относительно этого пункта, состоит в том, что «с исторической точки зрения математический анализ, по-видимому, возник из созерцания геометрических и механических фактов». Правда, он продолжает говорить, что «он не менее независим от этих наук, говоря логически»; ибо «аналитические идеи являются, превыше всего остального, универсальными, абстрактными и простыми; и геометрические концепции обязательно основаны на них».
Мы не будем пользоваться этим последним отрывком, чтобы обвинить М. Конта в преподавании, на манер Гегеля, что может быть мысль без вещей, о которых мыслят. Мы довольствуемся просто сравнением двух утверждений: что анализ возник из созерцания геометрических и механических фактов и что геометрические концепции основаны на аналитических. Буквально истолкованные, они точно аннулируют друг друга. Истолкованные, однако, в либеральном смысле, они подразумевают то, что мы считаем доказуемым, — что они имели одновременное происхождение. Отрывок является либо бессмыслицей, либо признанием того, что абстрактная и конкретная математика являются ровесниками. Таким образом, на самом первом шаге предполагаемое соответствие между порядком общности и порядком эволюции не выдерживает критики.
Но не может ли быть так, что, хотя абстрактная и конкретная математика возникли в одно и то же время, одна впоследствии развивалась быстрее другой; и с тех пор всегда оставалась впереди нее? Нет: и снова мы призываем самого М. Конта в качестве свидетеля. К счастью для его аргумента, он ничего не сказал относительно ранних стадий конкретного и абстрактного разделов после их расхождения из общего корня; в противном случае появление Алгебры спустя долгое время после того, как греческая геометрия достигла высокого развития, было бы неудобным фактом для него. Но пропуская это и ограничиваясь его собственными утверждениями, мы находим в начале следующей главы признание, что «историческое развитие абстрактной части математической науки, со времен Декарта, было по большей части определено развитием конкретной». Далее мы читаем относительно алгебраических функций, что «большинство функций были конкретными по своему происхождению — даже те, которые в настоящее время являются наиболее чисто абстрактными; и древние открыли только через геометрические определения элементарные алгебраические свойства функций, которым числовое значение не было придано до тех пор, пока долгое время спустя, делая абстрактным для нас то, что было конкретным для старых геометров». Как эти утверждения согласуются с его доктриной? Опять же, разделив исчисление на алгебраическое и арифметическое, М. Конт признает, как он вынужден, что алгебраическое более общее, чем арифметическое; однако он не скажет, что алгебра предшествовала арифметике по времени. И опять же, разделив исчисление функций на исчисление прямых функций (обычная алгебра) и исчисление косвенных функций (трансцендентный анализ), он вынужден говорить об этом последнем как обладающем более высокой общностью, чем первое; однако оно гораздо более современно. Действительно, по смыслу, сам М. Конт признает эту несообразность; ибо он говорит: — «Могло бы показаться, что трансцендентный анализ должен изучаться до обычного, так как он предоставляет уравнения, которые другой должен разрешить; но хотя трансцендентный логически независим от обычного, лучше следовать обычному методу изучения, беря обычный первым». Во всех этих случаях, следовательно, как и в конце раздела, где он предсказывает, что математики со временем «создадут процедуры более широкой общности», М. Конт делает признания, которые диаметрально противоположны предполагаемому закону.
В последующих главах, рассматривающих конкретный отдел математики, мы находим подобные противоречия. М. Конт сам называет геометрию древних специальной геометрией, а геометрию современников — общей геометрией. Он признает, что в то время как «древние изучали геометрию со ссылкой на тела, находящиеся под наблюдением, или специально; современные изучают ее со ссылкой на явления, которые должны быть рассмотрены, или в общем». Он признает, что в то время как «древние извлекали все, что могли, из одной линии или поверхности, прежде чем переходить к другой», «современные, со времен Декарта, занимают себя вопросами, которые относятся к любой фигуре вообще». Эти факты противоположны тому, чем, согласно его теории, они должны быть. Так же и в механике. Прежде чем делить ее на статику и динамику, М. Конт рассматривает три закона движения и вынужден это делать; ибо статика, более общая из двух разделов, хотя она не вовлекает движение, невозможна как наука, пока не установлены законы движения. Однако законы движения относятся к динамике, более специальному из разделов. Далее он указывает, что после Архимеда, который открыл закон равновесия рычага, статика не делала прогресса до тех пор, пока установление динамики не позволило нам искать «условия равновесия через законы сложения сил». И он добавляет — «В наши дни это метод, повсеместно применяемый. На первый взгляд он не кажется наиболее рациональным — динамика более сложна, чем статика, и приоритет естественен для более простого. Было бы, на самом деле, более философски отнести динамику к статике, как это было сделано с тех пор». Различные открытия подробно описаны далее, показывая, насколько полно развитие статики было достигнуто путем рассмотрения ее проблем динамически; и перед окончанием раздела М. Конт замечает, что «прежде чем гидростатика могла быть включена в статику, было необходимо, чтобы абстрактная теория равновесия была сделана настолько общей, чтобы применяться непосредственно к жидкостям, так же как и к твердым телам. Это было достигнуто, когда Лагранж предоставил, в качестве основы всей рациональной механики, единый принцип виртуальных скоростей». В каком утверждении мы имеем два факта, прямо противоречащие доктрине М. Конта; во-первых, что более простая наука, статика, достигла своего нынешнего развития только с помощью принципа виртуальных скоростей, который принадлежит более сложной науке, динамике; и что этот «единый принцип», лежащий в основе всей рациональной механики — эта наиболее общая форма, которая включает в себя одинаково отношения статических, гидростатических и динамических сил, — был достигнут так поздно, как во времена Лагранжа.
Таким образом, неверно, что историческая последовательность разделов математики соответствовала порядку убывающей общности. Неверно, что абстрактная математика возникла раньше конкретной математики и независимо от нее. Неверно, что из подразделов абстрактной математики более общие появились раньше более частных. И неверно, что конкретная математика, в любом из своих двух разделов, начиналась с наиболее абстрактных истин и переходила к менее абстрактным.
Возможно, стоит в скобках упомянуть, что, защищая свой предполагаемый закон прогрессии от общего к частному, О. Конт где-то комментирует два значения слова «общий» и вытекающую из этого возможность путаницы. Не обсуждая сейчас, можно ли сохранить заявленное различие в других случаях, очевидно, что здесь оно отсутствует. В ряде приведенных выше примеров попытки самого О. Конта замаскировать или объяснить превосходство частного над общим ясно указывают на то, что речь идет об общности того самого вида, который подразумевается его формулой. И достаточно краткого рассмотрения вопроса, чтобы показать, что, даже если бы он попытался это сделать, он не смог бы отличить эту общность, которая, как доказано выше, часто стоит на последнем месте, от общности, которая, по его словам, всегда стоит на первом. Ибо какова природа того мыслительного процесса, посредством которого обнаруживается, что отношения объектов, размеров, весов, времен и прочего могут быть выражены численно? Это формирование определенных абстрактных понятий единства, двойственности и множественности, которые применимы ко всем вещам одинаково. Это изобретение общих символов, служащих для выражения численных отношений сущностей, каковы бы ни были их особые характеристики. И какова природа мыслительного процесса, посредством которого обнаруживается, что отношения чисел могут быть выражены алгебраически? Это точно такой же процесс. Это формирование определенных абстрактных понятий числовых функций, которые остаются неизменными, каковы бы ни были величины чисел. Это изобретение общих символов, служащих для выражения отношений между числами, подобно тому как числа выражают отношения между вещами. А трансцендентный анализ относится к алгебре так же, как алгебра относится к арифметике.
Чтобы кратко проиллюстрировать их соответствующие возможности: арифметика может выразить одной формулой значение конкретной касательной к конкретной кривой; алгебра может выразить одной формулой значения всех касательных к конкретной кривой; трансцендентный анализ может выразить одной формулой значения всех касательных ко всем кривым. Подобно тому как арифметика имеет дело с общими свойствами линий, площадей, объемов, сил, периодов, так и алгебра имеет дело с общими свойствами чисел, которые представляет арифметика; так и трансцендентный анализ имеет дело с общими свойствами уравнений, представленных алгеброй. Таким образом, общность высших разделов исчисления при сравнении с низшими — это тот же вид общности, что и у низших разделов при сравнении с геометрией или механикой. И при рассмотрении обнаружится, что подобное отношение существует и в различных других приведенных выше случаях.
Показав, что предполагаемый закон прогрессии О. Конта не соблюдается среди различных частей одной и той же науки, давайте посмотрим, как он согласуется с фактами при применении к отдельным наукам. «Астрономия, — говорит О. Конт в начале третьей книги, — была позитивной наукой в своем геометрическом аспекте с самых ранних дней Александрийской школы; но физика, которую мы теперь должны рассмотреть, не имела никакого позитивного характера, пока Галилей не сделал свои великие открытия о падении тяжелых тел». На это наш комментарий заключается просто в том, что это искажение, основанное на произвольном злоупотреблении словами — просто словесная уловка. Решив исключить из земной физики те законы величины, движения и положения, которые он включает в небесную физику, О. Конт создает видимость того, что первая ничем не обязана второй. Это не только совершенно неоправданно, но и радикально противоречит его собственной схеме деления. В самом начале он говорит — и, поскольку этот момент важен, мы цитируем оригинал: «Pour la physique inorganique nous voyons d'abord, en nous conformant toujours a l'ordre de généralité et de dépendance des phénomènes, qu'elle doit être partagée en deux sections distinctes, suivant qu'elle considère les phénomènes généraux de l'univers, ou, en particulier, ceux que présentent les corps terrestres. D'où la physique céleste, ou l'astronomie, soit géométrique, soit mechanique; et la physique terrestre».
Здесь, таким образом, мы имеем неорганическую физику, четко разделенную на небесную физику и земную физику — явления, представляемые Вселенной, и явления, представляемые земными телами. Если теперь небесные и земные тела демонстрируют ряд ведущих явлений в общем, как это и есть, то как обобщение этих общих явлений может рассматриваться как относящееся к одному классу, а не к другому? Если неорганическая физика включает в себя геометрию (что О. Конт сделал, включив геометрическую астрономию в свой подраздел — небесную физику); и если ее подраздел — земная физика — рассматривает вещи, обладающие геометрическими свойствами; то как законы геометрических отношений могут быть исключены из земной физики? Очевидно, если небесная физика включает в себя геометрию объектов на небесах, то земная физика включает в себя геометрию объектов на Земле. И если земная физика включает в себя земную геометрию, в то время как небесная физика включает в себя небесную геометрию, то геометрическая часть земной физики предшествует геометрической части небесной физики, поскольку геометрия получила свои первые идеи от окружающих объектов. Пока люди не изучили геометрические отношения на основе тел на Земле, для них было невозможно понять геометрические отношения тел на небесах.
То же самое и с небесной механикой, у которой земная механика была прародителем. Сама концепция силы, лежащая в основе всей механической астрономии, заимствована из нашего земного опыта; и ведущие законы механического действия, проявляющиеся в весах, рычагах, снарядах и т. д., должны были быть установлены до того, как можно было приступить к динамике Солнечной системы. Какие законы использовал Ньютон при разработке своего великого открытия? Закон падающих тел, раскрытый Галилеем; закон сложения сил, также раскрытый Галилеем; и закон центробежной силы, обнаруженный Гюйгенсом — все они являются обобщениями земной физики. И все же, имея перед собой такие факты, О. Конт ставит астрономию перед физикой в порядке эволюции! Он не сравнивает геометрические части этих двух наук вместе, и механические части этих двух наук вместе; ибо это ни в коем случае не подошло бы его гипотезе. Но он сравнивает геометрическую часть одной с механической частью другой и тем самым придает видимость истины своему положению. Он введен в заблуждение словесным обманом. Если бы он ограничил свое внимание вещами и не обращал внимания на слова, он бы увидел, что прежде чем человечество научно скоординировало какой-либо один класс явлений, проявляющихся на небесах, оно предварительно скоординировало параллельный класс явлений, проявляющихся на поверхности Земли.
Если бы это было нужно, мы могли бы заполнить двадцать страниц несообразностями схемы О. Конта. Но приведенных примеров будет достаточно. Его закон эволюции наук настолько далек от того, чтобы быть состоятельным, что, следуя его примеру и произвольно игнорируя один класс фактов, можно было бы с большой убедительностью представить прямо противоположное обобщение тому, которое он провозглашает. В то время как он утверждает, что рациональный порядок наук, подобно порядку их исторического развития, «определяется степенью простоты, или, что то же самое, общности их явлений», можно было бы, напротив, утверждать, что, начиная со сложного и частного, человечество шаг за шагом продвигалось к знанию большей простоты и более широкой общности. Существует так много доказательств этого, что они вызвали у Уэвелла в его «Истории индуктивных наук» общее замечание о том, что «читатель уже неоднократно видел в ходе этой истории, как сложные и производные принципы представляются умам людей раньше простых и элементарных».
Даже из собственной работы О. Конта можно было бы выбрать многочисленные факты, признания и аргументы, свидетельствующие об этом. Мы уже процитировали его слова в доказательство того, что как абстрактная, так и конкретная математика продвигались к более высокой степени общности и что он ожидает еще более высокой общности. Просто чтобы подкрепить эту противоположную гипотезу, давайте возьмем еще один пример. От частного случая весов, закон равновесия которых был знаком самым ранним известным народам, Архимед перешел к более общему случаю неравного рычага с неравными весами; закон равновесия которого включает в себя закон весов. С помощью открытия Галилея, касающегося сложения сил, Д'Аламбер «впервые установил уравнения равновесия любой системы сил, приложенных к различным точкам твердого тела» — уравнения, которые включают в себя все случаи рычагов и бесконечное множество других случаев. Очевидно, что это прогресс к более высокой общности — к знанию, более независимому от особых обстоятельств — к изучению явлений, «наиболее свободных от случайностей частных случаев», что является определением О. Конта для «наиболее простых явлений». Разве не следует из общепризнанного факта, что умственное развитие идет от конкретного к абстрактному, от частного к общему, что универсальные и, следовательно, наиболее простые истины открываются последними? Разве управление Солнечной системой силой, изменяющейся обратно пропорционально квадрату расстояния, не является более простой концепцией, чем любая из тех, что ей предшествовали? Если бы нам когда-нибудь удалось свести все порядки явлений к какому-то единому закону — скажем, атомного действия, как предполагает О. Конт, — разве не должен этот закон соответствовать его критерию независимости от всех остальных и, следовательно, быть наиболее простым? И не обобщил бы такой закон явления гравитации, сцепления, атомного сродства и электрического отталкивания, точно так же, как законы числа обобщают количественные явления пространства, времени и силы?
Возможность сказать так много в поддержку гипотезы, прямо противоположной гипотезе О. Конта, сразу доказывает, что его обобщение — лишь полуправда. Дело в том, что ни одно из этих положений не является правильным само по себе; и действительность выражается только при объединении их обоих. Прогресс науки двойственен: он идет одновременно от частного к общему и от общего к частному: он является аналитическим и синтетическим в одно и то же время.