Чем формальная семантика отличается от прагматики?

Формальная семантика и прагматика изучают разные аспекты лингвистического значения. 3

Формальная семантика исследует отношения между выражениями и тем, что они обозначают. 1 В ней предполагается, что условия истинности предложений естественного языка могут быть представлены в виде логических формул. 1 Ещё одна основополагающая идея — композициональность: значение сложных выражений построено из значения простых выражений, входящих в их состав, на основе синтаксических правил. 1

Прагматика занимается отношениями между выражениями и их употреблением в контексте конкретной ситуации. 1 Значение в прагматике связано с говорящим или использующим язык, в то время как в семантике оно определяется как свойство языкового выражения, не принимающего во внимание конкретную ситуацию, говорящих и слушающих. 2