Logica Formale e Logica Trascendentale I. Da Leibniz a Kant