Локк выделил три способа образования производных — сложных (complex) — идей. Из них первый заключается в суммировании в точном смысле слова, непосредственном соединении простых идей, т. е. образовании «сложенных» (collected) идей. Второй способ состоит в том, что простые идеи ставятся в различные соотношения друг с другом, сопоставляются или сравниваются. Второй способ, а затем и первый используются и как подчиненные звенья при осуществлении третьего способа образования производных идей. Но при этом между действием их «вклинивается» абстрагирование как отбрасывание неповторяющихся (или неполно и не во всех случаях повторяющихся) свойств. Первым способом образуются сложные идеи так называемых эмпирических субстанций, т. е. единичных вещей, «самостоятельных объектов». Этот способ применяется и при образовании «модусов», т. е. (в терминологии Локка) идей свойств, процессов и состояний предметов, иными словами, идей не самостоятельных, но от идей самих предметов зависимых. Вторым способом образуются идеи отношений, а третьим — идеи общих понятий. Все это нуждается в обсуждении.
Примеры, которые приводит Локк при объяснении первого способа образования произвольных идей, сразу же сталкивают с трудностями. Как оказывается, в состав многих «сложенных» идей входят такие простые, по определению, идеи, которые в действительности далеко не просты, и процесс поисков изначально простых составляющих уходит в бесконечность. Мы уже отметили, что Локк нередко затруднялся провести четкую границу между простыми и сложными идеями. Эта трудность не всегда была следствием собственно теоретической «нагруженности» эмпирических понятий; она проистекала и от естественной психологической структурности, казалось бы, бесструктурных, простых идей, а в конечном счете — от неисчерпаемой сложности любого материального объекта, в принципе несводимого к сумме простых идей. Не бывает и абсолютно единичных предметов, объективно лишенных связей с другими предметами своего класса.
Последняя трудность логически отразилась в том, что у самого Локка нередко оказывается непонятным, где же проходит граница между эмпирической субстанцией и родовой сущностью, а значит, общим понятием. Для того чтобы в мышлении эта граница была совершенно определенна, в содержание понятия данной эмпирической субстанции в отличие от понятия рода должны были бы быть включены все ее свойства (простые идеи), что ввиду неисчерпаемости последних невозможно. Где-то при их перечислении и суммировании приходится остановиться, и тогда понятие эмпирической субстанции начинает походить на общее понятие. Эту и подобные ей логические трудности можно преодолеть посредством критериального действия практики, но вводить практику в теорию познания Локк не пытался.
Идеи модусов, также образуемые, согласно Локку, сложением простых идей, делятся им на два вида — модусов «простых» (получаемых путем соединения однородных идей) и «смешанных» (возникающих через соединение разнородных идей). Последние бывают реальными, условными, мнимыми, творческими и фантастическими. Большой определенностью понятия модусов и вся их проблематика у Локка не отличаются: остается неясным их отношение к понятиям «свойство» и «атрибут».
Еще меньше ясности во втором способе образования производных идей и достигаемых им результатах. Лишь с большой натяжкой можно отнести «сопоставление» и «сравнение» к числу комбинирующих операций. К тому же эти две операции слишком широки, толковать их можно по-разному, а их объективная основа ясна далеко не во всех приводимых Локком примерах.
Вообще вопрос о том, что такое отношение, оказался для философии Локка трудным. Так, в черновых набросках «Опыта...» он включал в рубрику отношений идеи «времени», «пространства», «числа», но в окончательном варианте книги перенес их в состав модусов, и колебания его в этом вопросе не прекратились.
Третий способ образования сложных идей, т. е. обобщение через предшествующую абстракцию[73], разбирается в третьей книге «Опыта...», посвященной проблемам положительной и отрицательной роли языка в познании. Локк описывает этот способ на конкретном примере так: «Если из сложных идей, обозначаемых словами «человек» и «лошадь», исключить лишь особенности, которыми они различаются, удержать только то, в чем они сходятся, образовать из этого новую, отличную от других сложную идею и дать ей имя «животное», то получится более общий термин, обнимающий собой вместе с человеком различные другие существа»[74]. Здесь опять возникают трудности соотношения и разграничения понятии «данный человек», «человек» и «человек вообще» и «данная лошадь», «лошадь» и «лошадь вообще», поскольку ни одно из них не может обойтись без включения в свой состав некоторых уже как-то ранее полученных общих понятий (идей). Число предметов, сравниваемых для того, чтобы отбросить признаки, не характерные для класса эмпирических субстанций, общее понятие которого мы ищем, и собрать воедино характерные для этого класса признаки, чаще всего оказывается практически бесконечным. Кроме того, в принципе бесконечно, как мы отмечали в другой связи, число свойств, входящих в состав каждой из сравниваемых друг с другом эмпирических субстанций, и трудности нарастают. Попытка преодолеть их посредством «схватывания» только таких свойств, которые достаточны для того, чтобы распознать данное понятие и не спутать его с другими, лишь подчеркивает ненадежность и поверхностность таких обобщений.
Одна из трудностей состоит в том, что подъем на более высокие ступени обобщения обедняет содержание общих понятий, ибо приходится сравнивать единичные предметы более обширных, чем прежде, классов и при этом сравнении все меньшее число их свойств может быть сохранено для включения в состав искомой идеи. Возникает положение, которое в формальной логике именуется обратной зависимостью содержания от объема понятия. «...Каждый более общий термин обозначает такую идею, которая составляет лишь часть какой-нибудь из идей, им объемлемых»[75]. Отсюда вытекает, что обобщения высоких уровней абстрагирования делаются все менее содержательными. Это неприятное для научных теорий следствие могло бы быть частично преодолено и во времена Локка, если бы он указал, что во всех случаях образования общих идей рода он лишь условно отвлекается от конкретных особенностей, присущих отдельным видам или индивидам в составе видов, а окончательно и абсолютно от них не отрешается, в «снятом» виде их сохраняет. Но такого указания мы у него не найдем.
Классическим образцом диалектико-материалистического преодоления ситуации обеднения теоретических абстракций высоких уровней является «Капитал» К. Маркса. Расширяя и обогащая понятийный аппарат политической экономии, Маркс, во-первых, строго учитывал границы допустимого абстрагирования и тот определенный для данной науки предел его уровней, нарушение которого означало бы утрату специфики данного понятия. Во-вторых, образуя категории высоких уровней абстрагирования и большой общности, К. Маркс во многих случаях потенциально, а иногда и актуально сохранял в их составе признаки категорий более низких уровней. А вот действие закона стоимости в условиях конкуренции ведет к тому, что «отдельный капитал реально ставится в условия капитала вообще...»[76]. К. Маркс предупреждает также, что «определения, имеющие силу для производства вообще, должны быть выделены именно для того, чтобы из-за единства, которое проистекает уже из того, что субъект, человечество, и объект, природа, — одни и те же, не были забыты существенные различия (курсив наш.— И. Н.)»[77] действия производства в различные исторические эпохи.
С другой стороны, менее общие понятия бывают далеко не столь богаты содержанием по сравнению с более общими понятиями, чем это получалось у Локка. Так, например, понятие «человек-рантье» актуально не имеет в своем составе признаков «производить орудия труда» и вообще «трудиться», хотя эти признаки не только входят в состав понятия «человек вообще», но и образуют саму основу его содержания, поскольку последнее формулируется в отличие от еще более общего понятия «животное вообще».
Польза и необходимость применения Локковых приемов абстрагирования, вообще говоря, несомненны. Их употребляли и экономист Рикардо, и физик Ньютон. Но несомненна и их ограниченность. С их помощью было бы невозможно получить фундаментальное для политэкономии понятие «труд» как диалектически противоречивое единство абстрактного и конкретного труда, а равно и понятия «абстрактный труд» (в Марксовом смысле) и «конкретный труд». Локк, а вслед за ним Юм, Смит и Рикардо пользовались понятием «труд вообще», в котором полностью утрачивалась и совершенно нивелировалась конкретность видов труда, так что оно проходило мимо противоречия между трудом конкретным и абстрактным. Это малосодержательное понятие оставалось за порогом Марксова восхождения от абстрактного к конкретному.
Сам Локк до некоторой степени чувствовал узость своей теории абстрагирования и обобщения, что и проявилось в критике им познавательной ценности номинальных сущностей. Он признает, что при переходе от чувственного к рациональному уровню познания по рецептам его теории невозможно получить общие понятия «простая чувственная идея вообще» и «цвет (окраска) вообще»[78]. Признаки «простота» и «окрашенность» не могут быть уловлены при абстрагировании от содержания конкретных простых идей и идей различных цветов (красный, зеленый и т. д.), и приходится обращаться к косвенным описаниям (в случае цвета это то, что мы видим в теле за вычетом его форм, размеров и структур). Но даже и в тех случаях, когда такой рецепт кое-как позволяет обойти затруднение, угрожают подводные камни: непонятно происхождение оснований для предварительного определения границ круга объектов, сравниваемых друг с другом ради достижения общего понятия, и получается, что нам следует располагать общим понятием еще до того, как мы его получим. Это становится тем большей трудностью, что Локк не рассматривает различий между существенными и несущественными признаками.