Формальная семантика (естественный язык)

Формальная семантика - это структура, которая предлагает теоретическое объяснение того, как значения предложений выводятся из значений их частей. Формальная семантика практикуется в лингвистике, математической логике и философии, опираясь на более ранние работы в философии языка, формальном языке теория и логика.

• 1 Обзор
  • 1.1 Цели и область применения
  • 1.2 Разновидности формальной семантики
• 2 См. также
• 3 Ссылки
• 4 Далее чтение

Лингвисты редко использовали формальную семантику, пока Ричард Монтегю не показал, как английский (или любой другой естественный язык) можно рассматривать как формальный язык. Его вклад в лингвистическую семантику, которая теперь известна как грамматика Монтегю, послужил основой для дальнейших разработок, таких как категориальная грамматика из Бар-Гиллеля и его коллег, и более поздняя типо-логическая семантика (или грамматика), основанная на исчислении Ламбека.

Цели и область применения

Есть некоторые разногласия относительно объясняющих ролей, приписываемых формальной семантике. Некоторые теоретики основывают семантику на фактах о коммуникации, соглашениях и истине, тогда как другие склонны рассматривать ее как синтаксически -управляемый проект, в первую очередь связанный с объяснением продуктивности и систематичности на естественном языке, и, таким образом, часть более крупного лингвистического предприятия, такого как лингвистика Хомского или любой другой модульный взгляд на лингвистические способности человека.

Разновидности формальной семантики

Большинство Современные подходы к формальной семантике подпадают под парадигму так называемой условной семантики, которая пытается объяснить смысл предложения, предоставляя условия, при которых оно будет истинным. Однако несколько приверженцев программы условных истинности также утверждали, что смысл - это нечто большее, чем условия истинности. Альтернативные подходы включают в себя более когнитивные предложения, такие как трактовка значений Пьетроски как инструкций по построению понятий, причем предложения лишены условий истинности. Еще одна линия исследования, использующая линейную логику, - это семантика клея, которая основана на идее «интерпретации как дедукции», тесно связанной с парадигмой «синтаксический анализ как дедукция» категориального грамматика.

Когнитивная семантика возникла и развивалась как реакция на формальную семантику, но недавно было предпринято несколько попыток согласовать обе позиции.

• Динамическая семантика
• Грамматика Монтегю
• Вычислительная семантика
• Теория представления дискурса
• Семантика фреймов (лингвистика)
• Семантический анализ

• Макс Крессвелл (2006). «Формальная семантика». В Майкле Девитте, Ричарде Хэнли (ред.). Руководство Блэквелла по философии языка. Вили-Блэквелл. ISBN 978-0-631-23142-4.Очень доступный обзор основных идей в этой области.
• Джон И. Саид (2008). Семантика. Введение в лингвистику (3-е изд.). Вили-Блэквелл. ISBN 978-1-4051-5639-4.Глава 10, Формальная семантика, содержит лучший охват на уровне главы основных технических направлений
• Йохан ван Бентем ; Алиса Тер Мёлен (2010). Справочник по логике и языку (2-е изд.). Эльзевир. ISBN 978-0-444-53726-3.Наиболее полный справочник в этой области.
• Эммон В. Бах (1989). Неформальные лекции по формальной семантике. SUNY Нажмите. ISBN 978-0-88706-772-3.Один из первых учебников. Доступно для студентов.
• Ронни Канн (1993). Формальная семантика: введение. Издательство Кембриджского университета. ISBN 978-0-521-37610-5.
• Ирэн Хейм; Анжелика Кратцер (1998). Семантика в генеративной грамматике. Вили-Блэквелл. ISBN 978-0-631-19713-3.
• Дженнаро Кьеркья; Салли МакКоннелл-Гине (2000). Значение и грамматика: введение в семантику (2-е изд.). MIT Нажмите. ISBN 978-0-262-53164-1.
• Шон А. Фулоп (2004). О логике и изучении языка. Издательство Trafford Publishing. ISBN 978-1-4120-2381-8.
• Глин В. Моррилл (1994). Типовая логическая грамматика: категориальная логика знаков. Springer. ISBN 978-0-7923-3095-0.
• Рейнхард Маскенс. Типо-логическая семантика. Энциклопедия философии Рутледжа Интернет.
• Боб Карпентер (1998). Типо-логическая семантика. MIT Press. ISBN 978-0-262-53149-8.
• Йохан ван Бентем (1995). Язык в действии: категории, лямбды и динамическая логика. MIT Press. ISBN 978-0-262-72024-3.
• Барбара Х. Парти. Размышления специалиста по формальной семантике на февраль 2005 г. Обширная историческая информация. (Расширенная версия вводного эссе Барбары Х. Парти: Композиционность в формальной семантике: Избранные статьи Барбары Парти. Blackwell Publishers, Oxford, 2004.)

.