Expressions in formal and natural languages have a lot in common. Both kinds of expression are finite combinations of symbols that are well-formed according to particular rules of syntax. Symbols and expressions in formal languages denote formal objects (numbers, sets, functions). Symbols and expressions in natural language denote mental objects (individuals, groups, properties). Sentences in …