Поиск в словарях
Искать во всех

Большой энциклопедический словарь - логическая семантика

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

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

См. в других словарях

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

Вопрос-ответ:

Ссылка для сайта или блога:
Ссылка для форума (bb-код):