Tal es la modificación importante de la lógica clásica aristotélica como lógica de términos, interpretada ahora como lógica de clases.