Сочинения в двух томах. Том 1

Юм Дэвид

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

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

На этот аргумент было, насколько я знаю, дано два различных ответа, ни один из которых

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

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

Таким образом, нет ничего среднего между допущением по крайней мере возможности неделимых точек и отрицанием их идеи; последний принцип и лежит в основании второго ответа на вышеизложенный аргумент. Было высказано мнение [22] , что хотя невозможно представить длину без всякой ширины, однако с помощью абстракции без разделения мы можем рассматривать первую, не принимая в расчет второй, точно так же как мы можем думать о длине пути между двумя городами, не обращая внимания на его ширину. Длина неотделима от ширины как в природе, так и в наших мыслях; но это не исключает ни частичного их рассмотрения, ни объясненного выше различения разумом.

22

L'art de penser ²⁴

Опровергая этот ответ, я не стану опираться на уже в достаточной степени выясненный мною аргумент: если ум не может достигнуть минимумав своих идеях, то его способность [представления] должна была бы быть бесконечной, чтобы он мог охватить бесконечное число частей, из которых состояла бы его идея любого протяжения. Я постараюсь теперь найти новые нелепости в этом рассуждении.

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

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

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

а без такого представления не может быть и геометрического доказательства.

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

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

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

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

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

23

Барроу.Математические лекции ²⁵.