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

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

Обзор

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

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

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

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

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

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

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

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

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

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

• Макс Крессвелл (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 г.)

Этот семантика статья - это заглушка. Вы можете помочь Википедии расширяя это.