Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Чтобы узнать о других значениях, см. Формальная семантика (значения) .

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

Обзор [ править ]

Цели и сфера применения [ править ]

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

Формальная семантика - это междисциплинарная область, часто рассматриваемая как подполе как лингвистики, так и философии , а также включает в себя работы из информатики , математической логики и когнитивной психологии . В зависимости от своего опыта, формальные семантики могут по-разному оценивать природу своего предприятия. В частности, в философии некоторые формальные семантики принимают платоническую онтологию и экстерналистский взгляд на значение. [1] Другие, особенно в лингвистике, склонны рассматривать это как часть изучения лингвистического познания.. В результате философы уделяют больше внимания концептуальным вопросам, в то время как лингвисты, скорее всего, уделяют внимание синтаксически-семантическому интерфейсу и межъязыковым вариациям. [2] [3]

История [ править ]

Формальная семантика стала основным направлением исследований в начале 1970-х годов благодаря новаторской работе философа и логика Ричарда Монтегю . Монтегю предложил формальную систему, теперь известную как грамматика Монтегю, которая состояла из нового синтаксического формализма для английского языка, логической системы, называемой интенсиональной логикой , и набора гомоморфных правил перевода, которые связывали их. Грамматику Монтегю сравнивают с машиной Руба Голдберга , но она была потрясающей, когда впервые была предложена, и многие из ее фундаментальных идей сохранились в различных семантических моделях, которые ее заменили. [4] [5] [6]

Грамматика Монтегю была большим достижением, поскольку показала, что естественные языки можно рассматривать как интерпретируемые формальные языки. До Монтегю многие лингвисты сомневались в том, что язык можно понять с точки зрения логики, а логики были склонны рассматривать логику как замену естественному языку, а не как инструмент для его анализа. [6] Работа Монтегю была опубликована во время лингвистических войн., и изначально не был хорошо принят. Он использовал формальные инструменты того времени, отошедшие от тогдашних стандартных предположений о синтаксисе, и его цели расходились с целями лингвистов. В то время как лингвисты хотели ограничить структуру, которая могла бы предсказывать только явления, которые происходят в грамматиках реальных человеческих языков, Монтегю искал более гибкую структуру, которая могла бы охарактеризовать понятие значения в целом. На одной конференции Монтегю сказал Барбаре Парти, что она «единственный лингвист, с которым я не могу разговаривать». [6]

В последующей работе Парти разработал более правдоподобную с лингвистической точки зрения систему, которая объединила идеи как грамматики Монтегю, так и трансформационной грамматики. Последующие работы Ирен Хайм , Анжелики Кратцер , Тани Рейнхарт , Роберта Мэй и других показали, что ключевые идеи Монтегю могут быть более глубоко включены в генеративную структуру, постулируя уровень синтаксического представления, называемый логической формой, который подвергается семантической интерпретации. [6] Однако другие, такие как Джеральд Газдарпредложенные модели интерфейса синтаксис-семантика, которые остались ближе к предложению Монтегю, обеспечивая систему интерпретации, в которой обозначения могут быть вычислены на основе поверхностных структур. Эти подходы живут в рамках, таких как категориальная грамматика . [7] [6]

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

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

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

См. Также [ править ]

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

Ссылки [ править ]

  1. ^ a b Льюис, Дэвид (декабрь 1970 г.). «Общая семантика». Synthese . 22 (1/2): 18–67. DOI : 10.1007 / BF00413598 .
  2. ^ Сет Ялчин (2014). «Семантика и метасемантика в контексте порождающей грамматики». В Алексис Берджесс; Бретт Шерман (ред.). Метасемантика: новые очерки об основах смысла . Издательство Оксфордского университета. ISBN 9780199669592.
  3. Перейти ↑ Borg, Emma (2004). Минимальная семантика . Издательство Оксфордского университета. ISBN 978-0199206926.
  4. ^ Барвайз, Джон; Купер, Робин (1981). «Обобщенные кванторы и естественный язык». В Кулас, Дж; Fetzer, JH; Ранкин, Т.Л. (ред.). Философия, язык и искусственный интеллект . Springer. DOI : 10.1007 / 978-94-009-2727-8_10 .
  5. ^ Для очень удобочитаемого и краткого обзора того, как формальная семантика проникла в лингвистику, см. «Формальный подход к значению: формальная семантика и ее недавние разработки » Барбары Эбботт . В: Journal of Foreign Languages ​​(Шанхай), 119: 1 (январь 1999 г.), 2–20.
  6. ^ а б в г д Парти, Барбара (2011). «Формальная семантика: истоки, проблемы, раннее влияние» . Балтийский международный ежегодник познания, логики и коммуникации . 6 .
  7. ^ Майкл Мортгат (1988). Категориальные исследования: логические и лингвистические аспекты исчисления Ламбека . Вальтер де Грюйтер. ISBN 978-90-6765-387-9. Проверено 5 апреля 2011 года .
  8. ^ Ирэн Хейм; Анжелика Кратцер (1998). Семантика в генеративной грамматике . Вили-Блэквелл. ISBN 978-0-631-19713-3.
  9. ^ Стефано Пределли (2013). Смысл без правды . Оксфордская стипендия. ISBN 9780199695638.
  10. ^ Пол Pietroski (2018). Смежные значения . Издательство Оксфордского университета. ISBN 9780198812722.
  11. ^ Гарри Бант (2008). Вычислительный смысл . 3 . Springer. п. 458. ISBN. 978-1-4020-5957-5.
  12. ^ Хамм, Фриц; Камп, Ганс; Ламбальген, Михил ван (01.09.2006). «Между формальной и когнитивной семантикой нет противопоставления». Теоретическая лингвистика . 32 (1): 1–40. CiteSeerX 10.1.1.80.6574 . DOI : 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. 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.)