1. Большой энциклопедический словарь

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

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

Источник: Большой энциклопедический словарь на Gufo.me

Значения в других словарях

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