Посмотрим, как тут рассуждают математики, и прежде всего обратим внимание на то, что такое тут искомое нами «общее». Не забудем, что мы здесь все время действуем в условиях бесконечного и непрерывного процесса. Мы исходим из бесконечного и непрерывного становления аргумента и устанавливаем такое же становление и зависимых от него функций. Найти здесь что–нибудь «общее» — это не значит найти какое–нибудь[205] абсолютно неподвижное общее. Наше общее тоже должно находиться в становлении или по крайней мере быть принципом становления. Исходя из этой общеин–финитезимальной позиции, математики рассуждают так.
Мы брали на нашей кривой две точки Μ и М' и вычисляли связанное с этим приращение по обеим осям координат. Приращение это было — определенных размеров, конечное приращение. Но, чтобы остаться на позиции бесконечно–малых, очевидно, надо говорить о бесконечно–малых приращениях, другими словами, надо исследовать, как меняется наша кривая в отношении к абсциссе в мельчайший, в исчезающе малый момент своего протекания. Для этого надо допустить, что наш χ изменяется на бесконечно–малую величину, и тогда таким же, вообще говоря, будет и приращение у, т. е. обе наши точки сблизятся на бесконечно–малое расстояние; а секущая ММ соединявшая обе точки кривой, превратится в пределе в касательную к нашей кривой в той точке А/, которую мы оставили неподвижной и к которой приближали на бесконечно–малое расстояние другую точку кривой Μ'. Стало быть, в условиях бесконечно–малых приращений аргумента и функции свидетелем поведения кривой в данной точке будет уже угол между касательной к ней в данной точке и осью абсцисс; и само отношение между этими приращениями функции и аргумента, взятое в пределе, при Ах, стремящемся к нулю, окажется тангенсом угла наклона этой касательной к оси абсцисс.
Этот новый тангенс существенно отличается от прежнего. Прежний тангенс составлялся как отношение конечных приращений. Поэтому зависимость его не была общей. Этот тангенс характеризовал наклон к оси абсцисс некоей секущей, соединявшей две определенные точки на нашей кривой, находящиеся на конечном расстоянии друг от друга. Теперешний же тангенс есть предел отношения бесконечно–малых приращений ординаты и абсциссы, предел, к которому стремится отношение приращений функции и аргумента в условиях стремления приращения аргумента к нулю. Этот «наклон» и тангенс приходится, так сказать, на каждую инфинитезимальную единицу. Это есть производная от функции, взятая по ее аргументу, которая имеет общее выражение решительно на всем непрерывном протяжении нашей кривой; она есть нечто тождественное самой себе решительно везде. Поэтому и значимость ее на этот раз уже не частная, не частичная, но—совершенно общая, и притом инфинитезимально общая. Это — вполне определенная, единственным образом выраженная функция того же аргумента jc, принимающая бесконечно разнообразные значения в связи со становлением х.
Если задаться целью понять это построение не математически, а чисто логически, то, очевидно, здесь идет речь о нахождении такой смысловой общности видовых понятий, которая уже не была бы связана со всеми случайностями применения этого понятия в данной случайной ситуации, т. е. для данного видового понятия, но которая, наоборот, везде в этих случаях оставалась бы сама собой. Эта смысловая общность, как мы выше установили по Ленину, должна быть, кроме того, законом для всего относящегося сюда индивидуального, т. е. законом отбора и распределения всякого случайного материала и превращения ею в осмысленную действительность. Полученная выше производная как предел отношения приращений функции и аргумента, или, геометрически, как тангенс угла наклона касательной данной кривой к оси абсцисс, есть, с логической точки зрения, не что иное, как принцип бесконечной и непрерывной последовательности видовых значений данного понятия, как такое общее, которое содержит в себе бесчисленное количество индивидуальных, видовых проявлений выступающего здесь существенного отражения вещи, как закон изменения понятия вещи в зависимости от непрерывного становления самой вещи.
Вместе с тем мы достигаем и последней ясности, если привлечь ради аналогии одну категорию формальной логики, понятную уже для каждого школьника, это — категория «основания деления» понятия. — В самом деле, будем рассуждать как математики при геометрическом получении производной. Сближаем наши две точки на кривой, изображающие ее конечное нарастание. Это значит, что мы сближаем два вида одного родового понятия, напр. «бульдог» и «овчарка», из общего понятия «собака». Вот мы их сблизили на бесконечно–малое расстояние, т. е. когда разница между ними стала бесконечно близкой к нулю. Следовательно, тут нужен нуль в качестве предела. Наши две точки в пределе сливаются, наша секущая становится касательной, наши два видовых понятия в пределе сливаются в одно. Но во что же именно сливаются в пределе оба наши видовые понятия? Во что сливаются «бульдог» и «овчарка»? Тут, конечно, напрашивается мысль о слиянии двух видов в одном родовом понятии. Однако родовое понятие есть общность, безразличная к изменениям материального мира, а мы рассматривали видовые понятия как именно ориентированные на изменения материального мира, как именно материально специфицирующие общее родовое понятие. Следовательно, нам необходимо не просто слияние видов в роде, но обобщение их как разных примеров спецификации. Другими словами, нам нужно сейчас то общее, что находится во всех спецификациях данного родового понятия, а не просто само родовое понятие. Теометрически это есть предельное сближение двух точек кривой, т. е. доведение их материального изменения (по оси х–ов) до бесконечно–малого и соответствующего отражения (по оси j–ob) тоже до бесконечно–малого. А логически это есть — в пределе—то, что является одним и тем же и в понятии «бульдог», и в понятии «овчарка». Что же это? Порода. Порода есть тут тот самый принцип и основание, по которому мы делим понятие собаки. Она—тот, никогда не достижимый предел для отдельных пород, который, одинаково присутствуя во всех породах, регулирует их появление в условиях процесса становления «собаки» в виде тех или других пород. «Собака» везде и всегда определенным образом ориентирована относительно материального мира и его изменений (рост, строение ног, ушей, хвоста, психические способности и т. д.), и эта ориентация, этот «наклон» (выражаясь геометрически) и есть порода. Точно так же и в геометрии направление кривой в любой точке понимают как направление касательной к кривой в этой точке. Отсюда и приведенное выше определение производной от данной функции как тангенса угла наклона касательной, проведенной в той или иной точке кривой, изображающей данную функцию, к горизонту. Этот тангенс есть, так сказать, основание деления данной кривой на отдельные ее изгибы, наклоны и вообще направления. Именно по этому принципу мы различаем одну точку кривой от другой на фоне общей линии х–ов, или горизонта.
Совершенно ясно, что производная математического анализа есть «основание деления» понятий в логике. И ясны все преимущества математического анализа перед обычной логикой, поскольку «основание деления» понятия в формальной логике лишено всякого принципного и предельного значения и неясно его отношение ни к тому понятию, которое делится, ни к тому, которое получается в результате деления. Все это такие вещи, которые в формальной логике «сами собой разумеются». Главное же отличие производной от «основания деления» — это ее инфинитезимальный характер: она действует в условиях сплошной, непрерывной текучести и вещей, и определяемых ими понятий, и самого взаимоотношения вещей и понятий, в то время как «основание деления» понятия берется как нечто готовое неизвестно откуда, под него подводятся готовые, абсолютно изолированные друг от друга и потому опять–таки неизвестно откуда получаемые видовые понятия, и этими видами наполняется исходное родовое понятие, как мешок картошкой или бочка селедкой. Непрерывная текучесть мышления — вот тот единственный и неоцененный дар, который приносит с собою в логику категория производной функции.
Таково замечательное логическое значение математической категории производной функции. Она есть закон непрерывного становления, рассматриваемого как функция (или отражение) непрерывного становления самой вещи. Это совершенно ясно как логически, так и математически–аналитически и геометрически.
9. ПРЕИМУЩЕСТВА ИНФИНИТЕЗИМАЛbНОГО УЧЕНИЯ О ПОНЯТИИ В СРАВНЕНИИ С ТРАДИЦИОННЫМ ФОРМАЛbНО–ЛОГИЧЕСКИМ
Что дает нам эта инфинитезимальная теория понятия и его признаков в сравнении с обычным учением? Она дает не так уж[206] много; но традиционная теория совершенно не касается этих вопросов и ограничивается лишь внешним описанием того, какие бывают признаки понятия. Тут вполне наивно обходятся молчанием три фундаментальных вопроса.
