Текст книги "Хаос и структура"

Автор книги: Алексей Лосев

сообщить о нарушении

Текущая страница: 47 (всего у книги 62 страниц)

Вот что такое производная математического анализа в ее логическом раскрытии, вот каков ее формально–логический коррелат, и вот каков должен быть принцип деления общего понятия.

Посмотрим, как тут рассуждают математики, и прежде всего обратим внимание на то, что такое тут искомое нами «общее». Не забудем, что мы здесь все время действуем в условиях бесконечного и непрерывного процесса. Мы исходим из бесконечного и непрерывного становления аргумента и устанавливаем такое же становление и зависимых от него функций. Найти здесь что–нибудь «общее» – это не значит найти какое–нибудь ^[205]абсолютно неподвижное общее. Наше общее тоже должно находиться в становлении или по крайней мере быть принципом становления. Исходя из этой общеин–финитезимальной позиции, математики рассуждают так.

Мы брали на нашей кривой две точки Μ и М' и вычисляли связанное с этим приращение по обеим осям координат. Приращение это было – определенных размеров, конечное приращение. Но, чтобы остаться на позиции бесконечно–малых, очевидно, надо говорить о бесконечно–малых приращениях, другими словами, надо исследовать, как меняется наша кривая в отношении к абсциссе в мельчайший, в исчезающе малый момент своего протекания. Для этого надо допустить, что наш χ изменяется на бесконечно–малую величину, и тогда таким же, вообще говоря, будет и приращение у, т. е. обе наши точки сблизятся на бесконечно–малое расстояние; а секущая ММ соединявшая обе точки кривой, превратится в пределе в касательную к нашей кривой в той точке А/, которую мы оставили неподвижной и к которой приближали на бесконечно–малое расстояние другую точку кривой Μ'. Стало быть, в условиях бесконечно–малых приращений аргумента и функции свидетелем поведения кривой в данной точке будет уже угол между касательной к ней в данной точке и осью абсцисс; и само отношение между этими приращениями функции и аргумента, взятое в пределе, при Ах, стремящемся к нулю, окажется тангенсом угла наклона этой касательной к оси абсцисс.

Этот новый тангенс существенно отличается от прежнего. Прежний тангенс составлялся как отношение конечных приращений. Поэтому зависимость его не была общей. Этот тангенс характеризовал наклон к оси абсцисс некоей секущей, соединявшей две определенные точки на нашей кривой, находящиеся на конечном расстоянии друг от друга. Теперешний же тангенс есть предел отношения бесконечно–малых приращений ординаты и абсциссы, предел, к которому стремится отношение приращений функции и аргумента в условиях стремления приращения аргумента к нулю. Этот «наклон» и тангенс приходится, так сказать, на каждую инфинитезимальную единицу. Это есть производная от функции, взятая по ее аргументу, которая имеет общее выражение решительно на всем непрерывном протяжении нашей кривой; она есть нечто тождественное самой себе решительно везде. Поэтому и значимость ее на этот раз уже не частная, не частичная, но—совершенно общая, и притом инфинитезимально общая. Это – вполне определенная, единственным образом выраженная функция того же аргумента jc, принимающая бесконечно разнообразные значения в связи со становлением х.

Если задаться целью понять это построение не математически, а чисто логически, то, очевидно, здесь идет речь о нахождении такой смысловой общности видовых понятий, которая уже не была бы связана со всеми случайностями применения этого понятия в данной случайной ситуации, т. е. для данного видового понятия, но которая, наоборот, везде в этих случаях оставалась бы сама собой. Эта смысловая общность, как мы выше установили по Ленину, должна быть, кроме того, законом для всего относящегося сюда индивидуального, т. е. законом отбора и распределения всякого случайного материала и превращения ею в осмысленную действительность. Полученная выше производная как предел отношения приращений функции и аргумента, или, геометрически, как тангенс угла наклона касательной данной кривой к оси абсцисс, есть, с логической точки зрения, не что иное, как принцип бесконечной и непрерывной последовательности видовых значений данного понятия, как такое общее, которое содержит в себе бесчисленное количество индивидуальных, видовых проявлений выступающего здесь существенного отражения вещи, как закон изменения понятия вещи в зависимости от непрерывного становления самой вещи.

