Universals

 (del llatí universalis, derivat de universum, el conjunt de totes les coses, al que en grec correspon to holon,τόὅλον)

Per a Aristòtil (veure cita) universal, en sentit lògic, és el que s'afirma de molts individus i, en sentit metafísic, l'universal (καθόλου) és el comúna tots (κατἀπαντός) (veure cita). Però en realitat afirma que és comuna i que no ho és, la qual cosa equival de fet a dir que, encara que és comuna, existeix (és entitat) en els individus d'alguna manera (veure cita). «Home» és, en efecte, un universal amb el qual nomenem l'espècie humana; però en l'individu humà existeix l' ànima, que és la forma substancial (l'espècie) d'home. Quina classe de realitat -entitat-, doncs, li correspon a universal? D'això tracta la disputa dels universals.

Els filòsofs escolàstics els denominaven també predicables, perquè els consideraven a manera de classes universalísimas al fet que pot reduir-se tot predicat.

Enunciat universal és aquell que el seu subjecte es refereix a la totalitat de membres d'una mateixa classe («Tot S és P»), a diferència dels enunciats particulars («algun S és P»), que es refereixen a part del conjunt de membres, i que en la lògica moderna reben el nom d'enunciats existencials (amb el sentit d' «almenys existeix un x tal que...»), i dels enunciats singulars («aquest S és P»), que es refereixen a classes amb un únic element, com, per exemple, «Sòcrates és fill de Sofronisca».

Veure enunciats categòrics.