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

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

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

Таким образом, когда ум привыкает к этим суждениям и к их исправлению и находит, что то же самое соотношение, которое придает двум фигурам на глаз вид того, что мы называем равенством, заставляет эти фигуры соответствовать как друг другу, так и любой общепринятой мере, с помощью которой они сравниваются, – мы образуем смешанное представление о равенстве, основанное как на менее, так и на более точных методах сравнения. Но мы не удовлетворяемся этим. Поскольку здравый смысл убеждает нас в том, что существуют тела гораздо меньшие, а ложное рассуждение готово уверить нас в том, что существуют тела и бесконечно меньшие, чем те, которые воспринимаются чувствами, мы ясно видим, что не обладаем таким инструментом или таким искусством измерения, которое могло бы оградить нас от всякой ошибки и неопределенности. Мы сознаем, что прибавление или устранение одной из таких минимальных частей не заметно ни при наблюдении (appearance), ни при измерении, а так как воображаем, что две фигуры, которые были раньше равными, уже не могут быть таковыми после подобного устранения или прибавления, то и предполагаем некоторое воображаемое мерило равенства, с помощью которого точно исправляются как первоначальные общие наблюдения, так и измерения, фигуры же полностью сводятся к указанному соотношению. Мерило это чисто воображаемое. Ведь если сама идея равенства есть идея отдельного наблюдения, исправленного с помощью наложения или с помощью общепринятой меры, то понятие о таком исправлении, для которого у нас не хватает ни инструментов, ни искусства, является простой фикцией нашего ума, бесполезной и непонятной. Но если это мерило чисто воображаемое, то сама фикция весьма естественна: ведь для ума нет ничего более обычного, чем продление некоторого акта даже по исчезновении того основания, которое сперва побудило его приступить [к данному акту]. Это очень ясно видно на примере времени: очевидно, что хотя у нас нет для определения соотношения его частей метода, равного по точности хотя бы такому методу, который мы применяем к протяжению, однако даже и здесь различные исправления наших мер и различные степени их точности дают нам неясное и нераскрытое понятие о совершенном и полном равенстве. То же наблюдается и во многих других областях. Музыкант, замечая, что его слух делается с каждым днем все тоньше, и исправляя себя с помощью размышления и внимания, продолжает производить то же самое действие ума, даже когда у него уже нет надлежащего материала, и образует понятие совершенной терции или октавы, не будучи в состоянии сказать, откуда он берет этот образец. Художник образует такую же фикцию по отношению к цветам, механик – по отношению к движению. В воображении одного свет и тени, в воображении другого скорое и медленное допускают такое точное сравнение и достигают такого равенства, которые недоступны суждениям наших чувств.

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

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

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

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

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

Но если эти идеи так смутны и неопределенны, то я охотно спросил бы любого математика, на чем основана его несокрушимая уверенность не только в более запутанных и темных положениях его науки, но и в самых обычных и очевидных ее принципах. Например, как он докажет мне, что две прямые линии не могут иметь некоторого общего им обеим отрезка или что невозможно провести между двумя точками больше одной прямой линии? Если бы он сказал мне, что эти мнения – очевидная нелепость, противоречащая нашим ясным идеям, я бы ответил следующим образом. Не отрицаю, что если две прямые линии наклонны друг к другу под заметным углом, то нелепо воображать, будто они могут иметь некоторый общий отрезок. Но если предположить, что две линии на протяжении двадцати лиг приближаются друг к другу на дюйм, то я не вижу нелепости в утверждении, что при соприкосновении они сольются воедино. Ибо скажите, прошу вас, на основании какого правила или образца вы выносите суждение, когда утверждаете, что линия, в которой они, по моему предположению, сливаются, не может быть такой же прямой, как те две линии, которые образуют столь небольшой угол? У вас, конечно, должна быть некоторая идея прямой линии, с которой данная линия не согласуется. Вы, быть может, хотите сказать, что точки в ней расположены не в том порядке и не в соответствии с тем правилом, которые составляют отличительную особенность прямой линии и существенны для нее? Если так, то я должен сообщить вам следующее: высказывая подобное суждение, вы, во-первых, допускаете, что протяжение составлено из неделимых точек (а это, быть может, больше, чем вы намерены допустить). Кроме того, я должен сообщить вам, что и эта [ваша идея] не тот образец, на основании которого мы составляем идею прямой линии, а если бы она даже и была таковым, то ни нашим чувствам, ни нашему воображению недостает надлежащего постоянства для определения того, когда указанный порядок нарушается и когда он сохраняется. Первоначальным образцом прямой линии в действительности является не что иное, как некоторый общий образ; и очевидно, что прямые линии могут сливаться друг с другом и тем не менее соответствовать этому образцу, хотя бы и исправленному с помощью каких угодно реально применяемых или воображаемых способов.

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

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

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