Вместе с тем мы достигаем и последней ясности, если привлечь ради аналогии одну категорию формальной логики, понятную уже для каждого школьника, это – категория «основания деления» понятия. – В самом деле, будем рассуждать как математики при геометрическом получении производной. Сближаем наши две точки на кривой, изображающие ее конечное нарастание. Это значит, что мы сближаем два вида одного родового понятия, напр. «бульдог» и «овчарка», из общего понятия «собака». Вот мы их сблизили на бесконечно–малое расстояние, т. е. когда разница между ними стала бесконечно близкой к нулю. Следовательно, тут нужен нуль в качестве предела. Наши две точки в пределе сливаются, наша секущая становится касательной, наши два видовых понятия в пределе сливаются в одно. Но во что же именно сливаются в пределе оба наши видовые понятия? Во что сливаются «бульдог» и «овчарка»? Тут, конечно, напрашивается мысль о слиянии двух видов в одном родовом понятии. Однако родовое понятие есть общность, безразличная к изменениям материального мира, а мы рассматривали видовые понятия как именно ориентированные на изменения материального мира, как именно материально специфицирующие общее родовое понятие. Следовательно, нам необходимо не просто слияние видов в роде, но обобщение их как разных примеров спецификации. Другими словами, нам нужно сейчас то общее, что находится во всех спецификациях данного родового понятия, а не просто само родовое понятие. Теометрически это есть предельное сближение двух точек кривой, т. е. доведение их материального изменения (по оси х–ов) до бесконечно–малого и соответствующего отражения (по оси j–ob) тоже до бесконечно–малого. А логически это есть – в пределе—то, что является одним и тем же и в понятии «бульдог», и в понятии «овчарка». Что же это? Порода. Порода есть тут тот самый принцип и основание, по которому мы делим понятие собаки. Она—тот, никогда не достижимый предел для отдельных пород, который, одинаково присутствуя во всех породах, регулирует их появление в условиях процесса становления «собаки» в виде тех или других пород. «Собака» везде и всегда определенным образом ориентирована относительно материального мира и его изменений (рост, строение ног, ушей, хвоста, психические способности и т. д.), и эта ориентация, этот «наклон» (выражаясь геометрически) и есть порода. Точно так же и в геометрии направление кривой в любой точке понимают как направление касательной к кривой в этой точке. Отсюда и приведенное выше определение производной от данной функции как тангенса угла наклона касательной, проведенной в той или иной точке кривой, изображающей данную функцию, к горизонту. Этот тангенс есть, так сказать, основание деления данной кривой на отдельные ее изгибы, наклоны и вообще направления. Именно по этому принципу мы различаем одну точку кривой от другой на фоне общей линии х–ов, или горизонта.

Совершенно ясно, что производная математического анализа есть «основание деления» понятий в логике. И ясны все преимущества математического анализа перед обычной логикой, поскольку «основание деления» понятия в формальной логике лишено всякого принципного и предельного значения и неясно его отношение ни к тому понятию, которое делится, ни к тому, которое получается в результате деления. Все это такие вещи, которые в формальной логике «сами собой разумеются». Главное же отличие производной от «основания деления» – это ее инфинитезимальный характер: она действует в условиях сплошной, непрерывной текучести и вещей, и определяемых ими понятий, и самого взаимоотношения вещей и понятий, в то время как «основание деления» понятия берется как нечто готовое неизвестно откуда, под него подводятся готовые, абсолютно изолированные друг от друга и потому опять–таки неизвестно откуда получаемые видовые понятия, и этими видами наполняется исходное родовое понятие, как мешок картошкой или бочка селедкой. Непрерывная текучесть мышления – вот тот единственный и неоцененный дар, который приносит с собою в логику категория производной функции.

Таково замечательное логическое значение математической категории производной функции. Она есть закон непрерывного становления, рассматриваемого как функция (или отражение) непрерывного становления самой вещи. Это совершенно ясно как логически, так и математически–аналитически и геометрически.

9. ПРЕИМУЩЕСТВА ИНФИНИТЕЗИМАЛbНОГО УЧЕНИЯ О ПОНЯТИИ В СРАВНЕНИИ С ТРАДИЦИОННЫМ ФОРМАЛbНО–ЛОГИЧЕСКИМ

Что дает нам эта инфинитезимальная теория понятия и его признаков в сравнении с обычным учением? Она дает не так уж ^[206]много; но традиционная теория совершенно не касается этих вопросов и ограничивается лишь внешним описанием того, какие бывают признаки понятия. Тут вполне наивно обходятся молчанием три фундаментальных вопроса.

1) Каково отношение признаков понятия (и их совокупности) к самому понятию (т. е. сводится ли последнее на них или нет, и если не сводится, то – что именно содержится в самом понятии такого, чего не было бы в его признаках)?

2) Какое отношение существует между самими признаками?

и 3) Каково логическое отношение понятия как совокупности признаков к соответствующим вещам?

При современном развитии научного сознания невозможно трусливо обходить эти вопросы и считать, что ответ на них понятен и сам собой, без всякого исследования. На все эти вопросы инфинитезимальная логика дает четкий и острый ответ, хотя, несомненно, это далеко не единственный подход к делу и возможно и много других ответов.

Во–первых, как относятся признаки понятия к самому понятию? Что признак понятия не есть само понятие, это ясно: желтый цвет яблока далеко еще не есть само яблоко, ибо желтизна может быть свойственна и другим предметам, а яблоко может и не быть желтым. Уже самое выражение «признак понятия» говорит за то, что признаки понятия не есть само понятие и само понятие не есть его признаки. Но если так, то в каком же отношении находятся между собою признаки понятия и само понятие? Ответ инфините–зимализма здесь четкий и острый: признаки понятия возникают в нем в результате бесконечного становления этого понятия согласно тому или иному принципу, т. е. в результате его соотношения с бесконечным становлением соответствующего ему независимого переменного, т. е. материальной действительности. Мы смотрим, как понятие вещи ведет себя в его инобытии, смотрим на него извне, с точки зрения становящихся вещей; и это открывает нам в нем ту определенную закономерность, которая и ориентирует его судьбу в его материальном инобытии. Отсюда сразу делаются понятными два обстоятельства: полная независимость признаков понятия от самого понятия, если их брать в их непосредственном содержании (это – потому, что понятие здесь выступает не само по себе, но так, как оно дано в независимо от него существующих вещах), и проявление в этих признаках понятия все же не чего другого, как именно самого же понятия (это – потому, что выступающее здесь в инобытийном становлении понятие все–таки остается не чем иным, как именно понятием).

Поэтому на поставленный вопрос мы, пользуясь методом бесконечно–малых, можем ответить так: понятие объединяется со своим отрицанием (или инобытием) в непрерывное становление, а это становление доходит до ставшего, т. е. до своего предела, что и есть принцип для установления той или иной совокупности признаков понятия. Признаки понятия, таким образом, не есть просто какие–то готовые шарики, положенные в готовый ящик, но они есть предельный результат становления понятия.

Когда обыватель говорит о дифференциации, то он мыслит просто различение и разделение. Дифференцировать тему, вопрос, изложение, мысль и т. д. – значит попросту расчленить. От этого момента, конечно, мы не можем отказываться в своем понимании дифференцирования. Но остановиться на этом—значит ограничить себя расчленением целого на конечные, неподвижные и взаимно–изолированные, взаимно–дискретные куски. Вместо этого мы пускаем наше целое в непрерывное становление, в непрерывное, исчеза–юще–малое дробление. Это—раз. Значит, наше «недифференцированное» понятие, прежде всего, течет, плывет, незаметно нарастает, сплошно и незаметно становится. Однако если бы наша дифференциация ограничилась только этим, то это было бы переходом в полную неразличимость, и наше понятие впало бы в противоположную крайность, перейдя из нерасчлененного состояния прямо в абсолютное растекание. Тут происходит еще и нечто другое. Оказывается, это растекание происходит по некоторому определенному закону. Это сплошное становление понятия не совершается как попало, но обладает некоторым вполне определенным принципом. Принцип этот и есть принцип возникновения частностей из общей целости и из родового единства понятия в зависимости от материальных изменений соответствующей вещи. Как бы разнообразно ни было понятие вещи в связи с разнообразными изменениями самой вещи, оно все же содержит в себе те или иные законы для всех этих своих разнообразных применений, оно есть то общее, которое—как принцип—содержит в себе неисчислимое богатство соответствующего индивидуального.

