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