Porphyry presented Aristotle's classification of categories in a way that was later adopted into tree-like diagrams of dichotomous divisions, which indicate that a species is defined by a genus and a differentia and that this logical process continues until the lowest species is reached, which can no longer be so defined. Dans son Introduction, Porphyre présente les bases de la logique d'Aristote sous la forme d'un schéma aux divisions dichotomiques, formant des arborescences, pour indiquer qu'une espèce est définie par genre et différence (ou différence générique), et que ce procédé continue jusqu'à ce que l'on ait atteint l'espèce la plus spécialisée.