La primera de estas dos facultades ha sido desde hace tiempo definida por los lógicos como la facultad de concluir mediatamente (a diferencia de las conclusiones o inferencias inmediatas, consequentiis immediatis).