Every language is ambiguous. There's a gap between language (description) and reality. No formal logic can bridge this.