Формализация минималистского синтаксиса в языке 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 Всемирная.