Title: Formal and transcendental logic