5. Во-вторых, в отношении совместного существования у нас немного самоочевидных положений. Во-вторых, что касается совместного существования или такой необходимой связи между двумя идеями, которая, если предполагают, что в предмете есть одна из двух идей, необходимо требует и наличия другой, то ум непосредственно воспринимает такое соответствие или несоответствие лишь в отношении очень немногих идей. Поэтому мы обладаем лишь очень скудным интуитивным познанием такого рода, И нельзя найти очень много самоочевидных положений, хотя такие положения и есть. Так как, например, идея заполнения места, равного по величине объему, ограниченному поверхностями тела, связана с нашей идеей тела, то, я думаю, будет самоочевидным положение «два тела не могут находиться в одном и том же месте».
6. В-третьих, что касается других отношений, то мы можем иметь такие положения. В-третьих, что касается отношений модусов, то математики составили много аксиом для одного только отношения равенства, например «если от равных величин отнять поровну, то остатки будут равны». Хотя положения такого рода принимаются у математиков за максимы и представляют собой бесспорные истины, однако, я думаю, по рассмотрении их окажется, что их самоочевидность не яснее, чем самоочевидность положений «один да один — два», «если отнять от пяти пальцев одной руки два пальца и от пяти пальцев другой руки два пальца, то оставшиеся числа будут равны». Кроме указанных для чисел можно найти тысячу других подобных положений, которые заставляют согласиться с собой тотчас же, как их услышат, и обладают не меньшей, если не большей, ясностью, чем указанные математические аксиомы.
7. В-четвертых, о реальном существовании у нас нет таких положений. В-четвертых, что касается реального существования, то так как оно не находится в связи ни с какой другой нашей идеей, кроме идеи нас самих и идеи наивысшего существа, то относительно реального существования всех других вещей у нас нет даже демонстративного познания, не говоря уже о самоочевидном познании, а потому нет и максим относительно него.
8. Эти аксиомы оказывают небольшое влияние на остальное наше познание. Рассмотрим далее, какое влияние оказывают эти признанные максимы на другие части нашего познания. Установившееся у схоластов убеждение, будто всякое рассуждение исходит ex praecognitis et praeconcessis[346], по-видимому, кладет эти максимы в основание всего нашего остального познания и признает их за praecognita. При этом, на мой взгляд, имеются в виду две вещи: во-первых, что эти аксиомы суть первые истины, известные нашему уму; во-вторых, что от них зависят другие части нашего познания.
9. Потому что они не первые известные нам истины. Во-первых, что это не первые известные уму истины, очевидно из опыта, как мы показали в другом месте (кн. I, гл. 2). Кто же не замечал, что ребенок прекрасно знает, что чужая женщина не его мать, что соска не розга, задолго до того, как ему станет известно, что одна и та же вещь не может быть и не быть. Со сколькими очевидными истинами относительно чисел ум хорошо знаком и вполне в них убежден до того, как он начинает думать об общих максимах, к которым математики иногда относят эти истины в своих доказательствах! Причина этого совершенно ясна. Так как соглашаться с подобными положениями ум заставляют лишь его восприятия соответствия или несоответствия его идей сообразно тому, утверждают ли или отрицают друг друга идеи в понятных уму словах, и так как о каждой идее известно, что она есть то, что она есть, и о каждых двух отличных друг от друга идеях известно, что они не тождественны, то отсюда с необходимостью следует, что первыми должны стать известны такие самоочевидные истины, которые состоят из идей, появляющихся в уме первыми. А первыми являются в уме, это ясно, идеи отдельных вещей, от которых разум постепенно переходит к немногим общим идеям, причем эти последние берутся от привычных и знакомых нам чувственных предметов и утверждаются в уме вместе со своими общими названиями. Таким образом, первыми воспринимаются и различаются единичные идеи, и относительно них этим приобретается познание; за ними следуют менее общие, или видовые, идеи, которые всего ближе к единичным идеям, ибо отвлеченные идеи не так очевидны или легки для детей или для неопытного еще ума, как идеи единичные. Если они кажутся таковыми людям взрослым, то лишь вследствие постоянного и привычного их употребления; ибо при внимательном размышлении об общих идеях мы найдем, что они суть фикции и выдумки ума, которые заключают в себе трудности и появляются не так легко, как мы склонны думать. Например, разве не нужны усилия и способности, чтобы составить общую идею треугольника? (А она еще не принадлежит к числу наиболее отвлеченных, широких и трудных идей.) Ибо она не должна быть идеей ни косоугольного, ни прямоугольного, ни равностороннего, ни равнобедренного, ни неравностороннего треугольников; она должна быть всеми ими и ни одним из них в одно и то же время. На деле она есть нечто несовершенное, что не может существовать, идея, в которой соединены части нескольких различных и несовместимых друг с другом идей[347]. Правда, при своем несовершенном состоянии ум имеет потребность в таких идеях и всячески стремится к ним для удобства взаимопонимания и расширения познания, ибо он по своей природе очень склонен к тому и другому. Но есть основание видеть в таких идеях признаки нашего несовершенства. По крайней мере это в достаточной степени показывает, что прежде всего и легче всего ум знакомится не с самыми отвлеченными и общими идеями и что не к ним относится его самое раннее познание.
347
В данном рассуждении речь идет о получении не общего понятия «треугольник», а общего представления о треугольнике. Терминологическую неточность, допускаемую здесь Локком, использовал Д. Беркли в своей критике абстрактных понятий (см.: