Но если так, то роль предела здесь, очевидно, вполне аналогична пределу в случае с производной. Производная есть предел — как закон возникновения частного из общего, как принцип становления видов из родового понятия. Интеграл же как предел тоже есть некий закон и принцип, но только закон и принцип становления не видов из рода, а родового понятия из видовых. Понятие как интеграл есть закон становления родовой общности из видовых понятий, принцип возникновения рода из видов. И как при получении производной мы понимали дифференцирование не просто в качестве расчленения и различения, но в качестве непрерывного расчленения и различения и сама производная была только законом этого непрерывного становления родовой общности в виде бесконечного ряда видовых понятий, так и теперь под интегрированием мы понимаем не просто слияние видов в одну родовую общность, но слияние это мы понимаем здесь как происходящее в результате непрерывного перехода из одного вида к другому, непрерывного их сближения и сам интеграл и есть закон непрерывного становления суммирующихся видовых понятий в одно сплошное и неделимое родовое понятие.
7. Подобная точка зрения на род и вид не может не освежать традиционных затхлых схем «обобщения» и «ограничения». Традиционные «деревья Порфирия»[211] слишком откровенно построены на застывших и готовых понятиях, чтобы подобные теории можно было принимать безоговорочно. Кроме того, все эти «обобщения» и «ограничения» открыто узаконивают пользование неясными категориями, что уж совсем не соответствует такой критической науке, которой является логика. Когда мы «делим» материю на «одушевленную» и «неодушевленную», можно ли сказать, что эти видовые понятия нам ясны и что ясен самый принцип, по которому происходит это деление? Когда мы делим «тело» на «организмы» и «неорганические тела» или «одушевленное» — на «разумное» и «неразумное», можно ли похвалиться ясностью логического метода этих и подобных разделений? Конечно, нет. Это — вполне наивное и примитивное отношение к логическому делению и узаконивание некритического подхода к тому, что такое род и что такое вид.
Даже и не напирая обязательно на такие категории, как производная или интеграл, необходимо сказать, что наша логика, отставши от всех наук на целые столетия, ничему не научилась и в математике, а в математике—гораздо более тонкое и критическое отношение к роду и виду, чем в логике.
Я укажу хотя бы на тот фундаментальный факт, что математика, производя деление, знает не только результаты деления как таковые, но и метод их получения из цельной общности. Каждое видовое понятие существует тут не просто само по себе, но оно таит в себе закон своего получения из общего понятия. Возьмем то, что знает уже младший школьник. Треугольники делятся на остроугольные, прямоугольные и тупоугольные. Остроугольные—те, в которых каждый угол меньше 900; прямоугольные—те, у которых один угол равняется 90°; и тупоугольные—те, у которых один угол больше 90°. Вот простейшее геометрическое деление. Разве сравнить его с такой, напр., чепухой, как деление европейцев на французов, англичан, немцев и т. д., французов—на парижан, марсельцев, бордосцев, а парижан — по улицам и переулкам Парижа и т. д.? Если спросить таких знатоков деления, чем же, собственно, отличается француз от англичанина или англичанин от американца, то едва ли он сразу и хорошо ответит на этот вопрос. Географический принцип тут едва ли годится: француз может родиться и жить в Америке. Психические признаки очень текучи: возможен хладнокровный француз и живо чувствующий англичанин. Язык? Но француз может родиться в Америке; и условия его жизни могут сложиться так, что он совсем не будет знать французского языка и будет знать английский. Таким образом, принцип деления европейцев на французов, англичан и т. д. логически по крайней мере неясен. (Правда, эта классическая путаница с делением европейцев совсем не обязательна для формальной логики и есть в сущности только плохая формальная логика.) Далее, нечего, конечно, и спрашивать здесь, как один вид относится здесь к другому виду и каков вообще принцип взаимоотношения видов на фоне единого и общего понятия. Это—сплошной туман и сплошные условности. И сравнить с этим деление треугольников в геометрии: тут не только точно указано видовое различие для каждого вида, но и видно, как путем вариаций видового различия образуются новые виды. Вы увеличиваете один из углов вашего остроугольного треугольника. Покамест вы не дошли до прямого угла, вы будете получать бесконечное количество остроугольных треугольников, подчиняющихся одному принципу, и никакая бесконечность здесь вас не смущает. Но вот вы достигли прямого угла. Сразу картина меняется. Планомерно, точно и отчетливо вы получаете новый принцип, и этот новый принцип тоже охватывает у вас целую бесконечность разного рода прямоугольных треугольников; и эта их бесконечность охвачена одним простым и ясным признаком. Так же поступаете вы и при переходе к тупоугольным треугольникам.