Es un método de clasificación lógica de conceptos por bipartición o división dicotómica. El original, de Porfirio de Tiro, define al hombre como animal racional, después de clasificar lo que existe (el ser), sucesivamente, según su permanencia (sustancia-accidente), su materialidad (corpórea-incorpórea), vitalidad (animada-inanimada), su sensibilidad (sensible-insensible) y su racionalidad (racional-irracional. Notemos que cada una de esas propiedades del ser (permanencia, materialidad, etc.) se tiene o no se tiene. De ahí que la clasificación sea dicotómica.
Ver también:
Lógica
Ver también:
Predicado (lógico)