Проект формального систематического описания естественных языков, получивший мощный импульс в работах философов Г. Фреге и Р. Монтегю, успешно развивается главным образом в рамках лингвистики. Проект основывается на разделении труда между тремя основными областями семиотики: семантикой, которая изучает отношение выражений языка и тем, что они обозначают; синтаксисом, который исследует правила сочетания выражений, грамматическую корректность; и прагматикой, которая исследует коммуникативные аспекты языка