Title: the logic of language