É uma crítica à lógica aristotélica

É uma defesa da autoridade da razão humana

É uma obra que apresenta uma visão sistemática da lógica medieval

É uma fonte de inspiração para a formação da teoria da consequência lógica

É uma formulação da teoria da verdade como correspondência