Cinq universaux

En logique, les cinq universaux sont les cinq prédicables qui, d'après Porphyre de Tyr^[1], constituent les différentes manières, pour un prédicat, de convenir à un sujet et dont la distinction est la condition d'une bonne définition.

Les cinq universaux sont : selon l'extension, le genre (genos) et l'espèce (eidos) ; et, selon la compréhension, la différence (diaphora), le propre (idion) et l'accident (sumbebekos). Une bonne définition fait intervenir trois des cinq universaux : le genre, l'espèce et la différence. Elle se fait par le genre prochain et la différence spécifique.

Ils dérivent probablement des quatre universaux d'Aristote, ou plutôt des quatre sortes de propositions qu'il distingue dans les Topiques (I, 4): genre, espèce, propre et accident^[1].

Les cinq universaux sont aussi dits les prédicables ou les quinque voces ou les modi praedicandi dans la philosophie scolastique, notamment chez Saint Thomas d'Aquin dans son ouvrage De ente et essentia ; l'étant et l'essence composé entre 1252 et 1256.