Логическая семантика (Фролов, 1991)
ЛОГИЧЕСКАЯ СЕМАНТИКА — отдел логики, изучающий значение выражений языка; в более точном смысле раздел металогики, изучающий интерпретации (Интерпретация и модель) логических исчислений (Формализованный язык). Основные понятия Логической семантики можно разделить на две группы: 1) входящие в так называемую теорию обозначения, применение которых к выражениям данного языка существенным образом зависит от выбора интерпретации (понятия истинности, обозначения, выполнимости, именования (Имя), экстенсиональности, синтетической истинности и др.); 2) принадлежащие к т. наз. теории смысла (значение и смысл, синонимия, аналитическая истинность и др.) и определяющиеся относительно всех возможных интерпретаций данного языка...