Գրեք սա: Logic in modern linguistic theorizing