УНИВЕРСАЛИИ (лат. universalis — всеобщий) — термин, применявшийся в средневековой логике для обозначения общих понятий, общих идей. В IX — XIV вв. происходил так называемый спор об универсалиях между сторонниками «реализма» (см.) и сторонниками «номинализма» (см.) по вопросу о том: существуют ли реальные прообразы общих понятий?
Наиболее последовательные реалисты, которых называли крайними «реалистами», заявляли, что универсалии существуют реально и предшествуют возникновению единичных вещей. Родоначальником крайнего «реализма» был Иоанн Скот Эриугена (815—877). Но некоторые «реалисты», которых называли умеренными, считали, что универсалии бывают трех видов: 1) универсалии, находящиеся в божественном разуме и существующие до единичных вещей; 2) универсалии, существующие как общее в самих единичных вещах и 3) универсалии, существующие в разуме человека, т. е. после вещей. Умеренного «реализма» придерживался вслед за Ибн Синой и Ибн Рушдом итальянский теолог Фома Аквинский (1225—1274).
В противоположность «реалистам» номиналисты отвергали существование универсалий до вещей и вне вещей. Они утверждали, что в мире существуют только единичные вещи, обладающие индивидуальными качествами. Универсалии же — это плод нашего мышления, они не отражают качеств вещей. В номинализме, как и в «реализме», было несколько направлений. Одно из них называлось крайним номинализмом. Оно было представлено французским схоластом Росцели-ном (ок. 1050 — ок. 1120), утверждавшим, что универсалии — это пустой звук; шотландским философом Дунсом Скотом (ок. 1265—1308) и английским философом У. Оккамом (ум. ок. 1349). Второе направление в номинализме было представлено французским философом и теологом П. Абеляром (1079—1142), Жиль-бером Порретанским и Джоном из Солсбери (ок. 1115 — ок. 1180), которые, отрицая реальное существование универсалий до и после единичных вещей, полагали, что универсалии — это возникшие в уме до всякого опыта общие понятия (концепты), которые выполняют роль особой формы познания. Данное направление в номинализме поэтому вошло в историю логики под названием концептуализма (см.).
В современную эпоху «реалистические» концепции широко распространены в буржуазной философии. Так, неореалисты признают объективное существование логических форм, критические реалисты ставят между объектом и познающим субъектом особого «посредника», которого они называют содержанием сознания. Номиналистические тенденции характерны, напр., для неопозитивистов, которые объявляют псевдопроблемами научные философские проблемы, поскольку-де вообще не существует общего. В современной математике спор между «реалистами» и номиналистами принял вид спора между платонистами и номиналистами. Первые считают возможным существование любых абстрактных объектов, вторые отрицают существование каких-либо абстрактных объектов. В действительности же в науке, как об этом говорила С. А. Яновская [1570, стр. 93], допустимы такие абстрактные объекты, которые можно (хотя бы в некоторых, практически важных, случаях) «удалить»: наполнить их конкретным содержанием. Спор между платонизмом и номинализмом, в котором затрагивается весь круг вопросов о сущности математических абстракций, по справедливому замечанию С. А. Яновской, лишний раз свидетельствует о том, что «неправы ни те, ни другие; что важнейшую роль для науки играет диалектическое единство абстрактного и конкретного, основанное на материалистическом критерии практики».