Logic and linguistics in the twentieth century