Esta obra, de autoria de Porfírio de Tiro, filósofo neoplatônico nascido na antiga fenícia, é uma introdução às Categorias de Aristóteles que, no quadro do curso neoplatônico, servirá de prolegômenos à filosofia de Platão. É a partir da codificação da doutrina dos predicáveis aqui contida que o Autor erigirá a estrutura lógica conhecida como "Árvore de Porfírio". Este livro é de interesse ao leitor de vários modos: ou como introdução à lógica e, como tal, à filosofia toda, ou como síntese das soluções à questão da relação entre a física, lógica e gramática, ou ainda como transmissor do legado da Grécia antiga às escolas do Ocidente medieval.