АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

Монтегю, Ричард

Ри́чард Ме́ретт Монтегю́ (англ. Richard Merett Montague, 20 сентября 1930, Стоктон, Калифорния, США — 7 марта 1971, Лос-Анджелес, Калифорния, США) — американский математик, философ. Его наиболее известные исследования посвящены семантике и прагматике естественного языка, математической логике и теории множеств. Основатель модельно-теоретического подхода к семантике естественного языка, часто называемого грамматикой Монтегю (Montague 1970a, 1970b, 1973).

Общие сведения
Ричард Монтегю
Дата рождения 20 сентября 1930(1930-09-20)[1]
Место рождения
Дата смерти 7 марта 1971(1971-03-07)[1] (40 лет)
Место смерти
Страна
Место работы
Образование
Научный руководитель Альфред Тарский

Биография

Родился 20 сентября 1930 в городе Стоктон (Калифорния, США). Окончил среднюю школу Св. Марии. В 1947 поступил в Стоктонский колледж низшей ступени на специальность «журналистика». Проучившись год, в 1948 поступает в Калифорнийский университет в Беркли, увлекается математикой, философией и семитскими языками. В 1950 получил степень бакалавра философии. В университете занимался математикой под руководством Альфреда Тарского, философией — под руководством П. Маренке и Б. Мейтса и арабским языком — под руководством Дж. Фишеля. В 1953 окончил университет и получил степень магистра математики, а в 1957 защитил диссертацию по философии на тему «Проблемы аксиоматизации теории множеств» (англ. Contributions to the axiomatic foundations of set theory), работу над которой он вел под руководством всё того же Тарского, а также Рудольфа Карнапа. С 1955 до конца жизни Монтегю преподавал на философском отделении Калифорнийского университета.

Убийство

7 марта 1971 года в Лос-Анджелесе был задушен полотенцем в ванной собственного дома. Убийство Монтегю так и не было раскрыто[2].

Согласно биографической книге 2004 года, Монтегю был задушен людьми, которых он привёл из бара. При этом его бумажник не украли, что ставит под сомнение мотив ограбления[2]

Нераскрытое убийство учёного вдохновило писательницу Айфрик Кэмпбелл на создание романа «Семантика убийства» (2008)[3].

Вклад в лингвистическую семантику и философию языка

Ещё при жизни Монтегю стал важнейшей фигурой в сообществе математиков и лингвистов, сделав значительный вклад в теорию доказательств, теорию моделей, аксиоматический метод и теорию рекурсий. Он успешно применил методы математической логики для решения целого ряда задач в философии, в том числе в философии языка. В Калифорнийском университете под его руководством защитили диссертации Нино Коккьярелла (1966) и Ханс Камп (1968). Среди его учеников также были Дэвид Каплан и Джефф Пеллетье. Из-за смерти Монтегю в 1971 году Дэниел Галлин и Пеллетье завершали свои работы с другими научными руководителями[4].

Наиболее известные работы Монтегю относятся к семантике естественных и формальных языков. Он значительно развил теорию возможных миров в рамках теоретико-модельной семантики, написал целый ряд работ по формальной прагматике, предложил анализ свойств местоимений и глагольных времен (Montague 1968, 1970c). В конце 60-х годов Монтегю подключился к масштабным исследованиям универсальной грамматики, захватившей в то время лингвистическое сообщество после хомскианской революции. В отличие от биологического подхода Ноама Хомского, для Монтегю занятия универсальной грамматикой означали создание единой математической теории, охватывающей как естественные, так и формальные языки[5]. Важнейшая и наиболее радикальная для своего времени гипотеза Монтегю состояла в том, что английский язык (а возможно, и любой естественный язык) может быть формально описан при помощи стандартных средств математической логики. С философской точки зрения Монтегю опровергал распространённый тезис о том, что синтаксис естественного языка скрывает его истинную логическую форму, полагая, что при использовании достаточно богатой логики синтаксические структуры можно интерпретировать напрямую[6]. Следует заметить, что в то время большинство логиков сомневалось, что естественный язык возможно полностью формализовать, а большинство лингвистов — что методы математической логики вообще применимы к семантике естественного языка.

