[statictype]

I agree with most of what you have written except this part:

but humans are not so logical!

I don't believe there is anything illogical about the diversity of languages. No different from the existence of multiple,types of programming languages.

[bottled_poe]

Perhaps instead of the literal "but humans are not logical" he meant "but languages are not precise". How ironic that would be.