Некоторые отличия семантики естественных и формальных языков:

• Двусмысленность. 2 Естественные языки полны двусмысленности, с которой люди справляются, используя контекстуальные подсказки и другую информацию. 2 Формальные языки спроектированы так, чтобы быть почти или полностью недвусмысленными: любое утверждение имеет ровно одно значение, независимо от контекста. 2
• Избыточность. 2 Чтобы компенсировать двусмысленность и уменьшить недопонимание, естественные языки используют много избыточности, в результате они часто бывают многословными. 2 Формальные языки менее избыточны и более лаконичны. 2
• Буквальность. 2 Формальные языки означают именно то, что говорят. 2 Естественные языки полны идиом и метафор. 2
• Расширение семантики. 1 Семантика естественного языка не является чем-то застывшим: как жизнь наполняется новыми предметами, явлениями, событиями, так же расширяется и семантика естественного языка. 1 Семантика формального языка — это интерпретация его строк с помощью другого языка. 1