Text this: Logic in Linguistics