Это реальное противоречие в теории познания Локка дает ключ к объяснению и противоречий процесса образования абстракций. Явственно это обнаруживается при сопоставлении способов образования производных идей путем их соединения и путем их обобщения. В «Опыте» именно способ — «обобщение» определяется как такой, который является синонимом абстрагирования: «…ум обобщает отдельные идеи, полученные от отдельных объектов, рассматривая их так, как они являются в уме, в обособлении от всего остального сущего и от условий реального сосуществования, как время, место или другие сопутствующие идеи. Это и называется абстрагированием, при помощи которого получаемые от отдельных вещей идеи становятся общими представителями всех предметов одного и того же рода» (6, т. I, стр. 176–177).
Возникает естественный вопрос: на какие результаты предварительной познавательной деятельности опирается ум, когда он обобщает отдельные идеи, полученные от отдельных объектов? Так как идеи отдельных объектов, по Локку, получаются через соединение идей, то общей идее, например «лошади вообще», должно предшествовать возникновение идей эмпирически наблюдаемых «отдельных лошадей», собирание таких простых идей, которые по опыту и наблюдению чувств людей были восприняты сосуществующими вместе. Правда, в случае «соединения идей», замечает Локк, получаемые идеи эмпирически наблюдаемых субстанций (лошади, золота, воды и т. д.) «считаются проистекающими от особого внутреннего строения или неизвестной сущности данной субстанции» (6, т. I, стр. 301). Но ссылка на то, что эмпирически фиксируемые отдельные («данные») вещи (в буквальном смысле эмпирически данные субстанции) — это сумма идей плюс идея субстанции, как раз не уточняется в том отношении, что неясно, откуда идея субстанции возникает на эмпирическом уровне выделения объектов.
И. С. Нарский полагает, что в случае образования идей «золото», «человек» и т. д. через «соединение идей» естественно предположить, что «совокупность хотя бы некоторых признаков, отличающих данного человека от обезьяны, лошади и т. п., мыслилась Локком как то, что хотя бы предварительно может сыграть роль заместителя (т. е. представителя!) общей идеи „человек“, которая впоследствии будет образована» (30, стр. 104). Иными словами, в случае образования идей единичных материальных субстанций через «соединение идей» мы получаем первоначальную абстракцию. Важно и то, что при первом способе образования производных идей для того, чтобы какие-то идеи соединить или, что то же самое, какие-то признаки, вещи выделить, сохранить, необходимо другие идеи или признаки отбросить. Следовательно, уже при первом способе образования идей подразумевается использование «отвлечения» или «абстракции отбрасывания признаков». Поэтому получение идей путем обобщения, поскольку оно опирается на результаты получения идей способом их соединения, является способом получения идей через предшествующую абстракцию.
Способ образования производных идей через их сравнение также оказывается одной из предпосылок возможности осуществления обобщения, так как даже первоначально эмпирический уровень образования идей отдельных вещей в связи с операцией «отвлечения» от признаков, которые отбрасываются, предполагает сравнение идей (признаков). Для локковской теории образования абстракций, в особенности для развитой формы абстрагирования, т. е. для «обобщения», как раз «сравнение идей» как существенных и несущественных (будучи предпосылкой «обобщения») оказывается одним из ключевых затруднений. Это видно на примере сопоставления таких категорий, как «субстанция», «реальная сущность» и «номинальная сущность».
В «Опыте» субстанция рассматривается как в плане бытия, т. е. онтологически, так и в плане познания бытия, т. е. гносеологически. Онтологическому пониманию субстанции соответствуют ее определения как реального строения вещи, как «реальной сущности». «Под этой „реальной сущностью“, — отмечает Локк, — я подразумеваю реальное строение вещи, представляющее собой основание всех тех свойств, которые соединены в номинальной сущности» (6, т. I, стр. 438). Гносеологическому пониманию субстанции соответствует ее определение как номинальной сущности, под которой подразумевается отвлеченная идея (см. 6, т. I, стр. 439), фиксирующая в знании виды и роды ее материальных вещей.