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

Для использования в других целях см. Формальная семантика.

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

Обзор

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

Цели и масштабы

Есть некоторые разногласия относительно объяснительных ролей, приписываемых формальной семантике. Некоторые теоретики основывают семантику на фактах о коммуникации, условностях и истине,^[3] в то время как другие склонны рассматривать это как синтаксически проект, в первую очередь связанный с объяснением продуктивность и систематичность в естественном языке, и, следовательно, часть более крупного лингвистического предприятия, такого как Хомскианское языкознание^[4] или любой другой модульный взгляд на языковые способности человека.^[5]

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

Большинство современных подходов к формальной семантике подпадают под парадигму так называемого истинно-условная семантика, который пытается объяснить значение предложения, предоставляя условия, при которых оно было бы верным.^[3][6] Однако несколько сторонников программы условной истины также утверждали, что смысл не ограничивается условиями истинности.^[7] Альтернативные подходы включают в себя более когнитивные предложения, такие как трактовка значений Пьетроски как инструкций по построению концепций, причем предложения лишены условий истинности.^[8] Другая линия запроса, использующая линейная логика, является семантика клея, который основан на идее «интерпретации как дедукции», тесно связанной с парадигмой «синтаксический анализ как дедукция» категориальной грамматики.^[9]

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

Смотрите также

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

Рекомендации

1. Для очень удобочитаемого и краткого обзора того, как формальная семантика проникла в лингвистику, см. Формальный подход к значению: формальная семантика и ее последние разработки к Барбара Эбботт. В: Journal of Foreign Languages ​​(Шанхай), 119: 1 (январь 1999 г.), 2–20.
2. Майкл Мортгат (1988). Категориальные исследования: логические и лингвистические аспекты исчисления Ламбека. Вальтер де Грюйтер. ISBN  978-90-6765-387-9. Получено 5 апреля 2011.
3. Льюис, Дэвид (декабрь 1970 г.). «Общая семантика». Синтез. 22 (1/2): 18–67. Дои:10.1007 / BF00413598.
4. Сет Ялчин (2014). «Семантика и метасемантика в контексте порождающей грамматики». В Алексис Берджесс; Бретт Шерман (ред.). Метасемантика: новые очерки об основах смысла. Издательство Оксфордского университета. ISBN  9780199669592.
5. Борг, Эмма (2004). Минимальная семантика. Издательство Оксфордского университета. ISBN  978-0199206926.
6. Ирэн Хейм; Анжелика Кратцер (1998). Семантика в генеративной грамматике. Вили-Блэквелл. ISBN  978-0-631-19713-3.
7. Стефано Пределли (2013). Значение без правды. Оксфордская стипендия. ISBN  9780199695638.
8. Пол Пьетроски (2018). Смежные значения. Издательство Оксфордского университета. ISBN  9780198812722.
9. Гарри Бант (2008). Вычислительный смысл. 3. Springer. п. 458. ISBN  978-1-4020-5957-5.
10. Хамм, Фриц; Камп, Ганс; Ламбальген, Михил ван (01.09.2006). «Между формальной и когнитивной семантикой нет противопоставления». Теоретическая лингвистика. 32 (1): 1–40. CiteSeerX  10.1.1.80.6574. Дои:10.1515 / tl.2006.001. ISSN  1613-4060.

дальнейшее чтение

• Макс Крессвелл (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 Press. 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, Оксфорд, 2004 г.)