ЛОГИЧЕСКАЯ СЕМАНТИКА

раздел металогики, в к-ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к-рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель) (таковы понятия истинности, обозначения, экстенсиональности выражения относительно контекста, синтетич. истинности и др.); (2) понятия, принадлежащие т.н. теории смысла (см. также Значение) (таковы понятия синонимии, аналитич. истинности, интенсивнальности выражения относительно контекста и др.), к-рые определяются для всех возможных интерпретаций. Наиболее значит, результаты Л. с. относятся к понятиям 1-й группы (определение понятия истинности в формализованных языках, анализ семантич. антиномий, доказательства полноты достаточно богатых логич. исчислений, теория определимости понятий). С помощью понятий и методов Л. с. изучаются различные семантич. свойства выражений искусств, языков (в особенности языков естеств. наук). Важным примером таких свойств является "связь по смыслу" в т.н. контрфактических предложениях (см. такжеДиспозиционалъный предикат). На базе понятий Л. с. определяются такие понятия логики индуктивной, как степень подтверждения гипотезы, аналогия. В последнее время была предложена теория семантической информации. Понятия и методы Л. с. получили свое развитие в связи с идеями и проблемами математич. логики в работах Фреге, Тарского, Карнапа, Кемени и др. См. Семантика в логике. Д. Лахути, В. Финн. Москва.