The underlying structure of language, which is grammar, is obviously logical. That the symbols used to represent this grammar can be sometimes fuzzy or ambiguous, is no problem for a machine that takes context and probability into account when translating words to the underlying grammar structure.