Наука логики

{311}

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

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

существующие части времени, проходятся конечные, т. е.

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

{312}

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

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

mathemat. philosophiae naturalis, Hb. I, sect. II, prop. I, с астрономией Шуберта (изд. 1-е, т. III, § 20), где он вынужден признать, что дело обстоит не совсем так, т. е. что в (пункте,

{313}

составляющем самый нерв доказательства, дело обстоит не так, как это принимает Ньютон).

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

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

{314}

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

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

Примечание 2 Цель диференциального «исчисления, выведенная из его приложения В предшествующем примечании мы рассмотрели отчасти определенность понятия бесконечно малого, применяемого в диференциальном исчислении, отчасти же основу его введения в последнее. И то и другое суть абстрактные и потому сами по себе также и легкие определения. Так называемое приложение представляет больше трудностей, равно как и более интересную сторону; элементы этой конкретной стороны составят предмет настоящего примечания. — Весь метод диференциального исчисления полностью дан в положении, что dxn = пхп-г dx или f (x + 0-fx=P.

i ' т. е. равняется коэфициенту первого члена двучлена (х + dx)n или (х — f- /) л(47), разложенного по степеням dx или /.

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

{315}

получается из этой формулы механически; в короткое время, в каких-нибудь полчаса — с нахождением диференциалов дано также и обратное, нахождение первоначальной функции на основании диференциалов, интегрирование — можно овладеть всей теорией. Задерживает на ней дальше лишь старание усмотреть, сделать для себя понятным, каким образом после того, как одна сторона задачи, нахождение этого коэфициента, решена так легко аналитическим, т. е.

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

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