Describir: Formal and transcendental logic, by