Formal and transcendental logic