Трактат о человеческой природе

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

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

Куда бы ни обратились математики, они всегда наталкиваются на следующую дилемму. Если они судят о равенстве или о каком-нибудь другом соотношении с помощью непогрешимого и точного мерила, т. е.