Text this: At the Intersection of Language, Logic, and Information