Итак, инфинитезимальное понимание понятия в связи с производной как с принципом определения понятия отличается от традиционного учения о понятии как совокупности признаков в четырех пунктах. 1) Признаки понятия веши есть функция самого понятия вещи, подобно тому как понятие вещи есть функция самой вещи. Этим совершенно точно определяется как раздельность вещи, понятия и признаков, так и их единство, вместо обычного смутного представления об этом в учебниках. Другими словами, признак понятия вещи есть отношение понятия к вещи или, точнее, отношение смысла вещи к становлению и изменению самой вещи, т. е. признак понятия вещи есть то, в чем тождественно понятие вещи и то или другое изменение вещи. При помощи своих признаков понятие ориентируется среди изменений материального мира. 2) Признаки понятия не есть результат механического дробления понятия и не есть нечто данное раз навсегда как некая окостеневшая вещь. Но, будучи, вообще говоря, функцией понятия, предполагают его непрерывное становление, так что признаки непрерывно возникают или отпадают—в процессе исследования у самого исследователя, в процессе истории науки, в процессе технического применения науки, в процессе общественно–политического, культурного и общеисторического преломления данного понятия и т. д. 3) Это непрерывное становление понятия вещи есть отражение непрерывного становления самой вещи, ибо признаки понятия есть только результат сопоставления смысла вещи с изменениями самой вещи, а становление признаков понятия вещи и есть становление самого понятия вещи. 4) Становление понятия и его признаков подчиняется определенному общему принципу (одному или нескольким), охватывающему все богатство индивидуальных значений и проявлений понятия в реальном познании вещей, каковой принцип и есть принцип установления данной совокупности признаков понятия в известный момент его функционирования в материальном мире и его познании (в то время как о познавательной ценности понятия как простой совокупности признаков традиционная теория обычно ничего не говорит).

С этой точки зрения понятие вместе со своими признаками есть некоторая относительно устойчивая цельность со своим собственным внутренним принципом и со своей собственной внешней структурой, что дает возможность рассматривать это понятие в некотором условном отрыве от бытия (подобно тому, что делает математика со своими абстрактными построениями) и что дает право на существование, между прочим, и формальной логике. Нет ничего плохого в том, чтобы рассматривать понятие как некоторый готовый результат и как некоторую относительную устойчивость, ибо в понятии наряду с подвижными и текучими элементами не может не быть и элементов устойчивых и более или менее постоянных. По этой причине формальная логика навсегда останется в науке и жизни как совершенно необходимый и неизбежный метод мышления, поскольку без нее мышление превратилось бы в чисто иррациональную текучесть и нельзя было бы говорить не только о раздельных признаках понятия, но и о самом понятии. Покамест человеческое знание будет выражать собою и отражать постоянство в мире и его более или менее устойчивые закономерности, покамест человеческое мышление будет отражать более или менее неизменные тенденции вечно изменяющейся действительности, до тех пор формальная логика будет сохранять свое право на существование и останется в принципе неуязвимой.

И тем не менее формальная логика только в совокупности с другими методами, а именно, методами, отражающими становление действительности, и, прежде всего только в соединении с диалектикой и инфинитезимальной логикой, может претендовать на обратное воздействие мышления на бытие, т. е. она в соединении с другими, более органическими методами мышления может претендовать на познавательное значение и на участие в переделывании действительности человеком. И поэтому, признавая за формальной логикой полное право на расчленение устойчивого понятия и на получение таких же устойчивых и разъединенных признаков понятия, мы должны признать такую ее позицию не в абсолютном смысле, но лишь как условную и относительную, как входящую в общую органическую жизнь мышления только в виде одного из ее многочисленных моментов. Это ясно в такой же мере, в какой мере неразъединимы в бытии и мышлении их прерывность и их непрерывность.

