Понимание локковской теории образования абстракций облегчается сопоставлением его классификации идей с характерными для «Опыта» основными способами образования производных (от исходных эмпирических) идей, которые фигурируют в нижней части вышеприведенной схемы как «соединение идей», «сравнение идей», «отвлечение или обобщение» или, короче, «обобщение идей». Прежде всего обратим внимание на тот факт, что в четвертом издании «Опыта» Локк видоизменил классификацию идей.
Если в первом издании классификация идей имела следующий вид:
I — Простые идеи
II — Сложные идеи:
а) модусы,
б) субстанции,
в) отношения,
то в четвертом издании она выглядит так:
I — Простые идеи
II — Сложные идеи
III — Идеи отношений
IV — Общие идеи
Примечательны как совпадения, так и различия в этих классификациях. Совпадение прежде всего обнаруживается в признании простых идей эмпирическим фундаментом всего человеческого знания независимо от того, получены ли эти идеи из внешнего или из внутреннего опыта. Общим является также признание сложных идей как результата модификации того содержания, которое заключено в простых идеях. При этом для Локка характерна тенденция переноса из современной ему механико-математической методологии науки объяснения отношения сложного к простому (тела как механические комбинации атомов) в решение теоретикопознавательной проблемы отношения сложных идей к простым: «…способности человека и образ их действия почти одинаковы в материальном и интеллектуальном мире. Так как материалы в том и другом мире таковы, что не во власти человека их создавать или уничтожать полностью, все то, что он может делать, — это или соединять их вместе, или сопоставлять их друг с другом, или совершенно отделять их» (6, т. I, стр. 181).
Однако Локк понимал, что сложные идеи материальных тел, идеи отдельных материальных субстанций не могут быть получены в результате чисто механического суммирования простых идей, представляющих или репрезентирующих свойства вещей, данные человеку посредством ощущений. Вот почему в четвертом издании «Опыта» наряду с классом сложных идей вводятся два дополнительных класса идей, производных от простых, — идеи отношений и общие идеи. Новая классификация идей отражала стремление Локка выявить такое содержание в производных идеях, которое невозможно свести к простым идеям путем аналитического разложения производных идей. Такой подход к производным идеям, непосредственно связанный с концептуализмом Локка, — общее в знании есть продукт деятельности разума — отнюдь не устранял аналитико-номиналистическую тенденцию объяснения содержания производных идей. Аарон, отмечая изменения в классификации идей, вместе с тем подчеркивает, что в четвертом издании «Локк не переработал вторую книгу „Опыта“ в соответствии с новой классификацией» (43, стр. 113). А это свидетельствует о том, что сохраняется и такой подход к производным идеям, в соответствии с которым они могут пониматься как простые суммы или, употребляя термин Аарона, «композиции» простых идей.
Это реальное противоречие в теории познания Локка дает ключ к объяснению и противоречий процесса образования абстракций. Явственно это обнаруживается при сопоставлении способов образования производных идей путем их соединения и путем их обобщения. В «Опыте» именно способ — «обобщение» определяется как такой, который является синонимом абстрагирования: «…ум обобщает отдельные идеи, полученные от отдельных объектов, рассматривая их так, как они являются в уме, в обособлении от всего остального сущего и от условий реального сосуществования, как время, место или другие сопутствующие идеи. Это и называется абстрагированием, при помощи которого получаемые от отдельных вещей идеи становятся общими представителями всех предметов одного и того же рода» (6, т. I, стр. 176–177).