Text this: Logic, language, and mathematics :