Text this: Formal and transcedental logic