Философская энциклопедия - логическая семантика
Логическая семантика
ЛОГИЧЕСКАЯ СЕМАНТИКА
ЛОГИЧЕСКАЯ СЕМА́НТИКА
раздел металогики, в к-ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к-рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель) (таковы понятия истинности, обозначения, экстенсиональности выражения относительно контекста, синтетич.
истинности и др.); (2) понятия, принадлежащие т.н. теории смысла (см. также Значение) (таковы понятия синонимии, аналитич. истинности, интенсивнальности выражения относительно контекста и др.), к-рые определяются для всех возможных интерпретаций. Наиболее значит, результаты Л. с. относятся к понятиям 1-й группы (определение понятия истинности в формализованных языках, анализ семантич. антиномий, доказательства полноты достаточно богатых логич. исчислений, теория определимости понятий). С помощью понятий и методов Л. с. изучаются различные семантич. свойства выражений искусств, языков (в особенности языков естеств. наук). Важным примером таких свойств является "связь по смыслу" в т.н. контрфактических предложениях (см. такжеДиспозиционалъный предикат).На базе понятий Л. с. определяются такие понятия логики индуктивной, как степень подтверждения гипотезы, аналогия. В последнее время была предложена теория семантической информации. Понятия и методы Л. с. получили свое развитие в связи с идеями и проблемами математич. логики в работах Фреге, Тарского, Карнапа, Кемени и др. См. Семантика в логике.
Д. Лахути, В. Финн. Москва.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.
.
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2308 | |
2 | 2260 | |
3 | 1393 | |
4 | 1351 | |
5 | 757 | |
6 | 732 | |
7 | 686 | |
8 | 664 | |
9 | 640 | |
10 | 615 | |
11 | 614 | |
12 | 561 | |
13 | 555 | |
14 | 543 | |
15 | 539 | |
16 | 531 | |
17 | 523 | |
18 | 522 | |
19 | 515 | |
20 | 515 |