Реалистическая теория понятий утверждает, что общее в вещах и мышлении непроизводно. Если это верно, то все теории, пытающиеся произвести общее из необщего, должны или заключать в себе petitio principii или отодвигать проблему в бесконечность. Крайний номинализм, как показано выше, заключает в себе эти недостатки. Теперь для окончательного утверждения реализма мы должны показать, что и все формы концептуализма и умеренного номинализма грешат тем же.
Согласно учению концептуализма, в вещах общего нет, но в мышлении оно существует (общие представления и понятия) и возникает из необщего (единичные представления). Элементарные учебники психологии и логики утверждают, что для возникновения общих представлений из единичных необходимы и достаточны три познавательные деятельности: сравнение (усмотрение сходного и различного), отвлечение (сосредоточение внимания на отдельных различенных сторонах предмета) и обобщение (сочетание одних лишь сходных признаков). Излагается этот процесс обыкновенно так, как будто объяснение его не представляет никаких затруднений. Нам говорят, напр., что общее представление дома получается из единичных представлений следующим образом: как бы ни были разнообразны дома по архитектуре, материалу, постройке, величине, всё же у всякого дома есть крыша, окна, двери и т. п.; отвлекая эти признаки, присущие всем домам, мы получаем общее представление дома. Крайняя простота этого объяснения наводит на мысль, что в нём кроется какой-нибудь недочет, и в самом деле этот недочет обнаружить нетрудно: крыша, окно, дверь и т. п. как признаки, присущие всем домам, суть уже общие, а вовсе не единичные представления, следовательно, ссылаясь на них, нам показали только, как из сравнительно простых общих представлений можно составить более сложное общее представление, нам показали, как из кирпичей можно сложить стену, между тем вопрос о том, как впервые возникли общие представления из необщих, как возникли кирпичи, остался вовсе не разрешенным, и разрешить его этим путём нельзя: в самом деле, это объяснение заключает в себе petitio principii, а если для устранения его мы станем объяснять возникновение общих представлений крыши, окна и т. п. тем же способом (ссылкою на сравнение, отвлечение, обобщение), то получится новое petitio principii, для устранения которого придётся прибегнуть к тем же размышлениям и т. д. до бесконечности.
Элементарное изложение концептуализма слишком грубо обнаруживает недостатки этой теории. Возможна и такая постановка вопроса, при которой они глубоко скроются. Можно утверждать, что различные вещи (и представления) содержат в себе элементы неразличимо-сходные (одинаковые) по содержанию, но численно различные (в этом смысле они не тожественны, так что единого во многом в вещах нет); отвлекая эти элементы из единичных представлений, мы получаем представление (или понятие), служащее заместителем (концептуалистическая теория замещения) или представителем (концептуалистическая теория представительства) многих единичных представлений. Эта теория опирается на понятие неразличимо сходных, т. е. одинаковых по содержанию, но численно различных элементов. Но здесь является вопрос, возможно ли существование одинаковости содержания без тожества содержания в каком-либо отношении. На этот вопрос приходится ответить, что понятие одинаковости и даже вообще понятие сходства неизбежно ведёт к ссылке на понятие тожества или, в случае нежелания прибегнуть к этому понятию, заключает в себе бесконечно повторяющуюся проблему. Husserl в своих "Logische Untersuchungen" говорит об этом следующее: "Везде, где есть одинаковость, есть такие тожество в строгом и истинном смысле этого слова. Мы не можем называть две вещи одинаковыми, не указывая той их стороны, с которой они одинаковы. Той стороны, сказал я, и здесь-то и заключается тожество. Всякая одинаковость имеет отношение к роду, которому подчинены сравниваемые вещи, и этот род не есть только нечто опять-таки лишь одинаковое с обеих сторон, так как в противном случае возникал бы противоречивый regressus in infinitum (регресс в бесконечность). Обозначая сравниваемую сторону, мы указываем с помощью более общего родового термина тот круг специфических различий, в котором находится тожественная сторона сравниваемых вещей. Если две вещи одинаковы со стороны формы, то соответствующий род формы есть тожественный элемент в них; если они одинаковы со стороны цвета, то в них тожествен род цвета и т. д. Правда, не всякий род может быть обозначен точно словами, и потому нередко мы не находим подходящего выражения для обозначения сравниваемой стороны вещей, иногда нам трудно бывает ясно указать её; тем не менее мы имеем её в виду, так что она определяет наше утверждение одинаковости вещей. Если бы кто-либо, хотя бы только в отношении к чувственной стороне восприятий, стал определять тожество как пограничный случай одинаковости, то это было бы извращением истинного отношения между понятиями. Не одинаковость, а тожество есть нечто абсолютно неопределимое. Одинаковость есть отношение предметов, подчинённых одному и тому же роду. Если бы не могло быть речи о тожестве рода, о той стороне, с которой существует одинаковость, то не могла бы быть и речи об одинаковости" [CCXCVIII].
Можно попытаться спастись от этих соображений ссылкою на то, что сходное не имеет никакого отношения к тожеству, так как неразличимо сходное является таковым для нас, а в действительности оно заключает в себе различия. Однако это возражение недопустимо в имманентной теории знания, не раздваивающей мира на представления о вещах и действительные вещи: то, что представляется как не различающееся между собою, и на самом деле есть не различное, а тожественное; если же дальнейшее исследование вскроет различие там, где мы раньше видели только тожество, то от этого тожество не перестанет быть тожеством, оно только дополнится при этом усмотренными различиями.
Пользуясь аргументациею, аналогичною той, к которой прибегнул Husserl для опровержения юмовской теории различения признаков вещей [CCXCIX], можно указать ещё один недостаток, присущий всем концептуалистическим теориям и состоящий опять-таки в том, что проблема оказывается или бесконечною, или для окончания её нужно прибегнуть к реализму. Сходство (при численном различии, при отсутствии тожества) не может быть последним основанием для возникновения общего представления уже потому, что всякая вещь сходна со многими другими вещами в различных отношениях. Положим, вещь a сходна с вещами b, c и d в одном отношении и с вещами k, l и m в другом отношении, так что a, b, c и d составляют один класс и a, k, l, m другой класс; если классы образуются на основании чувства сходства, то следовательно, относя вещь a в одном отношении к первому классу, а в другом ко второму, я должен различать два разные чувства сходства, два разные круга сходств, т. е. должен уже иметь классификацию сходств; по поводу этой классификации является вопрос, откуда она возникла, и если в ответе на это мы опять сошлемся на чувство сходства, то проблема окажется бесконечною; если же во избежание бесконечности мы сошлемся где-либо на тожество, то концептуалистическая теория превратится в реалистическую.
Умеренный концептуализм и номинализм полагают, что роль общих представлений играют единичные представления, в которых благодаря способности отвлечения выдвинуты на первый план признаки, сходные с признаками других вещей, входящих в класс. Поскольку эти теории прибегают к понятию сходства, все недостатки крайнего концептуализма, перечисленные выше, присущи им, а потому мы и не будем подвергать их специальному рассмотрению.
В заключение напомним опять, что концептуализм и умеренный номинализм, поскольку они считают общие представления заместителями или представителями единичных представлений, содержат в себе допущение возможности трансцендентного знания и, строго говоря, этого уже достаточно, чтобы отвергнуть подобные теории.
Нам остаётся теперь вернуться к реалистической теории общего, чтобы сделать из неё несколько выводов, необходимых для теории знания. Общее есть тожественное во многом; следовательно, общее находится в связи со многими существами, явлениями и т. п., но из этого вовсе не следует, будто оно повторяется, существует во многих экземплярах. Общее так же единично, как и индивидуальное. Различие состоит только в том, что общее есть многообъемлющая индивидуальность (Gesammtindividualitat), а индивидуальное в узком смысле этого слова есть неразложимый далее член (Gliedindividualitat) многообъемлющей индивидуальности. Так, напр., материя есть неповторимая в мире, существующая в единственном экземпляре, но многообъемлющая индивидуальность, а какой-нибудь кристалл горного хрусталя есть неповторимый индивидуальный член этой индивидуальности. В связи с этим необходимо признать, что и общие законы трактуют вовсе не о повторяющихся бесчисленное количество раз в одном и том же виде явлениях: событие, о котором говорит закон, есть нечто единственное в мире, множественность заключается не в нем, а в различных связанных с ним сопутствующих обстоятельствах, о которых мы и говорим, что в них осуществляется один и тот же закон.
