Árvore de Porfírio

Árvore de Porfírio (lat. arbor Porphyriana; ingl. tree of Porphyry; franc. arbre de Porphyre; alem. Baum des Porphyrius). Célebre esquema ou modelo de definição por dicotomias sucessivas, que descem do género mais geral às espécies ínfimas (substância: corpórea, incorpórea; substância corpórea [corpo]: animado, inanimado; corpo animado: sensível, insensível [animal]: racional, irracional; animal racional: mortal, imortal; animal racional mortal [homem]: Sócrates, Platão, etc.). Se bem tal "árvore" não se encontra precisamente nos manuscritos de Porfírio, foi construída a partir do texto porfiriano (Isag., 4, 20) e encontra-se em todos os tratados medievais de lógica (cf., por exemplo, Pedro Hispano, Summ. Logic., 2, 10), de onde passou aos textos modernos de lógica tradicional. G. P.