L'Isagoge est une introduction aux catégories d'Aristote. Porphyre (environ 233-310 apr. J.-C.) y définit les cinq prédicables : genre, espèce, différence, propre et accident et formule ce qui, grâce à Boèce, deviendra le principal problème logique et métaphysique du Moyen Age occidental : la querelle des universaux.