Text this: Language, Logic, and Computation