Философская энциклопедия - логическая семантика

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

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

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

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

На базе понятий Л. с. определяются такие понятия логики индуктивной, как степень подтверждения гипотезы, аналогия. В последнее время была предложена теория семантической информации. Понятия и методы Л. с. получили свое развитие в связи с идеями и проблемами математич. логики в работах Фреге, Тарского, Карнапа, Кемени и др. См. Семантика в логике.

Д. Лахути, В. Финн. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.

.