Title: Logic in Linguistics