Слияние (обычно пишется с заглавной буквы) — одна из основных операций в Минималистской Программе , ведущем подходе к порождающему синтаксису , когда два синтаксических объекта объединяются для формирования новой синтаксической единицы ( набора ). Слияние также обладает свойством рекурсии , поскольку его можно применять к собственному выводу: объекты, объединенные с помощью слияния, являются либо лексическими элементами , либо наборами, которые сами были сформированы с помощью слияния. Это рекурсивное свойство Merge считается фундаментальной характеристикой, отличающей язык от других когнитивных способностей. По словам Ноама Хомского (1999), слияние — это «необходимая операция рекурсивной системы... которая берет два синтаксических объекта A и B и формирует новый объект G={A,B}» (стр. 2). [1]
В рамках минималистской программы синтаксис является производным, а слияние — это операция построения структуры. Предполагается, что слияние обладает определенными формальными свойствами, ограничивающими синтаксическую структуру, и реализуется с помощью определенных механизмов. С точки зрения теории овладения языком , основанной на слиянии , дополнения и спецификаторы — это просто обозначения для первого слияния (читается как «дополнение» [head-complement]), а затем второго слияния (читается как «спецификатор» [specifier-head]), при этом слияние всегда формируется в заголовок. Первое слияние устанавливает только набор {a, b} и не является упорядоченной парой. В своей первоначальной формулировке Хомского в 1995 году слияние определялось как асимметричное по своей сути; в Moro 2000 впервые было предположено, что Merge может генерировать симметричные структуры при условии, что они спасаются движением и восстанавливается асимметрия [2] . либо «своего рода дом», либо «разновидность лодки». Только при втором слиянии порядок выводится из набора {a {a, b}}, что дает рекурсивные свойства синтаксиса. Например, «Дом-лодка» {дом {дом, лодка}} теперь однозначно читается только как «разновидность лодки». Именно это свойство рекурсии позволяет проецировать и маркировать фразу; [3] в данном случае существительное «лодка» является главой сложного слова, а слово «дом» выступает своего рода спецификатором/модификатором. Внешнее слияние (первое слияние) устанавливает содержательную «базовую структуру», присущую VP, давая структуру тета/аргументов, и может выходить за рамки VP лексической категории, включая легкий глагол функциональной категории vP. Внутреннее слияние (второе слияние) устанавливает более формальные аспекты, связанные с граничными свойствами объема и материалом, связанным с дискурсом, привязанным к CP . В теории, основанной на фазах, это двойное различие vP/CP следует за «двойственностью семантики», обсуждаемой в Минималистской программе , и далее развивается в двойное различие, касающееся отношения пробы и цели. [4] Как следствие, на этапе «внешнее/только первое слияние» маленькие дети будут демонстрировать неспособность интерпретировать показания заданной упорядоченной пары, поскольку у них будет доступ только к мысленному анализу нерекурсивного кода. набор. (Подробное обсуждение рекурсии при овладении языком ребенком см. в книге Ропера). [5] В дополнение к нарушениям порядка слов, другие, более повсеместные результаты стадии первого слияния показывают, что первоначальным высказываниям детей не хватает рекурсивных свойств флективной морфологии, что приводит к строгому нефлексивному этапу-1, согласующемуся с возрастающей структурой . построение модели речи ребенка . [6]
Слияние берет два объекта α и β и объединяет их, создавая двоичную структуру.
В некоторых вариантах минималистской программы слияние запускается при проверке функций, например, глагол съесть выбирает существительное чизкейк , потому что глагол имеет неинтерпретируемую N-функцию [uN] («u» означает «неинтерпретируемый»), которую необходимо проверить ( или удалено) в связи с полной интерпретацией. [7] Говоря, что этот глагол имеет именной неинтерпретируемый признак, мы исключаем такие неграмматические конструкции, как *eat beautiful (глагол выбирает прилагательное). Схематически это можно проиллюстрировать так:
Есть три разных объяснения того, как сильные черты характера вызывают движение: [8] [9]
1. Теория краха фонетической формы (PF) (Хомский 1993) концептуально мотивирована. Аргументация звучит следующим образом: если предположить, что логическая форма (ЛФ) инвариантна, то должно быть так, что любые параметрические различия между языками сводятся к морфологическим свойствам, которые отражаются в PF (Chomsky 1993:192). Хомский обсуждает две возможные реализации теории краха PF:
Теория сбоя PF: сильная функция, которая не проверяется в явном синтаксисе, приводит к сбою деривации на PF.
2. Теория краха логической формы (LF) (Chomsky 1994) эмпирически мотивирована многоточием VP.
Теория сбоя LF: сильная особенность, которая не проверяется (и не устраняется) в явном синтаксисе, приводит к сбою вывода на LF.
3. Теория немедленного исключения ((Хомский 1995))
Теория вируса: Сильная особенность должна быть устранена (почти) сразу после ее появления во фразе-маркере; в противном случае вывод отменяется.
Первоначально сотрудничество «Последней меры» (LR) и «Условия единообразия» (UC) было индикатором структур, предоставляемых Bare Phrase, которые содержат метки и создаются путем перемещения, а также влияния гипотезы сохранения структуры . [10]
Когда мы рассматриваем признаки слова, обеспечивающие метку при выступлении слова, мы предполагаем, что категориальный признак слова всегда находится среди признаков, которые становятся меткой вновь созданного синтаксического объекта. [12] В приведенном ниже примере Чекетто продемонстрировал, как проекция выбирает голову в качестве метки.
В этом примере Чекетто (2015) глагол «читать» однозначно обозначает структуру, поскольку «читать» — это слово, а это означает, что это зонд по определению, в котором «читать» выбирает «книгу». более крупный компонент, созданный путем слияния слова с синтаксическими объектами, получает метку самого слова, что позволяет нам маркировать дерево, как показано.
В этом дереве глагол «читать» является главой, выбирающей DP «книгу», что делает составляющую VP.
Слияние работает вслепую, проецируя метки во всех возможных комбинациях. Признаки субкатегоризации головы действуют как фильтр , допуская только помеченные проекции, соответствующие селекционным свойствам головы. Все остальные альтернативы исключаются. Слияние не что иное, как объединение двух синтаксических объектов (СО) в единое целое, но никак не влияет на свойства объединяемых элементов. Это называется условием отсутствия вмешательства (NTC). Следовательно, если α (как синтаксический объект) обладал некоторым свойством до объединения с β (который также является синтаксическим объектом), он все равно будет иметь это свойство после объединения с β. Это позволяет Merge учитывать дальнейшее слияние, что позволяет создавать структуры с зависимостями движения (например, WH-движение). Все грамматические зависимости устанавливаются при слиянии: это означает, что если α и β грамматически связаны, то α и β должны были слиться. [13]
Важным развитием Минималистской программы является Bare Phrase Structure (BPS), теория структуры фраз (операций построения структуры), разработанная Ноамом Хомским в 1994 году. [14] BPS представляет собой представление структуры фраз, в которой синтаксические единицы не являются явно присвоены категориям. [15] Введение BPS перемещает порождающую грамматику в сторону грамматики зависимостей (обсуждаемой ниже), которая работает со значительно меньшей структурой, чем большинство грамматик фразовой структуры . [16] Конституционной деятельностью БПС является слияние. Простая структура фраз направлена на то, чтобы: (i) исключить ненужные элементы; (ii) генерировать более простые деревья ; (ii) учитывать различия между языками. [17]
Простая структура фраз определяет уровни прогнозирования в соответствии со следующими особенностями: [10]
Минималистская программа фокусирует внимание на четырех фундаментальных свойствах, которые управляют структурой человеческого языка : [18] [19]
Правила контекстно-зависимой структуры фраз (PS)А Б С → А В СB = одиночный символA, C, D = строка символов (D = ненулевое значение, A и C могут быть нулевыми)A и C не равны нулю, когда указана среда, в которой B необходимо перезаписать как D.
Правила бесконтекстной фразовой структуры (PS) B → DB = одиночный нетерминальный символD = строка нетерминальных символов (может быть ненулевой), куда можно вставлять лексические элементы с их функциями подкатегоризации.
С момента публикации голой структуры фразы в 1994 г. [14] другие лингвисты продолжали развивать эту теорию. В 2002 году Крис Коллинз продолжил исследование предложения Хомского об устранении ярлыков, поддержав предложение Хомского о более простой теории структуры фраз. [20] Коллинз предположил, что экономические характеристики, такие как минимальность, управляют выводами и приводят к более простым представлениям.
В более поздней работе Джона Лоу и Джона Лундстранда, опубликованной в 2020 году, минимальная структура фраз сформулирована как расширение простой структуры фраз и теории X-бара . Однако для этого не нужно принимать все предположения, связанные с Минималистской программой (см. выше). Лоу и Лундстранд утверждают, что любая успешная теория структуры фраз должна включать следующие семь особенностей: [17]
Хотя простая структура фразы включает в себя многие из этих функций, она не включает их все, поэтому другие теории пытались включить все эти функции, чтобы представить успешную теорию структуры фразы.
Хомский (2001) различает внешнее и внутреннее слияние: если A и B — отдельные объекты, то мы имеем дело с внешним слиянием; если один из них является частью другого, это внутреннее слияние. [21]
Как обычно понимают, стандартное слияние принимает три ключевых предположения о природе синтаксической структуры и способности языка:
Хотя эти три предположения по большей части принимаются как нечто само собой разумеющееся теми, кто работает в рамках Минималистской программы, другие теории синтаксиса отвергают одно или несколько из них.
Слияние обычно рассматривается как объединение меньших составляющих с более крупными до тех пор, пока не будет достигнута самая большая составляющая — предложение. Этот восходящий взгляд на создание структур отвергается репрезентативными (недеривационными) теориями (например, грамматикой обобщенной структуры фразы , грамматикой структуры фразы, управляемой головой , лексической функциональной грамматикой , большинством грамматик зависимостей и т. д.), и это противоречит ранним Работа по трансформационной грамматике . Например, правила построения фраз в контекстно -свободной грамматике генерируют структуру предложений сверху вниз.
Минималистская точка зрения о том, что слияние строго бинарна, оправдана тем аргументом, что -арное слияние неизбежно приведет как к недостаточному, так и к перегенерированию, и поэтому слияние должно быть строго бинарным. [22] Более формально, формы недорождения, приведенные в Marcolli et al., (2023), таковы, что для любого -арного слияния с могут быть сгенерированы только строки длины для некоторых (поэтому предложения типа «идет дождь» не могут быть) и, кроме того, всегда существуют строки, длина которых неоднозначна при анализе с помощью двоичного слияния, и для которых -арное слияние не может быть учтено.
Кроме того, также говорят, что -ary Merge где обязательно приводит к перегенерированию. Если мы возьмем двоичное дерево и -арное дерево с одинаковым набором листьев, то бинарное дерево будет иметь меньшее количество доступных пар терминов по сравнению с общим количеством -арных кортежей доступных терминов в -арном дереве. Это отвечает за генерацию неграмматических предложений, таких как «арахис, обезьяны, которые дети будут бросать» (в отличие от «дети, которые будут бросать обезьяны, арахис») с тройным слиянием. [23] Несмотря на это, существовали также эмпирические аргументы против строго двоичного слияния, например, исходящие из тестов избирательного округа , [24] и поэтому некоторые теории грамматики, такие как грамматика структуры фраз, управляемая головой, все еще сохраняют -арное ветвление в синтаксисе. .
Слияние объединяет два компонента таким образом, что эти компоненты становятся сестринскими компонентами и являются дочерними элементами вновь созданного материнского компонента. Это понимание того, как создается структура, основано на группах участников (в отличие от зависимостей). Грамматики зависимостей (например, теория значения-текста , функционально-генеративное описание , грамматика слов ) не согласны с этим аспектом слияния, поскольку они считают синтаксическую структуру основанной на зависимостях. [25]
В других подходах к порождающему синтаксису , таких как грамматика структуры фраз, управляемая головой , лексическая функциональная грамматика и другие типы грамматики объединения, аналогом слияния является операция объединения теории графов . В этих теориях операции над матрицами значений атрибутов ( структурами признаков ) используются для объяснения многих одних и тех же фактов. Хотя обычно считается, что слияние уникально для языка, лингвисты Иона Кац и Дэвид Песецкий утверждают, что гармоническая структура тональной музыки также является результатом операции «Слияние». [26]
Это понятие «слияния» на самом деле может быть связано с понятием «смешивания» Фоконье в когнитивной лингвистике .
Грамматика структуры фраз (PSG) представляет собой непосредственные отношения избирательного округа (т. е. то, как слова группируются вместе), а также линейные отношения старшинства (т. е. то, как слова упорядочены). В PSG компонент содержит хотя бы одного члена, но не имеет верхней границы. Напротив, в теории слияния составляющая содержит не более двух членов. В частности, в теории слияния каждый синтаксический объект является составной частью.
Теория X-bar — это шаблон, утверждающий, что все лексические элементы имеют три уровня структуры: X, X' и XP. Следовательно, существует трехстороннее различие между Head , Complement и Specifier :
Хотя первое применение Merge эквивалентно отношению Head-Complement, второе применение Merge эквивалентно отношению Specifier-Head. Однако эти две теории различаются в утверждениях о природе структуры Specifier-Head-Complement (SHC). В теории X-стержня SHC является примитивом, примером этого является теория антисимметрии Кейна. В теории слияния SHC является производной.