Монтегю не принимал участия в так называемых «лингвистических войнах» — период противостояния сторонников генеративной семантики (Дж. Лакофф, Дж. Росс, Дж. Макколи, П. Постал) и интерпретационной семантики (Р. Джекендофф и многие другие при поддержке Хомского). Его теория не была синтезом достижений порождающей и интерпретирующей семантики, а представляла собой принципиально иной, альтернативный подход («третий путь»), основанный на строгой логике и модельно-теоретической семантике[5].

Условия истинности, композициональность в семантике

Центральная идея теории Монтегю и, в дальнейшем, всей формальной семантики состоит в том, что значение любого предложения есть условия его истинности. Поскольку в любом языке множество грамматичных предложений бесконечно, необходима теория, позволяющая вычислять значение любого предложения за конечное число шагов. Когнитивное обоснование этой гипотезы просто: человеческий мозг конечен, поэтому в когнитивной системе существует конечный механизм, интерпретирующий любой элемент из бесконечного множества грамматичных предложений. В синтаксисе аналогичное рассуждение проводится для обоснования использования порождающих грамматик как конечного механизма порождения бесконечного количества предложений.

Развить такой механизм в семантике позволяет принцип композициональности значения, предложенный Фреге: значение любого выражения есть функция от значений его синтаксических частей. В «Универсальной грамматике» Монтегю этот принцип формализуется как гомоморфизм между алгеброй синтаксиса и алгеброй семантики. Элементы этих алгебр могут варьировать от теории к теории. Принцип композициональности, однако, накладывает существенное ограничение на эти теории — он ограничивает возможные отношения семантики к синтаксису.

До Монтегю семантисты занимались, в основном, объяснением многозначности, семантической аномальности и «семантической соотнесенности». Зачастую суждения о материале были субъективны, данные и анализы противоречили друг другу. Введение в семантику понятий «условие истинности» и «отношение семантического следствия» позволило сформулировать строгие критерии адекватности семантической теории и привело к буму исследований в области семантики, в основном, в Европе и США.

PTQ и обобщенные кванторы

Богатство логики Монтегю позволяет придать композициональную интерпретацию независимо мотивированной синтаксической структуре. Это проиллюстрировано в работе Montague 1973 (Proper Treatment of Quantification in ordinary English — сокращенно PTQ). В частности, при анализе квантифицированных именных групп типа every boy, the man, an apple предлагается воспользоваться языком типизированной логики с ламбда-абстракцией. Например, предложение Every boy runs анализируется так:


Именная группа every boy, таким образом, анализируется как обобщенный квантор — выражение типа <<e, t>, t>, то есть функция из одноместных предикатов в истинностные значения. Как обобщенные кванторы, таким образом, анализируются все именные группы (отсюда и название термина), и синтаксической категории NP соответствует ровно один семантический тип. PTQ также содержит анализ интенсиональных глагольных предикатов, сферы действия кванторов, связывания местоимений и ряд других семантических явлений

Многие детали теории Монтегю, изложенной в PTQ, впоследствии были пересмотрены (в частности, произошла замена оригинальной интенсиональной логики (IL) на двусортную теорию типов (TY2) Галлина, переход к нео-дэвидсоновской семантике событий для анализа глаголов, а также появление Теории представления дискурса (DRT) для анализа межфразовой анафоры)[7][8][9], некоторые — отвергнуты, однако в целом влияние PTQ на теоретическую лингвистику сравнимо с «Синтаксическими структурами» Хомского. Эммон Бах заметил[10]:

Тезис Хомского состоял в том, что английский язык можно представить в виде формальной системы; Тезис Монтегю состоял в том, что английский язык можно представить в виде интерпретированной формальной системы.

Влияние на компьютерную лингвистику и искусственный интеллект

