Георг Гегель - Наука логики. Том I. Объективная логика

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

При всей этой противоречивости своих операций математика показывает, что результаты, которые она получает посредством их, вполне совпадают с теми, которые она получает посредством математического метода в собственном смысле, посредством геометрического и аналитического методов. Однако частью это касается не всех результатов, и целью введения исчисления бесконечно-малых является не только сокращение обычного пути, а получение таких результатов, которых последний не может дать. Частью же, с другой стороны, следует сказать, что успех сам по себе не оправдывает характера пути (die Manier des Wegs). А этот характер исчисления бесконечных оказывается пораженным видимостью неточности , которую он сам себе придает, когда конечные величины увеличиваются на бесконечно малую величину, и эта последняя в дальнейших действиях частью сохраняется, но некоторою частью ее также и пренебрегают. Этот прием заключает в себе ту странность, что, несмотря на признаваемую неточность, получается результат, который не только довольно точен и так близок к истинному результату, что можно не обращать внимания на разницу, но и совершенно точен . В самом же действии , предшествующем результату, нельзя обойтись без представления , что некоторые величины не равны нулю, но так незначительны , что их можно оставить без внимания. Однако в том, что понимают под математической определенностью, совершенно отпадает всякое различие между большей или меньшей точностью, точно так же, как в философии не может итти речь о большей или меньшей вероятности, а единственно только о истине. Если метод и употребление бесконечных и оправдывается успехом, то все-таки вовсе не излишне, несмотря на это, требовать их оправдания; такое требование представляется не столь излишним, как, например, представляется излишним требовать доказательства права пользоваться собственным носом (45). Ибо в математическом познании, как представляющем собою научное познание, имеет существенную важность доказательство, а в отношении получаемых результатов тоже оказывается, что строго математический метод не для всех их доставляет доказательство от успеха, которое, однако, и помимо этого является лишь внешним доказательством.

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

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

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

Если обратимся к тому, как относится к этому определению Кант [14], то увидим, что он его находит несогласующимся с тем, что понимают под бесконечным целым . «Согласно обычному понятию та величина бесконечна, больше которой (т. е. больше содержащегося в ней множества данных единиц) не может быть никакая другая величина; но никакое множество не есть наибольшее, так как всегда возможно прибавить к нему одну или несколько единиц. — Относительно же бесконечного целого мы не представляем себе, как оно велико , и, следовательно, его понятие не есть понятие некоторого максимума (или минимума), а мы мыслим через это понятие лишь его отношение к произвольно взятой единице , относительно которой оно больше, чем всякое число. Смотря по тому, примем ли мы эту единицу большей или меньшей, бесконечное будет большим или меньшим; но бесконечность, так как она состоит только в отношении к этой данной единице, остается всегда одной и той же, хотя, разумеется, абсолютная величина целого этим вовсе не будет узнана».