Text this: Logic in linguistics/