12. Наблюдая, каким путем идеи становятся общими, мы всего лучше можем судить о том, каким образом становятся такими же слова. Здесь можно заметить, что я абсолютно отрицаю существование не общих идей, а лишь абстрактных общих идей, ибо в приведенных нами местах, где упоминаются общие идеи, везде предполагается, что они образованы посредством абстрагирования способом, указанным в §8 и 9. Между тем если мы хотим связать с нашими словами некоторый смысл и говорить лишь о том, что мы можем мыслить, то мы должны, я полагаю, признать, что известная идея, будучи сама по себе частной, становится общей, когда она представляет или заменяет все другие частные идеи того же рода. Чтобы пояснить это примером, предположим, что геометр показывает способ разделения линии на две равные части. Он чертит, например, черную линию длиной в дюйм; эта линия, будучи сама по себе частной линией, тем не менее обща в отношении ее значения, как она тут употребляется, потому что она представляет собой все какие бы то ни было частные линии; так что то, что доказано о ней, доказано о всех линиях, или, другими словами, о линии вообще. И как эта частная линия становится общей, употребляясь в качестве знака, так и имя «линия», будучи само по себе частным, сделалось общим через употребление его как знака. И как первая идея обязана своей общностью не тому, что она служит знаком абстрактной, или общей, линии, а тому, что она есть знак для всех частных прямых линий, которые только могут существовать, также должно мыслить, что и общность последнего произошла от той же самой причины, а именно от разнообразных частных линий, которые он безразлично обозначает.

13. Чтобы сообщить читателю более ясный взгляд на природу абстрактных идей и на то употребление, ради которого они считаются необходимыми, я приведу еще следующее место из «Опыта о человеческом разуме»:

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

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

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

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

16. Но тут возникает вопрос, каким образом мы можем знать, что данное предложение истинно о всех частных треугольниках, если мы не усмотрели его сначала доказанным относительно абстрактной идеи треугольника, одинаково относящейся ко всем треугольникам. Ибо из того, что была указана принадлежность некоторого свойства такому-то частному треугольнику, вовсе не следует, что оно в равной мере принадлежит всякому другому треугольнику, который не во всех отношениях тождествен с первым. Если я доказал, например, что три угла равнобедренного прямоугольного треугольника равны двум прямым углам, то я не могу отсюда заключить, что то же самое будет справедливо о всех прочих треугольниках, не имеющих ни прямого угла, ни двух равных сторон. Отсюда, по-видимому, следует, что для того, чтобы быть уверенными в общей истинности этого предложения, мы должны либо приводить отдельное доказательство для каждого частного треугольника, что невозможно, либо раз навсегда доказать его для общей идеи треугольника, которой сопричастны безразлично все частные треугольники и которая их все одинаково представляет. На это я отвечу, что, хотя идея, которую я имею в виду в то время, как произвожу доказательство, есть, например, идея равнобедренного прямоугольного треугольника, стороны которого имеют определенную длину, я могу тем не менее быть уверенным в том, что оно распространяется на все прочие прямолинейные треугольники, какой бы формы или величины они ни были, и именно потому, что ни прямой угол, пи равенство или определенная длина двух сторон не принимались вовсе в соображение при доказательстве. Правда, что диаграмма, которую я имею в виду, обладает всеми этими особенностями, но о них совсем не упоминалось при доказательстве теоремы. Не было сказано, что три угла потому равны двум прямым, что один из них прямой, или потому, что стороны, его заключающие, равной длины, чем достаточно доказывается, что прямой угол мог бы быть и косым, а стороны неравными, и тем не менее доказательство оставалось бы справедливым. Именно на этом основании я заключаю, что доказанное о данном прямоугольном равнобедренном треугольнике справедливо о каждом косоугольном и неравностороннем треугольнике, а не то, что доказательство относится к абстрактной идее треугольника. И здесь следует признать, что человек может рассматривать фигуру просто как треугольную, не обращая внимания на определенные свойства углов или отношения сторон. До этих пор он может абстрагировать; но это никогда не сможет послужить доказательством того, что он способен образовать противоречивую абстрактно-общую идею треугольника. Сходным образом мы можем рассматривать Питера [просто] как человека или как животное, не образуя вышеупомянутой абстрактной идеи человека или животного, когда не принимается во внимание то, что воспринимается[4].