Universumas (logika)

Universumas (lot. universum – pasaulis, visata) – logikoje objektų, kurie tiriami tam tikros teorijos ribose, tik jos priemonėmis, sritis. Nors dėl tyrimo priemonių ir uždavinių universalumo tiriamųjų objektų sritys (samprotavimo universumas) gali būti skirtingos, tačiau visada, kad būtų išvengta paradoksų, jos turi būti taip apibrėžtos, jog taikomas universumas nesutaptų su visų apskritai mąstomų objektų sritimi – filosofiniu universumu.