Смотреть больше слов в «Философской Энциклопедии»
раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов — ... смотреть
ЛОГИЧЕСКАЯ СЕМА́НТИКА раздел металогики, в к-ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) ... смотреть
ЛОГИЧЕСКАЯ СЕМАНТИКА раздел математической логики, посвященный проблеме отношения высказывания или его частей к реальности. Основатель с... смотреть
отдел логики, изучающий значение выражений языка; в более точном смысле раздел металогики. изучающий интерпретации (Интерпретация и модель) логических исчислений (Формализованный язык). Осн. понятия Л. с. можно разделить на две группы: 1) входящие в т. наз. теорию обозначения, применение к-рых к выражениям данного языка существенным образом зависит от выбора интерпретации (понятия истинности, обозначения, выполнимости, именования (Имя), экстенсиональности, синтетической истинности и др.); 2) принадлежащие к т. наз. теории смысла (значение и смысл, синонимия. аналитическая истинность и др.) и определяющиеся относительно всех возможных интерпретаций данного языка. При метатеоретическом (Метатеория) рассмотрении формализованных языков с необходимостью приходится обращаться к семантическому анализу, поскольку мн. существенные факты (напр., относящиеся к проблемам полноты и непротиворечивости) не могут быть установлены в рамках чисто синтаксического рассмотрения (Логический синтаксис). Исследование семантических свойств языков науки и естественных языков приобретает все большее прикладное значение в связи с развитием математической лингвистики — машинного перевода и др. ... смотреть
ЛОГИЧЕСКАЯ СЕМАНТИКА, теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.<br><br><br>... смотреть
ЛОГИЧЕСКАЯ СЕМАНТИКА - теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.<br>... смотреть
ЛОГИЧЕСКАЯ СЕМАНТИКА , теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.... смотреть
ЛОГИЧЕСКАЯ СЕМАНТИКА, теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.... смотреть
- теория, изучающая вопросы интерпретациилогарифмических исчислений: отношения между языком исчисления иописываемой им реальностью - моделью теории, условия существования моделейисчислений, их практической применимости и др. В более специальном смысле- дедуктивная теория, описывающая свойства понятия истинности вформализованных языках логики и математики.... смотреть
теория, изучающая вопросы интерпретации логич. исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия сущ... смотреть
логикалық семантика