Describir: Lógica formal y lógica trascendental :