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