Ð¤Ð¾Ñ€Ð¼Ð°Ð»Ð¸Ð·Ð°Ñ†Ð¸Ñ Ð¼Ð¸Ð½Ð¸Ð¼Ð°Ð»Ð¸ÑÑ‚Ñкого ÑинтакÑиÑа в Ñзыке Agda

Oleg Domanov

Аннотация


Ð’ Ñтатье предÑтавлен инÑтрументарий Ð´Ð»Ñ Ñ„Ð¾Ñ€Ð¼Ð°Ð»Ð¸Ð·Ð°Ñ†Ð¸Ð¸ ÑинтакÑичеÑких теорий в рамках минималиÑÑ‚Ñкой программы Ð. ХомÑкого (Minimalist Program) в генеративной лингвиÑтике. Он предÑтавлÑет Ñобой набор формальных конÑтрукций в Ñзыке Agda, позволÑющих определить Ð´ÐµÑ€ÐµÐ²ÑŒÑ Ð²Ñ‹Ð²Ð¾Ð´Ð°, ÑинтакÑичеÑкие объекты и оÑновные понÑÑ‚Ð¸Ñ Ð¼Ð¸Ð½Ð¸Ð¼Ð°Ð»Ð¸ÑÑ‚Ñкой теории — операцию ÑÐ¾ÐµÐ´Ð¸Ð½ÐµÐ½Ð¸Ñ (Merge), признаки, копии, цепи, c-командование и др. Ð’ то же времÑ, в формализме опущены Ð¾Ð¿ÐµÑ€Ð°Ñ†Ð¸Ñ ÑоглаÑÐ¾Ð²Ð°Ð½Ð¸Ñ (Agree) и Ñ‚ÐµÐ¾Ñ€Ð¸Ñ Ñ„Ð°Ð·.

Полный текст:

PDF

Литература


Митренина, СлюÑарь, Романова 2018 — Митренина О. Ð’., СлюÑарь Ð. Ð., Романова Е. Е. Введение в генеративную грамматику. М. : Ленанд, 2018.

Adger 2003 — Adger D. Core Syntax : A Minimalist Approach. Oxford University Press, 2003.

beim Graben, Gerth 2012 — beim Graben P., Gerth S. Geometric Representations for Minimalist Grammars // Journal of Logic, Language, and Information. 2012. Vol. 21, no. 4. P. 393–432.

Boeckx 2006 — Boeckx C. Linguistic Minimalism: Origins, Concepts, Methods, and Aims. Oxford University Press, USA, 2006.

Chomsky 2013 — Chomsky N. Problems of projection // Lingua. 2013. Vol. 130. P. 33–49.

Chomsky 2015 — Chomsky N. Problems of projection: Extensions // Structures, strategies and beyond: Studies in honor of Adriana Belletti. Amsterdam/New York : John Benjamins, 2015. С. 1—16.

Chomsky 1995 — Chomsky N. The Minimalist Program. Cambridge, London : The MIT Preee, 1995.

Collins, Stabler 2016 — Collins C., Stabler E. A Formalization of Minimalist Syntax // Syntax. 2016. Mar. Vol. 19, no. 1. P. 43–78.

Martin-Löf 1984 — Martin-Löf P. An Intuitionistic Type Theory : Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Napoli : Bibliopolis, 1984.

Norell 2009 — Norell U. Dependently Typed Programming in Agda // Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures. Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009. P. 230–266.

Smith, Mursell, Hartmann 2020 — Smith P. W., Mursell J., Hartmann K., eds. Agree to Agree: Agreement in the Minimalist Programme. Berlin : Language Science Press, 2020.

Stabler 1996 — Stabler E. Derivational minimalism // LACL 1996. Vol. 1328. Heidelberg : Springer, 1996. P. 68–95.

Stabler 2013 — Stabler E. Two Models of Minimalist, Incremental Syntactic Analysis // Topics in cognitive science. 2013. Vol. 5, no. 3. P. 611–633.




DOI: https://doi.org/10.52119/LPHS.2022.69.13.002

Ссылки

  • На текущий момент ссылки отсутствуют.




(c) 2023 Oleg Domanov

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.