Logic in Linguistics