— отдел логики, изучающий значение выражений языка; в более точном смысле раздел металогики. изучающий интерпретации (Интерпретация и модель) логических исчислений (Формализованный язык). Осн. понятия Л. с. можно разделить на две группы: 1) входящие в т. наз. теорию обозначения, применение к-рых к выражениям данного языка существенным образом зависит от выбора интерпретации (понятия истинности, обозначения, выполнимости, именования (Имя), экстенсиональности, синтетической истинности и др.); 2) принадлежащие к т. наз. теории смысла (значение и смысл, синонимия. аналитическая истинность и др.) и определяющиеся относительно всех возможных интерпретаций данного языка. При метатеоретическом (Метатеория) рассмотрении формализованных языков с необходимостью приходится обращаться к семантическому анализу, поскольку мн. существенные факты (напр., относящиеся к проблемам полноты и непротиворечивости) не могут быть установлены в рамках чисто синтаксического рассмотрения (Логический синтаксис). Исследование семантических свойств языков науки и естественных языков приобретает все большее прикладное значение в связи с развитием математической лингвистики — машинного перевода и др.