Во–вторых, как относятся между собою признаки понятия! Традиционная теория ограничивается здесь только «перечислением» признаков. Но это, конечно, не есть решение вопроса. Тут у школьных авторов тоже очень простой способ рассуждения – это сведение логики на вложение неподвижных вещественных объемов друг в друга. На самом же деле признаки понятия не просто наличны в понятии, но еще и определенным образом соотносятся. Если мяч мы будем определять как «резиновый шар с нагнетенным воздухом», то только слишком примитивная логика может говорить, что понятие мяча «состоит из признаков» – «резина», «шар», «нагнетать» и «воздух». Эти признаки, кроме того, что они наличны, еще и находятся в настолько точном и нерушимом соотношении, что их можно употреблять только в таком виде, а не иначе. Например, «резина» здесь есть только свойство, или качество, «шара», и ни в каком другом соотношении эти два признака между собою не находятся. Тут нельзя мыслить такие соотношения, как «резина» и «шар» или «резина без шара». Одно дело – «дом отца», другое дело – «отец дома». Предлог «с» в нашем определении шара вовсе не есть нечто необязательное или неопределенное, равно как это же есть и просто признак. Это вполне определенное соотношение между двумя (или несколькими) совершенно определенными признаками.

Вот это–то очень важное обстоятельство для характеристики взаимоотношения признаков и фиксируется с замечательной простотой при помощи категории функции. То, что понятие мы интерпретируем как функцию, это и есть попытка взять совокупность признаков понятия как результат соотношений, а не как просто формально перечисляемую сумму признаков вне всякой зависимости от их последовательности или взаимоотношения. Функция данного аргумента ведь есть не что иное, как результат определенного ряда действий, произведенных над аргументом. Если понятие у нас есть производная функция, то этим достаточно четко рисуется то, что в понятии признаки не просто перечислены, но еще и определенным образом соотнесены.

И наконец, в–третьих, каково логическое отношение понятия о вещи к самой вещи? Если миновать огромное количество ответов на этот вопрос, устаревших в настоящее время, и взять ответ наиболее у нас современный, то самое большее нам скажут, что это отношение есть отражение. Спору нет о том, что это – ответ наилучший. Однако он до чрезвычайности общий, и непроработка его грозит превратить все учение об отражении в простую фразу.

Конечно, понятие вещи есть отражение самой вещи. Но какое? Не всякое же отражение есть понятие. Прежде всего, это есть существенное отражение, отражение сущности вещи. Далее, сущность, или существо, вещи есть функция вещи. Хотя между вещью и ее смыслом существует не только функциональное отношение, но для логики важно, что тут наличествует именно функциональное отношение. Однако мало и этого. Не всякая сущность, или смысл, вещи есть понятие, и не всякая функция смысла есть понятие. Мы можем сколько угодно владеть смыслом вещи, но в то же время – не иметь понятия вещи. Ребенок, впервые натыкающийся на огонь и судорожно отдергивающий руку от него, прекрасно узнает смысл огня; но это еще не значит, что он владеет понятием огня. Понятие есть нечто гораздо более развитое, чем смысл. Понятие есть нечто такое, что есть результат сопоставления понимания с другими пониманиями, это понимание, соотнесенное со всем другим, ориентированное среди прочего, оформленное и осуществленное.

Таким образом, то, что называется понятием как совокупностью признаков, есть не просто отражение вещи, но известного рода переработка этого отражения. Метод бесконечно–малых мощно и отчетливо гласит, что эта переработка есть не что иное, как дифференцирование, или получение производной. Означенная переработка происходит здесь, как мы узнали выше, в переходе в становление, зависимое от становления вещи, и в переходе этой зависимости двух становлений к пределу.

Инфинитезимальная теория прекрасно рисует познавательную роль понятия, в то время как традиционная теория касается этого только в своем учении о происхождении понятия (априорном или чувственном), а происхождение ровно ничего не говорит на тему о логической и познавательной значимости и уже предполагает эту значимость известной (так, Кант учит вовсе не о том, что такое пространство, но о том, как и откуда оно происходит; а что такое само–то пространство, это уже ему известно до исследования). Инфинитезимальная же теория в нашем построении исследует в первую голову вопрос о познавательной и логической значимости понятия.

