Философский энциклопедический словарь

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

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

  1. логическая семантика—раздел логики См. Логикаem посвященный изучению значений и смыслов понятий См. Понятие и суждений См. Суждение и их формальных аналогов интерпретаций См. Интерпретация в...Большая Советская энциклопедия II
  2. логическая семантика—теория изучающая вопросы интерпретациилогарифмических исчислений отношения между языком исчисления иописываемой им реальностью моделью теории условия существования модел...Большой энциклопедический словарь II
  3. логическая семантика—ЛОГИЧЕСКАЯ СЕМАНТИКА теория изучающая вопросы интерпретации логарифмических исчислений отношения между языком исчисления и описываемой им реальностью моделью теории усло...Большой энциклопедический словарь III
  4. логическая семантика—ЛОГИЧЕСКАЯ СЕМАНТИКА теория изучающая вопросы интерпретации логарифмических исчислений отношения между языком исчисления и описываемой им реальностью моделью теории усл...Большой Энциклопедический словарь V
  5. логическая семантика—теория изучающая вопросы интерпретации логич. исчислений отношения между языком исчисления и описываемой им реальностью моделью теории условия существования моделей исчи...Естествознание. Энциклопедический словарь
  6. логическая семантика—логикалы семантика...Русско-казахский терминологический словарь «Философия и политология»
  7. логическая семантика—ЛОГИЧЕСКАЯ СЕМАНТИКА теория изучающая вопросы интерпретации логарифмических исчислений отношения между языком исчисления и описываемой им реальностью моделью теории усло...Современный энциклопедический словарь
  8. логическая семантика—ЛОГИЧЕСКАЯ СЕМАНТИКА раздел металогики в кром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на группы понятия применение крых к выра...Философская энциклопедия
  9. логическая семантика—раздел металогики в кром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на группы понятия применение крых к выражениям логич. исчисле...Философская Энциклопедия (в 5 томах)
  10. логическая семантика—ЛОГИЧЕСКАЯ СЕМАНТИКА теория изучающая вопросы интерпретации логарифмических исчислений отношения между языком исчисления и описываемой им реальностью моделью теории усл...Энциклопедический словарь естествознания
  11. логическая семантика—ЛОГИЧЕСКАЯ СЕМАНТИКА раздел математической логики посвященный проблеме отношения высказывания или его частей к реальности. Основатель современной Л. с. немецкий ученый Г...Энциклопедия культурологии