Lógica formal y lógica trascendental