Понятие вещи есть отражение вещи. Однако это будет пустой и незначащей фразой, если мы четко не покажем конкретного строения самого понятия. Если понятие есть такое отражение, что оно есть абстрактная общность, не имеющая никакого отношения к индивидуальным вещам и к индивидуальным представлениям, то какое же это отражение? Это – пустая фраза, а не отражение. Если же понятие всерьез отражает вещь, то его общность должна сохранить в себе все бесконечное богатство индивидуального, что есть в вещах данного рода. Но так как это индивидуальное нельзя понимать здесь буквально (ибо тогда общее понятие просто растворилось бы в море частностей), то оно дано здесь как принцип получения индивидуального во всем его бесконечном и непрерывном нарастании, как метод охвата всех индивидуальных явлений, сюда относящихся, как закон непрерывного становления данного общего в любой частной и случайной обстановке, предел этого становления.

Такое вот понимание общего понятия действительно и всерьез хочет выставить на первый план именно познавательную роль понятия и показать ее на структуре самого понятия, а не отделаться здесь пустой и ничего не говорящей фразой. Но это понимание—всецело инфинитезимальное. Если понятие, дифференцируясь, создает свою производную функцию, то этим сразу охватывается и то, что оно есть отражение вещи, и то, что как сама вещь, так и оно само находятся в непрерывном становлении, и то, что оно содержит в себе принцип охвата бесконечного богатства относящихся к нему изменений материального мира.

Так три огромных вопроса о логической природе понятия (а стало быть, и мышления) получают с точки зрения учения о бесконечно–малых одно из самых глубоких и оригинальных решений.

Если мы хорошо усвоили понятие производной, можно перейти наконец и к понятиям дифференциала и интеграла в логике. После всего предыдущего исследования оно уже не составит для нас больших трудностей.

10. ДИФФЕРЕНЦИАЛ В ЛОГИКЕ

1. Для усвоения дифференциала как логической категории посмотрим, как рассуждают математики в их собственной науке.

Чтобы получить категорию дифференциала, уже надо иметь категорию производной. Что такое производная, мы знаем. Допустим, что у нас уже имеется производная у' от какой–нибудь функции у. Возьмем какое–нибудь любое, т. е. совершенно произвольное, приращение независимого переменного ∆х и возьмем произведение данной производной на это произвольно выбранное приращение х. Это произведение

dy=y'∆x

и есть не что иное, как дифференциал функции у.

Для тех, кто не имеет математического образования и сталкивается с этим выражением впервые, необходимо заметить, что выражение это имеет мало общего с получением производной. Хотя произвольно выбранное приращение независимого переменного, а значит, и сам дифференциал неизменно текут и непрерывно становятся, самый этот процесс бесконечно малого становления скрыт ^[207]здесь только в самой производной, но совершенно не имеется в виду ни в том, ни в другом приращении. Приращение независимого переменного Ах есть нечто совершенно не зависящее от нас, нечто вполне произвольное; это какое угодно приращение, а не только то бесконечно–малое, которое было нам необходимо для получения производной. В связи с этим и дифференциал, хотя он даже в двойном смысле предполагает непрерывность становления, во–первых, ту, благодаря которой возникает производная, и, во–вторых, свою собственную, – сам по себе все же является некоей определенной и устойчивой величиной и есть не становление, но результат этого становления, т. е. ставшее.

Математики говорят—очень выразительно – еще и так. Дифференциал функции есть функция двух разных переменных, ибо и производная, и произвольное приращение Δx тут совершенно независимы друг от друга. Произвольное приращение независимого переменного потому и называется произвольным, что оно не связано здесь никакими условиями. Α ∆х входившее у нас для получения производной, как бесконечно–малое не имеет ничего общего с нашим теперешним ‹∆у.

