Можно ли говорить о номинализме или реализме применительно к аль-Фараби и ко всей линии восточной философии, идущей от него? Прежде всего само существо проблемы, как известно, восходит к Аристотелю. Аристотель подверг критике Платона за гипостазирование общих понятий как идеальных сущностей, «вечных идей», служащих прообразами для явлений материального мира, за отделение сущности от того, сущностью чего она является, за изолирование идей от чувственно воспринимаемого мира. И он же сам в конечном итоге «платонизирует», в понятиях «форма» и «форма форм» (=перводвигатель) воспроизводя черты «идеи».
В его философии есть сильнейшая материалистическая и эмпирическая тенденция в пользу первенства конкретных индивидуальных вещей и объективной реальности по отношению к идеям и знанию вообще. Есть момент абсолютно верного в признании единичного чувственно воспринимаемого явления генетически исходным моментом познания. Но если игнорируется процесс познания в целом, восхождение от созерцания к мысленнотеоретическому воссозданию реальности, единичное абсолютизируется как таковое, оно само превращается в неопределенную абстракцию. Действительное диалектическое единство единичного и общего раскрыл только марксизм.
В истории философии мы имеем дело с концепциями, поляризующими и разводящими крайности. Противореча самому себе, Аристотель утверждает, что чувственное знание собственно не знание, а мнение. В отношении чувственных вещей он считает невозможным ни определение, ни доказательство. Наука есть знание общего, вечного, не чувственного, а мыслительно постигаемого. Общее умом не «извлекается» из единичного, а как бы привносится, поскольку связано с умопостижением умопостигаемого.
В «Категориях» он в качестве единственно самостоятельных первых сущностей признает только единичные вещи. Общее, видовые и родовые характеристики, он считает вторичными сущностями. В «Метафизике» утверждается совершенно противоположное, что единичная вещь не может быть сущностью. К сущности Аристотель предъявляет два взаимоисключающих критерия: мыслимость и «способность к отдельному существованию». Компромисс между ними он находит в форме, которая представляет у него не всякое общее начало, а минимально общее, вид. Он впадает в идеализм, поскольку отдельное трактует как вторичное по отношению к общему. Но в отличие от Платона у него вид первичен и по отношению к более общему, роду.
Неоплатоник Порфирий поставил во введении к «Категориям» Аристотеля вопрос о самостоятельности существования «видов» и «родов». Вопрос приобрел остроту как вопрос о том, имеет ли общее онтологическое содержание, т. е. реальное существование. Его острота объяснялась специфическими идеологическими разногласиями в Западной Европе XI–XII вв., связанными с толкованием ряда догматов христианства.
В частности, проблема первородного греха и искупления вызывала потребность понять, как один человек оказывается «виновным» за всех и как другой человек способен один за все человечество искупить этот грех своей смертью. Существует ли человек вообще, человечество? Как понять триединство бога? Либо здесь имеются в виду три отдельные вещи, три бога, или одна вещь в различных проявлениях, сторонах, частях. Крайний номинализм отрицал существование общего не только в объективной действительности, но и в уме субъекта, утверждая, что реальны лишь единичные предметы. Крайний реализм утверждал, что общие понятия, идеи не только существуют самостоятельно, но и первичны по отношению к отдельным вещам. Антитеза номинализма и реализма была выражением борьбы материализма и идеализма.
Средневековый номиналист Росцелин (1050–1120) в противовес неоплатоническому представлению идей в качестве реальных сущностей выдвинул положение о том, что универсалия не подлинная сущность, что быть значит быть отдельным. Он отрицал существование единого человека как вида вне различающихся реальных людей.
Три лица Троицы для него различные субстанции. Специальным постановлением церковного собора в Суассоне в 1092 г. учение Росцелина о трехбожии было объявлено еретичным.