логическая семантика

логическая семантика
логи́ческая сема́нтика
теория, изучающая вопросы интерпретации логических исчислений: отношения между языком исчисления и описываемой им реальностью — моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле — дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.
* * *
ЛОГИЧЕСКАЯ СЕМАНТИКА
ЛОГИ́ЧЕСКАЯ СЕМА́НТИКА, теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью — моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле — дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.

Энциклопедический словарь. 2009.

Игры ⚽ Поможем написать реферат

Смотреть что такое "логическая семантика" в других словарях:

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

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел математической логики, посвященный проблеме отношения высказывания или его частей к реальности. Основатель современной Л. с. немецкий ученый Готтлоб Фреге. Прежде всего, он сформулировал различие между денотатом (значением) знака (то есть… …   Энциклопедия культурологии

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном… …   Большой Энциклопедический словарь

  • Логическая семантика —         раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… …   Большая советская энциклопедия

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — теория, изучающая вопросы интерпретации логич. исчислений: отношения между языком исчисления и описываемой им реальностью моделью теории, условия существования моделей исчислений, их практич. применимости и др. В более спец. смысле дедуктивная… …   Естествознание. Энциклопедический словарь

  • семантика логическая —         СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… …   Энциклопедия эпистемологии и философии науки

  • СЕМАНТИКА — [< гр. semantikos значащий] лингв. наука о значениях слов и выражений, а также об отношении языковых знаков к обозначаемым объектам. Словарь иностранных слов. Комлев Н.Г., 2006. семантика (гр. semantikos обозначающий) 1) смысловая сторона языка… …   Словарь иностранных слов русского языка

  • СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ — Представление о том, что у настоящего может быть не одно, а несколько направлений развития в будущем (это, собственно, и составляет содержание понятия возможные миры ), было, вероятно, в культуре всегда. Но оно обострилось в ХХ в. в связи с общей …   Энциклопедия культурологии

  • СЕМАНТИКА — раздел семиотики и логики, исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Семантическая проблематика обсуждалась еще в античности, однако только на рубеже 19 20 вв. в трудах Ч. Пирса, Ф. де Соссюра, Ч.… …   Философская энциклопедия

  • СЕМАНТИКА ЛОГИЧЕСКАЯ — раздел металогики, в которой изучаются отношения между объектами и символами, используемыми для их обозначения. Центральным содержательным компонентом С.л. является теория терминов. Согласно классической концепции смысла и значения терминов,… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»