Так называемый «естественный язык» замечательный для целей, для которых он был создан, например, быть грубым, рассказать анекдоты, обманывать или заниматься любовью (и теоретики литературной критики могут быть даже без довольства в нем ), но это безнадежно неадекватно, когда нам приходится однозначно иметь дело с ситуациями большой сложности, ситуациями, которые неизбежно возникают в таких действиях, как законодательство, арбитраж, математика или программирование.