Основное меню

логическая семантика - в словаре-справочнике по философии.

Что такое логическая семантика в философии?

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

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

Благодаря нашему философскому онлайн словарю Вы можете узнать точное определение термина логическая семантика.