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

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

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

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