Ну, во-первых, с точки зрения самой науки, где самоцелью является исследование и результаты исследований, а не утилитарные все эти вещи, то формальная семантика естественных языков говорит нам, как мы внезапно понимаем слова, фразы таких-то логических и грамматических форм и так далее. Это важно уже само по себе и имеет большую важность для теоретической лингвистики в целом. Также это важно для формальной логики.
С утилитарной точки зрения это важно тогда, когда мы хотим задать строгую спецификацию чего-либо, приближённую к некоторому идеализированному естественному использованию. Или когда нам интересны некоторые моменты в описании искусственных языков. Или когда мы занимаемся логикой, пересекающейся с лингвистикой (то же ламбек-исчисление является самым крупным примером), решая некоторую конкретную прикладную задачу. В области теории машинного перевода это важно (увы, сейчас популярно машинным обучением и без семантики), как и в области natural language understanding. В области развития интеллектуальных систем это тоже важно, так как многие проблемы проектирования интеллектуальных систем внезапно перекликаются с лингвистическими и прагмалингвистическими вопросами.