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

В Википедии есть статьи о других людях с фамилией Монтегю.

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

Ричард Монтегю
Дата рождения	20 сентября 1930(1930-09-20)
Место рождения	Стоктон, Калифорния, США
Дата смерти	7 марта 1971(1971-03-07) (40 лет)
Место смерти	Лос-Анджелес, Калифорния, США
Страна	США
Место работы	Калифорнийский университет в Лос-Анджелесе
Альма-матер	Калифорнийский университет в Беркли
Научный руководитель	Альфред Тарский

Ричард Монтегю в Калифорнийском университете, 1967 г.

БиографияПравить

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

УбийствоПравить

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

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

Еще при жизни Монтегю стал важнейшей фигурой в сообществе математиков и лингвистов, сделав значительный вклад в теорию доказательств, теорию моделей, аксиоматический метод и теорию рекурсий. Он успешно применил методы математической логики для решения целого ряда задач в философии, в том числе в философии языка. В Калифорнийском университете он руководил тремя диссертациями: Cocchiarella 1966, Grewe 1965, Kamp 1968. Четвертая диссертация Gallin 1972/1975 была защищена и опубликована уже после смерти Монтегю.

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

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

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

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

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

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

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

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

${\Vert <!--\; \Vert \; -->}_S{[}_{NP}[Everyboy]{}_{VP}[runs]]\Vert <!--\; \Vert \; -->=\Vert <!--\; \Vert \; -->Everyboy\Vert <!--\; \Vert \; -->(\Vert <!--\; \Vert \; -->runs\Vert <!--\; \Vert \; -->)=$$\|_{S}[_{NP}[Every~boy]~_{VP}[runs]]\|=~\|Every~boy\|(\|runs\|)=$ 
$\mathrm{\lambda <!--\; \lambda \; -->}P.\mathrm{\forall <!--\; \forall \; -->}x[boy(x)\to <!--\; \to \; -->P(x)](\mathrm{\lambda <!--\; \lambda \; -->}x.run(x))=\mathrm{\forall <!--\; \forall \; -->}x[boy(x)\to <!--\; \to \; -->run(x)]$$\lambda P.\forall x[boy(x)\rightarrow P(x)](\lambda x.run(x))=~\forall x[boy(x)\rightarrow run(x)]$ 

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

Многие детали теории Монтегю, изложенной в PTQ, впоследствии были пересмотрены, некоторые — отвергнуты, однако в целом влияние PTQ на теоретическую лингвистику сравнимо с «Синтаксическими структурами» Хомского. Эммон Бах^[en] заметил:

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

БиблиографияПравить

• 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.

СсылкиПравить

• Barbara H. Partee, Richard Montague (1930—1971). In Encyclopedia of Language and Linguistics, 2nd Ed., ed. Keith Brown. Oxford: Elsevier. V. 8, pp. 255–257, 2006.
• Знаменитые выпускники школы Св. Марии в Стоктоне
• Раздел «Композициональность повсюду» статьи Демьянков В. З. Доминирующие лингвистические теории в конце XX века // Язык и наука конца XX века. М.: Институт языкознания РАН, 1995. С. 239—320.