Logic And Its Application To Language