Попытаемся разъяснить этот пункт. Литтре совершенно справедливо говорит, что объективная общность - общность убывающая. Если мы оставим в стороне явления разложения, представляющие изменения от частного к общему, все изменения, которым подвергается материя, ведут от общего к частному и суть такие перемены, которые заключают в себе убывающую общность в соединенных группах атрибутов. Таков ход вещей. Ход мысли совершается не только в том же направлении, но еще и в направлении противоположном. Изучение природы доставляет нам постоянно возрастающее число частных фактов, но оно же открывает нам в то же время и все более и более общие факты, в которые объединяются факты частные. Возьмем пример. Зоология, по мере того как она увеличивает число видов и достигает более точного знания каждого вида (убывающая общность), подвигается вперед и в деле открытия общих признаков, с помощью которых виды эти группируются в роды (возрастающая общность). Оба эти процесса субъективны, и в этом случае оба рода открываемых истин конкретны, т. е. они формулируют явления как действительно обнаруженные. Та истина, что все млекопитающие всякого рода (с одним исключением) имеют семь шейных позвонков, является обобщением - общим отношением мысли, соответствующим общему положению вещей. Так как существование семи шейных позвонков у каждого млекопитающего есть конкретный факт, то и констатирование этого есть истина конкретная, а изложение совокупности таких истин тоже характера конкретного. Литтре, вполне признавая необходимость изменить в некоторых отношениях иерархию наук в том виде, как она была установлена Контом, считает ее тем не менее верной в ее сущности и для доказательства ее состоятельности ссылается прежде всего на основную организацию (constitution) наук. Здесь нет надобности разбирать подробно те аргументы, какими он пользуется для доказательства того, что основная организация каждой науки подтверждает тот порядок, в котором они расположены Контом. Достаточно будет сослаться на предыдущие и последующие страницы этой книги: там изложено определение этих основных признаков, требующих классификации наук, аналогичной той, какая нами предложена. Как мы это уже показали и как мы это покажем еще яснее впоследствии, коренные различия, существующие между науками, заставляют нас разделить их на три класса: на науки абстрактные, абстрактно-конкретные и конкретные. Чтобы уяснить, насколько это деление наук разнится от классификации Конта, достаточно бросить беглый взгляд на последнюю. Вот она:
Математические науки (включая рациональную механику) частью абстрактные, частью абстрактно-конкретные.
Астрономия .. ...................Конкретная
Физика........................... Абстрактно-конкретная
Химия ........................... Абстрактно-конкретная
Биология......................... Конкретная
Социология .... ................. Конкретная
}.
Переходя к подразделениям этих классов, мы находим, что первый из них может быть разделен на две части: одну, содержащую всеобщие истины, и другую, содержащую истины невсеобщие. Занимаясь исключительно отношениями независимо от вещей, в которых они существуют, абстрактная наука исследует прежде всего то, что обще всем отношениям вообще, а во-вторых, то, что обще каждому порядку отношений в частности. Кроме неопределенных и изменяющихся связей, существующих между явлениями, поскольку последние обнаруживаются во времени и пространстве, мы находим, что есть также определенные и неизменяющиеся связи; что между каждым родом явлений и известными другими родами явлений существуют однообразные отношения. Истина, что существует неизменный порядок среди вещей, как пребывающих во времени и пространстве, есть всеобщая абстрактная истина. Мы переходим затем к различным родам неизменных отношений, которые, взятые вместе, составляют предмет второго деления абстрактной науки. Самое общее подразделение этого второго отдела то, которое занимается изучением признаков или природы отношений во времени и пространстве, независимо от тех условий, в которых они существуют. Условия, позволяющие нам утверждать отношения совпадения или смежности во времени или пространстве (или отношения несовпадения или несмежности), составляют предмет логики. Здесь качество и количество терминов, между которыми утверждаются (или отрицаются) отношения, не имеют никакого значения положения логики независимы от всякого качественного или количественного определения соотносящихся вещей. Другое подразделение имеет своим предметом отношения между терминами, которые определяются количественно, но не качественно. Соотносящиеся величины изучаются здесь лишь количественно, независимо от их природы или их качеств; математика имеет целью установить законы количества, рассматриваемого независимо от действительности. Количество, рассматриваемое независимо от действительности, есть замещение пространства или времени, а замещение пространства или времени измеряется единицами того или другого порядка, из которых крайние единицы являются просто отдельными пунктами в сознании или одновременными или последовательными. Среди этих единиц, природа которых не определена (экстенсивная, протенсивная или интенсивная), но которым ум дает идеальное существование независимо от атрибутов, количественные отношения являются самыми общими отношениями, какие могут быть выражены числами. Отношения этого рода распадаются на два отдела сообразно тому, рассматриваются ли единицы просто как способные занять отдельные места в сознании или как занимающие места не только отдельные, но и равные. В первом случае мы имеем то неопределенное исчисление, которым определяются как числа абстрактных существований, так и количества их. Затем идет тот отдел математики, который занимается количественными отношениями величин (или агрегатами единиц), рассматриваемых как существующие или занимающие часть пространства; - этот отдел называется геометрией. Наконец, мы доходим до тех отношений, члены которых заключают в себе одновременно и количества длительности и количества протяженности, до тех отношений, в которых время измеряется единицами пространства, проходимого с постоянной быстротой, и в которых при равных данных единицах времени измеряются пространства, проходимые с постоянной или переменной скоростями. Эти абстрактные науки, излагающие исключительно отношения или отношения отношений,, могут быть сгруппированы, как показано в таблице III.
ТАБЛИЦА III
Абстрактная наука
Всеобщий закон отношений. - Формула, выражающая ту истину, что между видами бытия существуют однообразные отношения, независимо от природы и особых признаков этих однообразий:
Законы отношений - качественные или такие, которые определены по природе своей как отношения совпадения или смежности во времени и пространстве, но которые могут быть и не определены в числах своих, свойства и количества которых здесь безразличны (Логика)*:
Количественные (математика):
а) Отрицательно, когда члены отношений суть положения в пространстве с определенными отношениями между собою, а утверждаемые факты суть отрицания известных количеств (Начертательная геометрия)**
б) Положительно, когда члены суть величины, состоящие из единиц, которые равны между собою только в том, что они существуют независимо друг от друга (Неопределенное исчисление)***
в) Равных единиц: равенство которых не определено как экстенсивное, протенсивное или интенсивное (Определенное исчисление)
I) когда числа их вполне определены (Арифметика)
II) когда их числа определены только: в своих отношениях (Алгебра, в отношении их отношений (Исчисление действий)
равенство которых есть равенство протяжения: I) рассматриваемого в его отношениях существования
(Геометрия) II) рассматриваемого во времени
которое не определено в своем целом (Кинематика),
которое подразделено на равные единицы
(Геометрия движения)****
* Это определение обнимает законы отношений, называемые необходимыми, но не законы отношений, называемые случайными. Эти последние законы, в которых вероятность соотношения изменяется с числом случая этого соотношения, известных опыту, составляют собственно предмет математики.