Смысл вопроса об «универсалиях», т. е. об общих понятиях, состоит в выяснении онтологического статуса общих понятий. Под общими понятиями подразумевались прежде всего категории (например – бытие, пространство, время), но не только и даже не столько, а именно обычные общие понятия, выражаемые на языке именами существительными. Так вот, вопрос об общих понятиях – это вопрос о понимании характера существования этих общих понятий. А это понимание имеет только два варианта: 1) общие понятия существуют онтологически реально, т. е. их бытие аналогично бытию вещей окружающего нас предметно-чувственного мира; 2) общие понятия существуют только в душе (= уме) человека и никакой онтологической реальностью не обладают, только психологической (в виде слов). Естественно, в средневековых размышлениях на эту тему сразу же выявились эти два основных понимания.

Анзельм Кентерберийский выразил убеждение в несомненной онтологической реальности общих понятий. Эта точка зрения получила название «реализм» (общие понятия существуют объективно реально). Сущность «реализма» выражалась формулой «universalia ante rem». Смысл формулы в том, что совокупность общих понятий есть исходная онтологическая реальность, а совокупность вещей предметно-чувственного мира есть следствие этой исходной реальности. Каждый класс вещей, подходящий под определённое общее понятие, есть тиражирование этого общего понятия и воплощение его, понятия, в материи, а всё практически безграничное количество вещей предметно-чувственного мира есть результат тиражирования всей совокупности общих понятий и воплощения их в вещественно-чувственном мире.

Вторая позиция в споре об «универсалиях» выражалась убеждением, что никакой онтологической реальностью общие понятия не обладают и поэтому никакого серьезного значения в познавательной деятельности человека они иметь не могут. Эта точка зрения получила название «номинализм» (от латинского «nomina» = имя). В этом названии подразумевается аналогия: как имя человека не выражает сущности человека, ибо даётся ему под воздействием случайных обстоятельств, так и словесное обозначение понятия не выражает сущности обозначаемых этим понятием предметов, а прикладывается к группе сходных предметов только лишь для отличия этой группы предметов от других групп, обозначаемых уже другими понятиями-именами. Роль понятия в познании та же самая, что и роль имени в человеческом быту – чисто условно-практическая, и только. Сущность «номинализма» выражалась формулой «universalia post rem». Смысл этой формулы в том, что вещи предметно-чувственного мира даются человеку как первичная данность, а понятия вырабатываются человеческим умом и затем прикладываются к вещам предметно-чувственного мира произвольно. Средневековый номинализм сформулирован был Росцелином (1050–1125) и через два с лишним столетия был возобновлен и окончательно утвержден в качестве гносеологической позиции Уильямом Оккамом (1300–1350).

Между этими двумя основными позициями в средневековом споре об «универсалиях» оказалась ещё одна позиция – промежуточная, компромиссная. Она пыталась совместить в себе особенности и реализма, и номинализма: внешне она напоминала реализм, но внутренняя её сущность была номиналистической.

Сформулировавший эту точку зрения Пьер Абеляр (1079–1142) рассуждал следующим образом. Общие понятия, конечно, существуют и потому имеют большое познавательное значение в умственной деятельности человека. Но существование общих понятий не следует понимать аналогичным существованию вещей предметно-чувственного мира. Они, общие понятия, существуют только в душах (= умах) людей. Не следует также понимать существование общих понятий в душах людей аналогичным существованию в душах людей представлений о вещах предметно-чувственного мира. Представления всегда понимаются как образы (= копии) вещей