logic in language