Title: Logic in Its Application to Language