Формальный подход Ричарда Монтегю оказал значительное влияние на раннюю компьютерную лингвистику в 1980-х годах. Однако из-за ограниченной вычислительной мощности того времени его методы временно уступили место статистическим подходам и нейросетевым моделям. В эпоху развития больших языковых моделей (LLM) наблюдается возрождение интереса к идеям Монтегю, в частности к принципам композициональности и переводу естественного языка в логические формы. Исследователи отмечают, что такие проблемы современных языковых моделей, как «галлюцинации» и смысловые ошибки, связаны с отсутствием строгой семантической основы[11]. Принципы Монтегю находят применение в разработке нейросимволического искусственного интеллекта. В гибридных архитектурах нейронные компоненты извлекают структуры из текста, а символические алгоритмы, основанные на логике Монтегю, выполняют их проверку и интерпретацию. Использование грамматики Монтегю для преобразования естественного языка в формальные логические структуры направлено на борьбу с «галлюцинациями» и повышение логической надёжности и объяснимости систем, что особенно востребовано в критически важных областях, таких как медицина, финансы и безопасность[11].

Библиография

  • Formal philosophy : selected papers of Richard Montague / ed. and with an introd. by Richmond H. Thomason. — New Haven : Yale Univ. Pr., 1974 (3. print 1979: ISBN 0-300-01527-5)
  • Gallin, Daniel (1972). Intensional and higher-order modal logic with applications to Montague semantics. University of California at Berkeley: Ph.D. dissertation.
  • Gallin, Daniel (1975). Intensional and higher-order modal logic: with applications to Montague semantics: North-Holland Mathematics Studies 19. Amsterdam: North Holland.
  • Montague, Richard (1957). Contributions to the axiomatic foundations of set theory. University of California at Berkeley: Ph.D. dissertation.
  • Montague, Richard (1968). Pragmatics. In Klibanski, R. (ed.) Contemporary Philosophy. Florence: La Nuova Italia Editrice. 102—121. Reprinted in Montague (1974), 95-118.
  • Montague, Richard (1970a). English as a Formal Language. In Visentini, Bruno et al. (eds.) Linguaggi nella società e nella tecnica. Milan: Edizioni di Comunità. 189—224. Reprinted in Montague (1974), 188—221.
  • Montague, Richard (1970b). Universal grammar. Theoria 36:373-398.
  • Montague, Richard (1970c). Pragmatics and intensional logic. Synthèse 22:68-94.

Reprinted in Montague (1974), 119—147.

  • Montague, Richard (1973). The proper treatment of quantification in ordinary English. In Hintikka, K.J.J., Moravcsik, J.M.E., & Suppes, P. (eds.) Approaches to Natural Language. Dordrecht: Reidel. 221—242.

Примечания

  1. ↑ 1 2 Richard Montague // Internet Philosophy Ontology project (англ.)
  2. ↑ 1 2 Feferman, Anita and Feferman, Solomon. (2004). Alfred Tarski: A Life. Cambridge Uni. Press. P. 332—333.
  3. ↑ Убийство Ричарда Монтегю. WikiReading. Дата обращения: 28 апреля 2026.
  4. ↑ Richard Montague. richardmontague.com. Дата обращения: 28 апреля 2026.
  5. ↑ 1 2 Montague Semantics. Stanford Encyclopedia of Philosophy. Stanford University (2017). Дата обращения: 28 апреля 2026.
  6. ↑ On the history of the question of whether natural language is illogical. History and Philosophy of the Language Sciences (1 мая 2013). Дата обращения: 28 апреля 2026.
  7. ↑ Intensional Logic. Stanford Encyclopedia of Philosophy. Stanford University. Дата обращения: 28 апреля 2026.
  8. ↑ The Problems with Montague Grammar. Backyard Biolinguistics. Дата обращения: 28 апреля 2026.
  9. ↑ Montague Grammar and Discourse Interpretation. IDUS Repository. Дата обращения: 28 апреля 2026.
  10. ↑ Bach, Emmon (1989). Informal lectures on formal semantics. New York: State University of New York Press.
  11. ↑ 1 2 Возрождение идей Монтегю в контексте LLM. arXiv. Дата обращения: 28 апреля 2026.

Ссылки

Дополнительно по теме

Категории