Describir: Formal and transcendental logic/