Формальная семантика (естественный язык)
Формальная семантика – это изучение грамматического значения естественных языков с использованием формальных инструментов логики , математики и теоретической информатики . Это междисциплинарная область, иногда рассматриваемая как подполе как лингвистики , так и философии языка . В нем рассказывается о том, что означают лингвистические выражения и как их значения складываются из значений их частей. Занятие формальной семантикой можно рассматривать как реверс-инжиниринг семантических компонентов грамматик естественных языков.
Обзор [ править ]
Формальная семантика изучает значения выражений естественного языка. Проблемы высокого уровня включают композиционность , референцию и природу значения . Ключевые тематические области включают объем , модальность , связывание , время и аспект . Семантика отличается от прагматики , которая охватывает аспекты значения, возникающие в результате взаимодействия и коммуникативного намерения.
Формальная семантика — это междисциплинарная область, которую часто рассматривают как подполе как лингвистики , так и философии , а также включающую в себя работы в области информатики , математической логики и когнитивной психологии . В философии формальные семантики обычно принимают платонистскую онтологию и экстерналистский взгляд на значение. [1] В лингвистике формальную семантику чаще рассматривают как часть изучения языкового познания . В результате философы уделяют больше внимания концептуальным вопросам, в то время как лингвисты с большей вероятностью сосредотачиваются на интерфейсе синтаксиса и семантики и межъязыковых вариациях. [2] [3]
Центральные концепции [ править ]
Условия истинности [ править ]
Фундаментальный вопрос формальной семантики заключается в том, что вы знаете, когда умеете интерпретировать выражения языка. Распространено предположение, что знание значения предложения требует знания условий его истинности или, другими словами, знания того, каким должен быть мир, чтобы предложение было истинным. Например, чтобы понять значение английского предложения «Нэнси курит», нужно знать, что оно истинно, когда человек, Нэнси, выполняет действие курения. [1] [4]
Однако многие современные подходы к формальной семантике предполагают, что смысл — это нечто большее, чем просто условия истинности. [5] В формальной семантической структуре любознательной семантики знание значения предложения также требует знания того, какие проблемы (т. е. вопросы) оно поднимает. Например, «Нэнси курит, но пьет?» передает ту же информацию, обусловленную истинностью, что и предыдущий пример, но также поднимает вопрос о том, пьет ли Нэнси. [6] Другие подходы обобщают концепцию обусловленности истины или рассматривают ее как эпифеноменальную. Например, в динамической семантике знание значения предложения равносильно знанию того, как оно обновляет контекст. [7] Пьетроски трактует значения как инструкции по построению понятий. [8]
Композиционность [ править ]
Принцип композиционности — это фундаментальное предположение формальной семантики. Этот принцип гласит, что значение сложного выражения определяется обозначениями его частей, а также способом их составления. Например, денотат английского предложения «Нэнси курит» определяется значением «Нэнси», денотатом «курит» и любыми семантическими операциями, объединяющими значения подлежащего со значениями предикатов . В упрощенном семантическом анализе эту идею можно было бы формализовать, утверждая, что «Нэнси» обозначает саму Нэнси, а «дымит» обозначает функцию, которая принимает некоторый отдельный x в качестве аргумента и возвращает значение истинности «истина», если x действительно курит. Если предположить, что слова «Нэнси» и «курит» семантически составлены с помощью применения функции , этот анализ позволит предсказать, что предложение в целом истинно, если Нэнси действительно курит. [9] [10] [11]
Феномены [ править ]
Область применения [ править ]
Область действия можно рассматривать как семантический порядок операций. Например, в предложении « Полина не пьет пиво, но пьет вино » предложение о том, что Полина пьет пиво, входит в сферу отрицания , а предложение о том, что Полина пьет вино, — нет. Одной из основных проблем исследований формальной семантики является взаимосвязь между синтаксическими позициями операторов и их семантическим объемом. Эта связь непрозрачна, поскольку область действия оператора не обязательно должна напрямую соответствовать его положению на поверхности , а одна поверхностная форма может быть семантически неоднозначной между различными конструкциями области действия. Некоторые теории области действия предполагают уровень синтаксической структуры, называемый логической формой , в котором синтаксическая позиция элемента соответствует его семантической области действия. Другие теории вычисляют отношения области действия в самой семантике, используя формальные инструменты, такие как преобразователи типов, монады и продолжения . [12] [13] [14] [15]
Привязка [ править ]
Связывание — это явление, при котором анафорические элементы, такие как местоимения, грамматически связаны со своими предшественниками . Например, в английском предложении «Мэри видела себя» анафора «сама» связана с предшествующим словом «Мэри». Привязка может быть разрешена или заблокирована в определенных контекстах или синтаксических конфигурациях, например, местоимение «ее» не может быть связано с «Мэри» в английском предложении «Мэри видела ее». Хотя все языки имеют обязательную силу, ограничения на нее различаются даже среди близкородственных языков. Связывание было основным компонентом парадигмы правительства и теории связывания .
Модальность [ править ]
Модальность — это явление, при котором язык используется для обсуждения потенциально нереальных сценариев. Например, в то время как немодальное предложение, такое как «Нэнси курила», утверждает о реальном мире, модальные предложения, такие как «Нэнси могла бы курить» или «Если Нэнси курила, мне будет грустно», утверждают об альтернативных сценариях. . Наиболее тщательно изучаемые выражения включают модальные вспомогательные слова , такие как «может», «должен» или «должен»; модальные наречия, такие как «возможно» или «необходимо»; и модальные прилагательные, такие как «мыслимый» и «вероятный». Тем не менее, модальные компоненты были идентифицированы в значениях бесчисленных выражений естественного языка, включая контрфактические выражения , пропозициональные установки , доказательства , привычки и родовые выражения. Стандартная трактовка лингвистической модальности была предложена Анжеликой Кратцер в 1970-х годах, опираясь на более раннюю традицию работы в модальной логике . [16] [17] [18]
История [ править ]
Формальная семантика стала основной областью исследований в начале 1970-х годов, благодаря новаторской работе философа и логика Ричарда Монтегю . Монтегю предложил формальную систему, теперь известную как грамматика Монтегю , которая состояла из нового синтаксического формализма для английского языка, логической системы, называемой интенсиональной логикой , и набора гомоморфных правил перевода, связывающих их. Оглядываясь назад, Монтегю Грамматику сравнивали с машиной Руба Голдберга , но, когда она была впервые предложена, ее считали ошеломляющей, и многие из ее фундаментальных идей сохранились в различных семантических моделях, которые ее заменили. [19] [20] [21]
Грамматика Монтегю стала большим достижением, поскольку она показала, что естественные языки можно рассматривать как интерпретируемые формальные языки . До Монтегю многие лингвисты сомневались, что это возможно, а логики той эпохи были склонны рассматривать логику как замену естественного языка, а не как инструмент его анализа. [21] Работа Монтегю была опубликована во время Лингвистических войн , и многие лингвисты поначалу были ею озадачены. В то время как лингвисты хотели создать ограничительную теорию, которая могла бы моделировать только явления, происходящие в человеческих языках, Монтегю искал гибкую структуру, которая характеризовала бы концепцию значения в ее самом общем виде. На одной из конференций Монтегю сказал Барбаре Парти, что она «единственный лингвист, с которым я не могу разговаривать». [21]
Формальная семантика превратилась в важную область лингвистики в конце 1970-х и начале 1980-х годов благодаря плодотворной работе Барбары Парти. Парти разработал лингвистически правдоподобную систему, которая включила в себя ключевые идеи как грамматики Монтегю, так и трансформационной грамматики . Ранние исследования лингвистической формальной семантики использовали систему Парти для достижения множества эмпирических и концептуальных результатов. [21] Более поздние работы Ирен Хейм , Анжелики Кратцер , Тани Рейнхарт , Роберта Мэй и других основывались на работе Парти для дальнейшего согласования ее с генеративным подходом к синтаксису. Получившаяся в результате структура известна как система Хайма и Кратцера в честь авторов учебника «Семантика в генеративной грамматике» , которые впервые систематизировали и популяризировали ее. Система Хейма и Кратцера отличается от более ранних подходов тем, что она включает уровень синтаксического представления, называемый логической формой , который подвергается семантической интерпретации. Таким образом, в эту систему часто входят синтаксические представления и операции, которые были введены правилами перевода в системе Монтегю. [22] [21] Однако работы других, таких как Джеральд Газдар, предложили модели интерфейса синтаксис-семантика, которые остались ближе к модели Монтегю, обеспечивая систему интерпретации, в которой обозначения могли быть вычислены на основе поверхностных структур . Эти подходы продолжают существовать в таких структурах, как категориальная грамматика и комбинаторная категориальная грамматика . [23] [21]
Когнитивная семантика возникла как реакция на формальную семантику, но в последнее время было предпринято несколько попыток примирить обе позиции. [24]
См. также [ править ]
- Альтернативная семантика
- Барбара Парти
- Композиционность
- Вычислительная семантика
- Теория репрезентации дискурса
- Динамическая семантика
- Семантика фреймов (лингвистика)
- Любознательная семантика
- Философия языка
- Прагматика
- Ричард Монтегю
- Грамматика Монтегю
- Традиционная грамматика
- Синтаксисно-семантический интерфейс
Ссылки [ править ]
- ^ Перейти обратно: а б Льюис, Дэвид (декабрь 1970 г.). «Общая семантика». Синтезируйте . 22 (1/2): 18–67. дои : 10.1007/BF00413598 . S2CID 14877324 .
- ^ Сет Ялчин (2014). «Семантика и метасемантика в контексте порождающей грамматики». В Алексис Берджесс; Бретт Шерман (ред.). Метасемантика: новые очерки об основах значения . Издательство Оксфордского университета. ISBN 9780199669592 .
- ^ Борг, Эмма (2004). Минимальная семантика . Издательство Оксфордского университета. ISBN 978-0199206926 .
- ^ Ирен Хайм; Анжелика Кратцер (1998). Семантика в порождающей грамматике . Уайли-Блэквелл. ISBN 978-0-631-19713-3 .
- ^ Стефано Пределли (2013). Смысл без истины . Оксфордская стипендия. ISBN 9780199695638 .
- ^ Чиарделли, Ивано; Гроенендейк, Йерун; Рулофсен, Флорис (2019). Любознательная семантика (PDF) . Издательство Оксфордского университета.
- ^ Вельтман, Франк (1996). «Значения по умолчанию в семантике обновления» (PDF) . Журнал философской логики . 25 (3). дои : 10.1007/BF00248150 . S2CID 19377671 .
- ^ Пол Пьетроски (2018). Соединение смыслов . Издательство Оксфордского университета. ISBN 9780198812722 .
- ^ Ирен Хейм ; Анжелика Кратцер (1998). Семантика в порождающей грамматике . Уайли-Блэквелл. стр. 100-1 2–3, 14–2 ISBN 978-0-631-19713-3 .
- ^ Крегер, Пол (2019). Анализ смысла . Языковая наука Пресс. стр. 217–219. ISBN 978-3-96110-136-8 .
- ^ Коппок, Элизабет; Шампольон, Лукас (2019). Приглашение к формальной семантике (PDF) . Рукопись. п. 42.
- ^ Хейм, Ирен ; Кратцер, Анжелика (1998). Семантика в порождающей грамматике . Оксфорд: Уайли Блэквелл. стр. 194–198.
- ^ Руис, Эдди; Зима, Йоад (2011). «Объем кванторов в формальной лингвистике». (PDF) . В Габбае, Дов; Гентнер, Франц (ред.). Справочник по философской логике (2-е изд.). Дордрехт: Спрингер. стр. 159–225. дои : 10.1007/978-94-007-0479-4_3 . ISBN 978-94-007-0478-7 .
- ^ Баркер, Крис (2015). «Объем» (PDF) . В Лаппине, Шалом; Фокс, Крис (ред.). Справочник по современной семантике (2-е изд.). Уайли Блэквелл. Раздел 4.3. дои : 10.1002/9781118882139.ch2 . ISBN 9781118882139 .
- ^ Сабольчи, Анна (2010). Количественная оценка . Издательство Кембриджского университета. п. 92.
- ^ Портнер, Пол (2009). Модальность . Оксфорд: Издательство Оксфордского университета. ISBN 978-0-19-929242-4 .
- ^ Кауфманн, С.; Кондоравди К. и Харизанов В. (2006) Формальные подходы к модальности . Формальные подходы к модальности. В: Фроули, В. (Ред.). Выражение модальности. Берлин, Нью-Йорк: Мутон де Грюйтер
- ^ Старр, Уилл (2019). «Дополнение к «Контрфактуалам»: Изъявительные и сослагательные кондиционалы» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
- ^ Барвайз, Джон; Купер, Робин (1981). «Обобщенные кванторы и естественный язык». Ин Кулас, Дж; Фетцер, Дж. Х.; Рэнкин, Т.Л. (ред.). Философия, язык и искусственный интеллект . Исследования когнитивных систем. Том. 2. Спрингер. стр. 241–301. дои : 10.1007/978-94-009-2727-8_10 . ISBN 978-94-010-7726-2 . S2CID 62189594 .
- ^ Очень читабельный и краткий обзор того, как формальная семантика нашла свое применение в лингвистике, см. в «Формальный подход к значению: формальная семантика и ее недавние разработки разделе » Барбары Эбботт . В: Журнал иностранных языков (Шанхай), 119:1 (январь 1999 г.), 2–20.
- ^ Перейти обратно: а б с д Это ж Парти, Барбара (2011). «Формальная семантика: истоки, проблемы, раннее влияние». Балтийский международный ежегодник познания, логики и коммуникации . 6 . CiteSeerX 10.1.1.826.5720 .
- ^ Црнич, Лука; Песецкий, Дэвид; Зауэрланд, Ули (2014). «Введение: Биографические заметки» (PDF) . В Црниче, Лука; Зауэрланд, Ули (ред.). Искусство и ремесло семантики: Фестиваль Ирен Хейм .
- ^ Майкл Мургат (1988). Категориальные исследования: логические и лингвистические аспекты исчисления Ламбека . Вальтер де Грюйтер. ISBN 978-90-6765-387-9 . Проверено 5 апреля 2011 г.
- ^ Хамм, Фриц; Камп, Ганс; Ламбалген, Михель ван (1 сентября 2006 г.). «Между формальной и когнитивной семантикой нет противоречия». Теоретическая лингвистика . 32 (1): 1–40. CiteSeerX 10.1.1.80.6574 . дои : 10.1515/tl.2006.001 . ISSN 1613-4060 . S2CID 17691054 .
Дальнейшее чтение [ править ]
- Макс Крессвелл (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). Неформальные лекции по формальной семантике . СУНИ Пресс. ISBN 978-0-88706-772-3 . Один из первых учебников. Доступно для студентов.
- Ронни Канн (1993). Формальная семантика: введение . Издательство Кембриджского университета. ISBN 978-0-521-37610-5 .
- Ирен Хейм ; Анжелика Кратцер (1998). Семантика в порождающей грамматике . Уайли-Блэквелл. ISBN 978-0-631-19713-3 .
- Дженнаро Кьеркья; Салли МакКоннелл-Жине (2000). Значение и грамматика: введение в семантику (2-е изд.). МТИ Пресс . ISBN 978-0-262-53164-1 .
- Шон А. Фулоп (2004). О логике и изучении языка . Траффорд Паблишинг. ISBN 978-1-4120-2381-8 . [ самостоятельный источник ]
- Глин В. Моррилл (1994). Тип логической грамматики: категориальная логика знаков . Спрингер. ISBN 978-0-7923-3095-0 .
- Рейнхард Маскенс. Типологическая семантика [ постоянная мертвая ссылка ] . энциклопедия философии Routledge Интернет- .
- Боб Карпентер (1998). Типологическая семантика . МТИ Пресс. ISBN 978-0-262-53149-8 .
- Йохан ван Бентем (1995). Язык в действии: категории, лямбды и динамическая логика . МТИ Пресс. ISBN 978-0-262-72024-3 .
- Барбара Х. Парти . Размышления формального семантика по состоянию на февраль 2005 г. Обширная историческая информация. (Расширенная версия вступительного эссе в книге Барбары Х. Парти: Композиционность в формальной семантике: избранные статьи Барбары Парти. Blackwell Publishers, Оксфорд, 2004.)