Наиболее важным моментом рассматриваемого периода принято считать относящееся к XI–XII вв. начало борьбы номинализма и реализма, в которой приняло участие несколько поколений средневековых ученых. Спор этот восходит еще к античной эпохе, и сущность его состоит в том, соответствуют или нет общим понятиям (универсалиям) какие-либо действительные явления. Теоретическим источником его послужило сочинение позднеантичного автора Порфирия (ок. 233–204), указывавшего, что для правильного понимания категорий Аристотеля необходимо знать, что такое род и вид, что такое различающий признак, собственный признак и привходящий признак, причем сам Порфирий отказался от однозначного разрешения данной проблемы: «Я буду избегать говорить относительно родов и видов, – существуют ли они самостоятельно, или же находятся в одних и тех же мыслях, и если они существуют, то тела ли это или бестелесные вещи, и обладают ли они отдельным бытием, или же существуют в чувственных предметах и опираясь на них: ведь такая постановка вопроса заводит очень глубоко и требует другого, более обширного исследования».
Кроме сочинения самого Порфирия, использовались участниками спора также комментарии к нему и к Аристотелю, автором которых был Боэций. Начало дискуссии связывают с именем Росцелина из Компьена (1050–1120), который выступил с утверждением, что действительным объективным существованием обладают только единичные вещи, тогда как общие понятия, т. е. универсалии, – это только имена (по-латыни nomina – отсюда и название всего направления). Из этого Росцелин делал вывод, что универсалии представляют собой просто «звуки голоса», лишь весьма косвенно связанные с самими вещами. Роды, виды и категории, согласно Росцелину, выражают не отношение вещей, а служат исключительно для классификации одних только слов. Лишь язык позволяет создать отвлеченные слова типа «белизна», которое, в сущности, ничего не выражает, поскольку в действительности могут существовать только белые предметы. Точно так же понятие «человек» имеется лишь в языке, тогда как в действительности могут существовать лишь отдельные люди (Сократ, Платон и др.).
Поскольку выводы Росцелина в определенной степени приводили к противоречию с некоторыми из церковных догматов (например, когда речь шла о сущности Троицы), они вызывали резкие возражения со стороны ортодоксальных католических философов. Особенно резко выступили против них Ансельм Кентерберийский (1033–1109) и Гильом из Шампо (ок. 1068–1121), представлявшие так называемое реалистическое направление. Согласно последнему, универсалии являются абсолютно реальными, и каждая из них целиком и полностью