Las categorías son el objeto de la metafísica, pero a lo largo de la historia de la filosofía siempre ha sido motivo de controversia la pregunta: ¿qué son las categorías? «Una categoría es todo aquello que es expresado por un término, simple o complejo, que puede predicarse de otro término» Esta definición, de inspiración aristotélica y basada en la predicación, es la que propone Gracia en la disertación que sigue. El trabajo de Jorge J. E. Gracia abre la puerta a una posible nueva orientación de la metafísica fundada en las categorías. Las palabras de Horacio a las que ya recurriera Kant en sus Prolegómenos se figuran proféticas ante los derroteros de la metafísica: rusticus exspectat dum defluat amnis; at ille labitur et labetur in omne volubilis aevum».