Сочинения
Шрифт:
194
121. Но так как есть люди, которые, будучи обмануты ложным блеском открытия абстрактных истин, теряют время над арифметическими теориями и задачами, не приносящими никакой пользы, то не будет лишним более полное рассмотрение и раскрытие тщетности этого притязания; она станет для нас ясной, если мы бросим взгляд на арифметику в ее младенчестве и посмотрим, что первоначально побудило людей к изучению этой науки и к какой цели они его направляли. Естественно думать, что сначала люди для облегчения памяти и как пособие при счете употребляли отметки, а при письме — отдельные черточки, точки и т. п., причем каждый знак обозначал единицу, т. е. известную отдельную вещь любого рода, которую надо было сосчитать. Позднее они сочли удобнее, чтобы один знак заменял собой несколько черточек или точек. И, наконец, вошли в употребление арабские или индийские цифры, какими, путем повторения нескольких немногих знаков или цифр и изменения значения каждой цифры, смотря по занимаемому ею месту, все числа могут быть обозначены самым соответственным образом, что произошло, по-видимому, в подражание языку, так что наблюдается точное сходство между обозначением цифрами и словами,
195
122. Итак, в арифметике мы рассматриваем не вещи, а знаки, которые, однако, подвергаются исследованию не ради их самих, но потому, что они показывают нам, как следует поступать относительно вещей и правильно ими распоряжаться. Но согласно с тем, что уже было замечено нами о словах вообще (§ 19 Введения), здесь также оказывается, что абстрактные идеи мыслятся обозначаемыми через знаки или названия чисел, так как последние не возбуждают в наших умах идей отдельных вещей. Я не намерен теперь вдаваться в более специальное рассуждение по этому предмету, но замечу только, что из сказанного выше ясно видно, что то, что признается за абстрактные истины и теоремы относительно чисел, в действительности не относится ни к какому предмету, отличному от отдельных исчисляемых вещей, за исключением лишь имей и цифр, которые первоначально рассматривались только в смысле знаков, способных обозначать соответствующим образом все отдельные вещи, подлежащие человеческому счету. Из чего следует, что изучать их ради них самих значило бы поступать так же мудро и с таким же благим намерением, как если бы кто-нибудь, пренебрегая надлежащим употреблением или первоначальной целью и задачами языка, стал тратить свое время на непристойную критику слов или чисто словесные соображения и споры.
123. От числа мы переходим теперь к разговору о протяжении, составляющем предмет геометрии. Бесконечная делимость конечного протяжения, хотя она не выражается прямо ни как аксиома, ни как теорема в принципах этой науки, везде ею предполагается и мыслится в такой неразрывной и существенной связи с принципами и доказательствами геометрии, что математики никогда не подвергают ее сомнению или вопросу. и в той же мере, в какой именно это понятие есть источник, откуда вытекают все те забавные геометрические парадоксы, которые находятся в таком прямом противоречии с обычным человеческим здравым смыслом и лишь с большим сопротивлением принимаются умом, не развращенным ученостью, оно служит главным поводом той чрезмерной утонченности, которая делает изучение математики столь трудным и скучным. Поэтому, если мы окажемся в состоянии показать, что никакое конечное протяжение не содержит бесконечного числа частей или не делимо до бесконечности, то отсюда следует, что мы однажды навсегда освободим науку геометрии от множества затруднений и противоречий, которые всегда считались упреком человеческому разуму, и вместе с тем сделаем изучение ее делом несравненно меньшего времени и труда, чем это было до сих пор.
196
124. Каждое отдельное конечное протяжение, которое может служить предметом нашего мышления, есть идея, существующая лишь в нашем уме, и, следовательно, любая его часть должна быть воспринимаема. Если поэтому я не могу воспринять бесконечное множество частей в каком-либо конечном, рассматриваемом мной, протяжении, то несомненно, что они в нем не содержатся; по очевидно, что я не в состоянии различить бесчисленное множество частей в отдельной линии, поверхности или теле, воспринимаю ли я их в ощущении или представляю себе в моем уме, из чего заключаю, что они пе содержатся там. Ничто не может быть для меня яснее того, что рассматриваемые протяжения суть не что иное, как моп собственные идеи; и не менее ясно, что я не могу разложить какую-либо из своих идей на бесконечное число других идей, т. е. что они не делимы до бесконечности. Если под конечным протяжением подразумевается нечто отличное от конечной идеи, то я объявляю, что не знаю, что это такое, и, следовательно, не могу ни утверждать, ни отрицать чего-либо о нем. Но если термины «протяжение», «части» и т. п. берутся в понятном смысле, т. е. в смысле идей, то сказать, что конечная величина или конечное протяжение состоит из частей бесконечных по числу, есть столь явное и вопиющее противоречие, что каждый с первого взгляда признает его за таковое; и невозможно, чтобы с этим мнением когда-либо согласилось какое-нибудь разумное существо, если только оно не будет подготовлено к нему постепенными незначительными переходами, как новообращенный язычник к вере в пресуществление. Старые и закоренелые предрассудки часто приобретают значение принципов, а такие положения, которые раз приобрели силу и значение принципов, не только сами, но вместе с ними и все то, что может быть из них выведено, считаются изъятыми из исследования. и нет такой бессмыслицы, которая не могла бы быть принята, если ум таким образом к ней подготовлен.
197
125. Тот, чей ум находится под господством учения об абстрактных
126. Было замечено в другом месте (§15 Введ[ения]), что теоремы и доказательства геометрии касаются общих идей, причем было объяснено, в каком смысле это следует понимать, а именно в том, что отдельные линии и фигуры в чертеже предполагаются заменяющими бесчисленное множество других линий и фигур различной величины, или, иными словами, геометр рассматривает их, отвлекая от них величины, что подразумевает не то, что он образовал абстрактную идею, а только то, что он не заботится о величине, в частности велика ли она или мала, но считает это безразличным для доказательства. Отсюда следует, что о линии, имеющей на чертеже всего один дюйм длины, надо говорить так, как будто она содержит девять тысяч частей, поскольку она рассматривается не сама по себе, но как общая; но она обща лишь по значению, поскольку она Собой представляет бесчисленные линии, большие, чем она, в которых можно различить десять тысяч и более частей, хотя они могут быть не длиннее дюйма. Таким путем свойства обозначенных линий по весьма обычному приему переносятся на знак и потому по заблуждению как бы мыслятся принадлежащими ему в силу его собственной природы.
198
127. Так как нет такого большого числа частей, чтобы не могло быть линии, которая содержала бы их еще более, то говорится, что линия в дюйм длиной содержит частей более всякого данного их числа, что справедливо, но относительно не дюйма, как такового, а только того, что им обозначается. Но люди, не соблюдая этого различия в своих мыслях, подпадают под убеждение, будто небольшая данная линия, начертанная на бумаге, зaключает, как таковая, бесконечное число частей. Нет такой вещи, как десятитысячная часть дюйма, но есть десятитысячная часть мили или диаметра земли, которые могут быть обозначены этим дюймом. Когда я поэтому черчу на бумаге треугольник и приму величину одной из его сторон, которая не длиннее дюйма, равной радиусу (Земли), то я предполагаю ее разделенной на десять, на сто и более тысяч частей; ибо хотя десятитысячная часть этой линии, рассматриваемая сама по себе, есть ничто и ею, следовательно, можно пренебречь без всякой погрешности или неудобства, но так как эти начертанные линии суть лишь знаки, заменяющие большие величины, десятитысячная часть которых может быть весьма значительная, то отсюда следует, что во избежание заметных ошибок на практике радиус должен быть признан содержащим в себе 10 000 или более частей.
128. Из сказанного ясно, почему для сообщения теоремам всеобщего применения мы должны говорить о начертанных на бумаге линиях так, как будто они содержат части, которых в действительности не имеют. Поступая таким образом, мы при точном исследовании найдем, быть может, что не в состоянии представить себе сам дюйм состоящим из тысячи частей или делимым на тысячу частей, а относим это представление к некоторой другой линии, которая гораздо больше дюйма и обозначается им, и что, говоря, будто линия делима до бесконечности, мы подразумеваем (если только действительно что-либо подразумеваем) бесконечно большую линию. В сказанном заключается, по-видимому, главная причина того, почему в геометрии признается необходимым предположение бесконечной делимости конечного протяжения.
129. Многочисленные нелепости в противоречия, вытекающие из этого ложного принципа, могли бы каждое служить, как представляется, доводами против него. Но я не знаю, на основании какой логики признается, что доказательства a posteriori не допустимы против положений, касающихся бесконечности, как будто даже бесконечный дух не в состоянии разрешить противоречия или будто что-либо нелепое и противоречивое может быть в необходимой связи с истиной или вытекать из нее. Но если кто бы то ни было рассмотрит шаткость этого притязания, то он придет к мысли, что оно было изобретено в угоду вялости ума, которому более приятно успокоиться на ленивом скептицизме, чем взять на себя труд подвергнуть строгому исследованию те принципы, которые он постоянно признавал за истинные.
199
130. Умозрения относительно бесконечных величин достигли в новейшее время таких размеров и выродились в столь странные понятия, что послужили поводом к немалым сомнениям и спорам среди современных геометров. Некоторые из них, имеющие громкое имя, не довольствуются мнением, будто конечные линии могут быть делимы на бесконечное число частей, но утверждают далее, что каждая из этих бесконечно малых частей в свою очередь делима на бесконечное число других частей или бесконечно малых величин второго порядка, и т. д. ad infinitum. Они утверждают, говорю я, что существуют бесконечно малые части бесконечно малых частей и т. д. без конца; так что, по их мнению, один дюйм содержит не только бесконечное число частей, но бесконечность бесконечности частей ad infinitum. Другие утверждают, что все порядки бесконечно малых величин ниже первого порядка суть ничто, основательно считая нелепым предположение, будто существует какое-либо положительное количество или часть протяжения, которая, даже будучи бесконечно умноженной, никогда не сравнится с наименьшим данным протяжением. А, с другой стороны, не менее нелепым кажется мнение, будто квадрат, куб или другая степень положительного реального основания есть, как таковая, ничто, как это должны утверждать те, которые признают бесконечно малые величины первого порядка, отрицая высшие их порядки.