Библиотека    Новые поступления    Словарь    Карта сайтов    Ссылки






А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Э Ю Я

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

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

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

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


Источники:

  1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.



ПОИСК:





© Алексей Злыгостев, дизайн, подборка материалов, разработка ПО 2001–2018
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'
Сайт создан при помощи Богданова В.В. (ТТИ ЮФУ в г.Таганроге)