Униве́рсум (лат. universum, «совокупность, общность» или лат. summa rerum «совокупность всего», «мир как целое», «всё сущее») — в философии — совокупность объектов и явлений, рассматриваемая в качестве единой системы, как объективная реальность во времени и пространстве. В общем смысле тождествен термину «Вселенная»[1][2][3][4][5][6].
В логике универсумом называется множество (род) предметов, из которого в соответствии с заданным признаком, выделяется множество (вид) предметов, представляющее собой объём понятия[7].
Древнегреческие философы-атомисты понимали универсум как множество неисчислимых пребывающих и разрушающихся миров, возникающих из движения материи[1].
Древнегреческий философ-идеалист Платон отрицал утверждение атомистов о множественности миров, отождествляя универсум с видимым миром, (см. Соч., т. 3, ч. 1, М., 1971, с. 497—98)[1].
Немецкий философ и математик Готфрид Лейбниц полагал, что универсум это «множество всех возможных миров», из которых лишь один — наш мир — реален, а все остальные возможно осмыслить только логическим путём, то есть непротиворечивым образом представляя возможные факты или связи вещей. Именно с этим толкованием универсума было связано понятие об «описаниях состояния» (как вероятных мирах) в логической семантике и модальной логике[1].