Textmeddelande: Logic in modern linguistic theorizing