Наши проекты:

Про знаменитості

Річард Меретт Монтегю: биография


Розвинути такий механізм в семантиці дозволяє принцип композіціональності значення, запропонований Фреге: значення будь-якого висловлювання є функція від значень його синтаксичних частин. В «Універсальній граматиці» Монтегю цей принцип формалізується як гомоморфізм між алгеброю синтаксису і алгеброю семантики. Елементи цих алгебр можуть варіювати від теорії до теорії. Принцип композіціональності, однак, накладає істотне обмеження на ці теорії - він обмежує можливі відносини семантики до синтаксису.

До Монтегю семантісти займалися, в основному, поясненням багатозначності, семантичної аномальності і «семантичної співвіднесеності». Найчастіше судження про матеріал були суб'єктивні, дані і аналізи суперечили один одному. Введення в семантику понять «умова істинності» і «ставлення семантичного слідства» дозволило сформулювати суворі критерії адекватності семантичної теорії і привело до буму досліджень в галузі семантики, в основному, в Європі та США.

PTQ і узагальнені квантори

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


n


nІменная групаevery boy, таким чином, аналізується якузагальнений квантор- вираз типу<<e,t>,t>, тобто функція із одномісних предикатів у істінностние значення. Як узагальнені квантори, таким чином, аналізуються всі іменні групи (звідси і назва терміна), і синтаксичної категорії NP відповідає рівно один семантичний тип. PTQ також містить аналіз інтенсіональних дієслівних предикатів, сфери дії кванторів, зв'язування займенників і ряд інших семантичних явищ

Багато деталей теорії Монтегю, викладеної в PTQ, згодом були переглянуті, деякі - відкинуті, однак у цілому вплив PTQ на теоретичну лінгвістику можна порівняти з «Синтаксичні структури» Хомського. Е. Бах (Bach 1989) зауважив:

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

  • Montague, Richard (1970b). Universal grammar.Theoria36:373-398.
  • 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)
  • 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.
  • 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.
  • Feferman, Anita and Feferman, Solomon. (2004).Alfred Tarski: A Life. Cambridge Uni. Press.
  • Montague, Richard (1968). Pragmatics. In Klibanski, R. (Ed.)Contemporary Philosophy. Florence: La Nuova Italia Editrice. 102-121. Reprinted in Montague (1974), 95-118.
  • Bach, Emmon (1989). Informal lectures on formal semantics. New York: State University of New York Press.
  • Montague, Richard (1970c). Pragmatics and intensional logic.Synth?se22:68-94.
  • Montague, Richard (1957).Contributions to the axiomatic foundations of set theory. University of California at Berkeley: Ph.D. dissertation.

Reprinted in Montague (1974), 119-147.

  • Montague, Richard (1973). The proper treatment of quantification in ordinary English. In Hintikka, KJJ, Moravcsik, JME, & Suppes, P. (Eds.) Approaches to Natural Language. Dordrecht: Reidel. 221-242.
Сайт: Википедия