она там находится; поэтому истинность какого-нибудь общего положения не могла бы быть познана с большей достоверностью или каким-либо образом увеличена. Таким образом, в отношении тождества наше интуитивное познание простирается так же далеко, как и наши идеи. Мы способны составить столько же самоочевидных положений, сколько у нас есть названий для отличных друг от друга идей. И я апеллирую к уму каждого: разве положение «круг есть круг» не является столь же самоочевидным, как и состоящее из более общих терминов положение «все, что есть, есть», и разве положение «синее не красное» не является столь же несомненным для ума (как только будут поняты слова), как и аксиома «невозможно, чтобы одна и та же вещь была и не была»? Точно так же обстоит дело и со всеми подобными положениями.

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

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

==72

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

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

й 8. Эти аксиомы оказывают небольшое влияние на остальное наше познание. Рассмотрим далее, какое влияние оказывают эти признанные максимы на другие части нашего познания. Установившееся у схоластов убеждение, будто всякое рассуждение исходит ex praecognitis et praeconcessis 28, по-видимому, кладет эти максимы в основание всего нашего остального познания и признает их за ргаеcognita. При этом, на мой взгляд, имеются в виду две вещи: во-первых, что эти аксиомы суть первые истины, известные нашему уму; во-вторых, что от них зависят другие части нашего познания.

9. Потому что они не первые известные нам истины. Во-первых, что это не первые известные уму истины, очевидно из опыта, как мы показали в другом месте (кн. I, гл. 2). Кто же не замечал, что ребенок прекрасно знает, что чужая женщина не его мать, что соска не розга, задолго до того, как ему станет известно, что одна и та же вещь не может быть и не быть. Со сколькими очевидными истинами относительно чисел ум хорошо знаком и вполне в них убежден до того, как он начинает думать об общих максимах, к которым математики иногда относят эти истины в своих доказательствах! Причина этого совершенно ясна. Так как соглашаться с подобными положениями ум заставляют лишь его восприятия соответствия или несоответствия его идей сообразно тому, утверждают ли или отрицают друг друга идеи в понятных уму словах, и так как о каждой идее известно, что она есть то, что она есть, и о каждых двух отличных друг от друга идеях известно, что они не тождественны, то отсюда с необходимостью следует, что первыми должны стать известны такие самоочевидные истины, которые состоят из идей, появляющихся в уме первыми. А первыми являются в уме, это ясно, идеи отдельных вещей, от которых разум постепенно переходит к немногим общим идеям, причем эти последние берутся от привычных

==73

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

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

==74

доказать это; и они знают это так же достоверно, как кто-нибудь другой знает, что «целое равно всем своим частям» или какую-нибудь другую максиму. У тех и других одинаковое основание — самоочевидность, ибо равенство указанных идей и без всяких аксиом так же явно и достоверно для людей, как при их посредстве, и не нуждается ни в каком доказательстве, чтобы быть воспринятым. И после того, как узнали, что целое равно всем своим частям, люди знают, что один да два — три нисколько не лучше и не достовернее прежнего, ибо если между обеими идеями и есть различие, то идеи целого и частей менее ясны или по крайней мере с большим трудом закрепляются в уме, чем идеи единицы, двух и трех. И мне кажется, я могу предложить тем, кто полагает, что всякое познание, кроме познания самих этих общих принципов, непременно зависит от общих, врожденных и самоочевидных принципов, следующий вопрос: «А какой принцип необходим для доказательства того, что один да один — два, что два да два — четыре, что трижды два шесть?» Так как это известно и без доказательств, то тем самым наглядно показывается, что либо не всякое познание зависит от известных praecognita, или общих максим, носящих название «принципов», либо это и есть принципы. А если их считать принципами, то таковыми окажется большая часть счисления. Если прибавить сюда все возможные самоочевидные положения о всех наших отличных друг от друга идеях, то число принципов, к познанию которых люди приходят в различном возрасте, станет почти бесконечным, по меньшей мере неисчислимым; а между тем очень большую часть таких врожденных принципов люди не узнают никогда во всю свою жизнь. Но появляются ли они в уме раньше или позже, относительно всех их верно то, что они становятся известными благодаря своей естественной очевидности, что они совершенно независимы, не разъясняют друг друга и вовсе не являются доказательством друг для друга; и всего менее могут быть доказаны более частные положения из более общих или более простые из более сложных, потому что более простые и менее отвлеченные больше всего нам знакомы и постигаются легче и раньше. Но какие бы идеи ни являлись наиболее ясными, очевидность и достоверность всех таких положений состоит в том, что человек видит тождественность каждой идеи с самой собой и безошибочно воспринимает различие двух различных идей. Когда в разуме какого-нибудь человека находятся идеи единицы и двойки или идеи желтого и синего, то он не может не знать с досто-

==75

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