Предыдущее определение дифференциала функции мы можем определить и несколько иначе, давши более симметричную формулу. А именно, что такое это ΔχΊ Чтобы ответить на этот вопрос, определим, что такое был бы дифференциал от х, т. е. для случая, если функцией от χ является сам же χΊ Так как производная от самого независимого переменного равняется единице, то приведенную выше формулу мы можем переписать так:

dx=∆x,

т. е. для случая, когда χ есть независимое переменное, можно писать:

dy=y'dx.

Другими словами, дифференциал функции равен произведению ее производной на дифференциал независимого переменного.

2. Надо сказать, что, давая столь ясное и безупречное построение, математики очень мало сделали для его логического разъяснения (да они едва ли и были обязаны это делать, так что насколько формально ясна и отчетлива математическая идея дифференциала, настолько неясна и неотчетлива она логически).

Что такое дифференциал функции? Самое грубое разъяснение этого заключалось бы в том, что это – обыкновенная конечная величина. Позитивисты из математиков так обыкновенно и бахвалятся, что–де тут и задумываться не над чем: дифференциал, если его вычислить, есть 1, 2, 3 или какое–нибудь другое число или величина. По–видимому, это очень примитивное суждение. Таким образом можно аннулировать весь математический анализ, так как производная тоже может быть конечной величиной, интеграл – гоже конечная величина, всякий предел тоже есть нечто конечное или по крайней мере точно установленное, постоянное и т. д. и т. д. Математическое опровержение этого заключается в том, что дифференциал есть не просто величина, но—функция, т. е. предполагает наличие определенного закона получения этой величины. Кроме того, дифференциал даже и в виде функции отнюдь не всегда имеет определенное значение. Известны такие непрерывные функции, которые не во всех своих точках дифференцируемы, т. е. соответствующая им кривая не везде имеет касательную. Такие функции дифференцируются, т. е. имеют производную, но эта производная не во всех точках обладает определенным значением. Однако раз есть производная, есть и дифференциал, и раз производная не везде обладает определенным значением, то и дифференциал такой функции отнюдь не везде получает точное и определенное значение. Таким образом, сказка о дифференциале функции как о той или иной только конечной величине рушится сама собой.

Кроме того, если бы дифференциал был только конечной величиной, то это означало бы, что в определение интеграла нельзя вводить дифференциала, ибо иначе всякий интеграл оказался бы бесконечно большой величиной, потому что интеграл получается из дифференциала в результате предельного суммирования бесконечно умаляющихся величин. На самом же деле интеграл может сколько угодно быть конечной величиной. Следовательно, дифференциал отнюдь не есть нечто конечное в абсолютном смысле. Из того, что он может быть выражен конечным образом, отнюдь не вытекает конечность его собственной природы. В том, что мы чертим окружность, нет ровно ничего иррационального: взял циркуль и – черти. Но это еще не значит, что отношение окружности к диаметру есть рациональное число. При всей внешней конечности окружности, при всей простоте ее чертежа отношение ее длины к диаметру, оказывается, невозможно выразить никаким конечным числом знаков. Таким образом, конечность дифференциала не есть нечто абсолютное и она совсем не характеризует его сущности.

Вместе с тем категория дифференциала, разумеется, как–то связана с конечным. Какой–то конечный элемент входит в эту категорию, поскольку он есть функция производной (которая может быть конечной) и вполне произвольного приращения аргумента (которое здесь, следовательно, тоже может мыслиться и конечным). Таким образом, конечность входит в понятие дифференциала, но не исчерпывает его.

Часто можно встретить такое определение дифференциала. Это, говорят, есть бесконечно–малая величина, характеризующая приращение функции. Это определение также не исчерпывающе для дифференциала. Во–первых, дифференциал вовсе не есть только просто величина, но предполагает определенный принцип получения этой величины. Во–вторых, бесконечно–малое указывает не просто на величину, а на процесс бесконечного и непрерывного уменьшения величины. Дифференциал в этом случае всегда только и был бы процессом уменьшения. А по определению, дифференциал фактически выступает именно в качестве конечного (хотя, как мы установили выше, и не только в качестве конечного). Конечное никак невозможно исключить из дифференциала. А чистая процессуаль–ность как раз исключает.