La fusión es una de las operaciones básicas del Programa Minimalista , un enfoque líder en la sintaxis generativa , en la que se combinan dos objetos sintácticos para formar una nueva unidad sintáctica (un conjunto ). La fusión también tiene la propiedad de recursión , ya que puede aplicarse a su propio resultado: los objetos combinados por la fusión son elementos léxicos o conjuntos que fueron formados por la fusión. Se ha afirmado que esta propiedad recursiva de la fusión es una característica fundamental que distingue al lenguaje de otras facultades cognitivas. Como dice Noam Chomsky (1999), la fusión es "una operación indispensable de un sistema recursivo... que toma dos objetos sintácticos A y B y forma el nuevo objeto G={A,B}" (p. 2). [1]
Dentro del Programa Minimalista, la sintaxis es derivativa, y Merge es la operación de construcción de la estructura. Se supone que Merge tiene ciertas propiedades formales que restringen la estructura sintáctica, y se implementa con mecanismos específicos. En términos de una teoría de adquisición del lenguaje basada en la fusión , los complementos y especificadores son simplemente notaciones para la primera fusión (leída como "complemento de" [complemento de la cabeza]), y luego la segunda fusión (leída como "especificador de" [cabeza del especificador]), con la fusión siempre formando una cabeza. La primera fusión establece solo un conjunto {a, b} y no es un par ordenado. En su formulación original por Chomsky en 1995, Merge se definió como inherentemente asimétrica; En Moro 2000 se propuso por primera vez que Merge puede generar estructuras simétricas siempre que sean rescatadas por el movimiento y se restablezca la asimetría [2] Por ejemplo, un compuesto {N, N} de 'boat-house' permitiría las lecturas ambiguas de 'a kind of house' y/o 'a kind of boat'. Es solo con la segunda fusión que el orden se deriva de un conjunto {a {a, b}} que produce las propiedades recursivas de la sintaxis. Por ejemplo, una 'House-boat' {house {house, boat}} ahora se lee inequívocamente solo como 'kind of boat'. Es esta propiedad de la recursión la que permite que tenga lugar la proyección y el etiquetado de una frase; [2] en este caso, que el sustantivo 'boat' sea la cabeza del compuesto, y 'house' actúe como una especie de especificador/modificador. La fusión externa (primera fusión) establece una 'estructura base' sustantiva inherente al VP, que produce una estructura theta/argumental, y puede ir más allá del VP de categoría léxica para involucrar al verbo ligero de categoría funcional vP. La fusión interna (segunda fusión) establece aspectos más formales relacionados con las propiedades de borde del material relacionado con el discurso y el alcance vinculado al CP . En una teoría basada en fases, esta distinción gemela vP/CP sigue la "dualidad de semántica" discutida dentro del Programa Minimalista , y se desarrolla aún más en una distinción dual con respecto a una relación sonda-meta. [3] Como consecuencia, en la etapa "externa/primera fusión solamente", los niños pequeños mostrarían una incapacidad para interpretar lecturas de un par ordenado dado, ya que solo tendrían acceso al análisis mental de un conjunto no recursivo. (Véase Roeper para una discusión completa de la recursión en la adquisición del lenguaje infantil). [4] Además de las violaciones del orden de las palabras, otros resultados más omnipresentes de una primera etapa de fusión mostrarían que los enunciados iniciales de los niños carecen de las propiedades recursivas de la morfología flexiva, lo que produce una etapa 1 no flexiva estricta, consistente con un modelo de construcción de estructura incremental del lenguaje infantil . [5]
Merge toma dos objetos α y β y los combina, creando una estructura binaria.
En algunas variantes del Programa Minimalista, Merge se activa mediante la comprobación de características, por ejemplo, el verbo eat selecciona el sustantivo cheesecake porque el verbo tiene una característica N no interpretable [uN] ("u" significa "no interpretable"), que debe comprobarse (o eliminarse) debido a la interpretación completa. [6] Al decir que este verbo tiene una característica nominal no interpretable, descartamos construcciones agramaticales como *eat beautiful (el verbo selecciona un adjetivo). Esquemáticamente, se puede ilustrar como:
Hay tres explicaciones diferentes de cómo las características fuertes fuerzan el movimiento: [7] [8]
1. La teoría del choque de la forma fonética (FP) (Chomsky 1993) tiene una motivación conceptual. El argumento es el siguiente: bajo el supuesto de que la forma lógica (FL) es invariante, debe darse el caso de que cualquier diferencia paramétrica entre idiomas se reduzca a propiedades morfológicas que se reflejan en la FP (Chomsky 1993:192). Chomsky analiza dos posibles implementaciones de la teoría del choque de la FP:
Teoría de fallas de PF: una característica fuerte que no se verifica en la sintaxis abierta hace que una derivación falle en PF.
2. La teoría del choque de la forma lógica (FL) (Chomsky 1994) está motivada empíricamente por la elipsis de la PV.
Teoría de fallas en LF: una característica fuerte que no se verifica (y elimina) en la sintaxis abierta hace que una derivación falle en LF.
3. Teoría de la eliminación inmediata (Chomsky 1995)
Teoría del virus: una característica fuerte debe eliminarse (casi) inmediatamente después de su introducción en el marcador de frase; de lo contrario, la derivación se cancela.
Inicialmente, la cooperación de Último Recurso (LR) y la Condición de Uniformidad (UC) fueron los indicadores de las estructuras proporcionadas por la Frase Desnuda que contienen etiquetas y se construyen por movimiento, así como el impacto de la Hipótesis de Preservación de la Estructura . [9]
Cuando consideramos las características de la palabra que proporcionan la etiqueta cuando la palabra se proyecta, asumimos que la característica categórica de la palabra siempre está entre las características que se convierten en la etiqueta del objeto sintáctico recién creado. [11] En este ejemplo a continuación, Cecchetto demostró cómo la proyección selecciona una cabeza como etiqueta.
En este ejemplo de Cecchetto (2015), el verbo "leer" etiqueta la estructura de forma inequívoca porque "leer" es una palabra, lo que significa que es una sonda por definición, en la que "leer" selecciona "el libro". El constituyente más grande generado al fusionar la palabra con los objetos sintácticos recibe la etiqueta de la palabra misma, lo que nos permite etiquetar el árbol como se demuestra.
En este árbol, el verbo "leer" es la cabeza que selecciona el DP "el libro", lo que convierte al constituyente en VP.
Merge opera a ciegas, proyectando etiquetas en todas las combinaciones posibles. Las características de subcategorización de la cabeza actúan como un filtro al admitir solo proyecciones etiquetadas que sean consistentes con las propiedades de selección de la cabeza. Se eliminan todas las demás alternativas. Merge no hace nada más que combinar dos objetos sintácticos (OS) en una unidad, pero no afecta las propiedades de los elementos que se combinan de ninguna manera. Esto se llama la condición de no manipulación (NTC). Por lo tanto, si α (como un objeto sintáctico) tiene alguna propiedad antes de combinarse con β (que es igualmente un objeto sintáctico) seguirá teniendo esta propiedad después de haberse combinado con β. Esto permite que Merge tenga en cuenta la fusión posterior, lo que permite que se produzcan estructuras con dependencias de movimiento (como wh-movement). Todas las dependencias gramaticales se establecen bajo Merge: esto significa que si α y β están vinculados gramaticalmente, α y β deben haberse fusionado. [12]
Un desarrollo importante del Programa Minimalista es la Estructura de Frase Desnuda (BPS), una teoría de la estructura de frases (operaciones de construcción de estructuras) desarrollada por Noam Chomsky en 1994. [13] La BPS es una representación de la estructura de frases en la que las unidades sintácticas no se asignan explícitamente a categorías. [14] La introducción de la BPS mueve la gramática generativa hacia la gramática de dependencia (discutida más adelante), que opera con significativamente menos estructura que la mayoría de las gramáticas de estructura de frases . [15] La operación constitucional de la BPS es la fusión. La estructura de frase desnuda intenta: (i) eliminar elementos innecesarios; (ii) generar árboles más simples ; (ii) dar cuenta de la variación entre idiomas. [16]
La estructura de frase básica define los niveles de proyección según las siguientes características: [9]
El programa minimalista pone de relieve cuatro propiedades fundamentales que rigen la estructura del lenguaje humano : [17] [18]
Reglas de estructura de frases (PS) sensibles al contextoA B C → A D CB = símbolo únicoA, C, D = cadena de símbolos (D = no nulo, A y C pueden ser nulos)A y C no son nulos cuando se especifica el entorno en el que B debe reescribirse como D.
Reglas de estructura de frase (PS) independientes del contexto B → DB = símbolo único no terminalD = cadena de símbolos no terminales (pueden no ser nulos) donde se pueden insertar elementos léxicos con sus características de subcategorización
Desde la publicación de la estructura de la frase desnuda en 1994, [13] otros lingüistas han seguido desarrollando esta teoría. En 2002, Chris Collins continuó la investigación sobre la propuesta de Chomsky de eliminar las etiquetas, respaldando la sugerencia de Chomsky de una teoría más simple de la estructura de la frase. [19] Collins propuso que las características económicas, como la minimalidad, gobiernan las derivaciones y conducen a representaciones más simples.
En un trabajo más reciente de John Lowe y John Lundstrand, publicado en 2020, la estructura de frase mínima se formula como una extensión de la estructura de frase simple y la teoría de la barra X. Sin embargo, no adopta todos los supuestos asociados con el Programa Minimalista (ver arriba). Lowe y Lundstrand sostienen que cualquier teoría de estructura de frase exitosa debe incluir las siguientes siete características: [16]
Aunque la estructura de frase simple incluye muchas de estas características, no las incluye todas, por lo tanto, otras teorías han intentado incorporar todas estas características para presentar una teoría de estructura de frase exitosa.
Chomsky (2001) distingue entre fusión externa e interna: si A y B son objetos separados entonces se trata de fusión externa; si cualquiera de ellos es parte del otro se trata de fusión interna. [20]
Como se entiende comúnmente, Merge estándar adopta tres supuestos clave sobre la naturaleza de la estructura sintáctica y la facultad del lenguaje:
Aunque quienes trabajan dentro del amplio ámbito del Programa Minimalista dan por sentados estos tres supuestos, otras teorías de la sintaxis rechazan uno o más de ellos.
La fusión se considera comúnmente como la fusión de constituyentes más pequeños con constituyentes más grandes hasta que se llega al constituyente más grande, la oración. Esta visión de abajo hacia arriba de la generación de la estructura es rechazada por las teorías representacionales (no derivacionales) (por ejemplo, la gramática de estructura de frase generalizada , la gramática de estructura de frase impulsada por la cabeza , la gramática funcional léxica , la mayoría de las gramáticas de dependencia , etc.), y es contraria al trabajo temprano en la gramática transformacional . Las reglas de estructura de frase de la gramática libre de contexto , por ejemplo, generaban la estructura de la oración de arriba hacia abajo.
La visión minimalista de que Merge es estrictamente binario se justifica con el argumento de que un Merge -ario donde conduciría inevitablemente tanto a subgeneración como a sobregeneración, y como tal Merge debe ser estrictamente binario. [21] Más formalmente, las formas de subgeneración dadas en Marcolli et al., (2023) son tales que para cualquier Merge -ario con , solo se pueden generar cadenas de longitud para algunos (por lo que oraciones como "llueve" no pueden serlo), y además, siempre hay cadenas de longitud que son ambiguas cuando se analizan con Merge binario, para las cuales un merge -ario con no podría explicar.
Además, también se dice que la fusión -aria conduce necesariamente a la sobregeneración. Si tomamos un árbol binario y un árbol -ario con conjuntos idénticos de hojas, entonces el árbol binario tendrá un número menor de pares de términos accesibles en comparación con las -tuplas totales de términos accesibles en el árbol -ario. Esto es responsable de la generación de oraciones agramaticales como "los niños tirarán cacahuetes a los monos" (en contraposición a "los niños tirarán cacahuetes a los monos") con una fusión ternaria. [22] A pesar de esto, también ha habido argumentos empíricos en contra de la fusión estrictamente binaria, como el que proviene de las pruebas de circunscripción [23] y, por lo tanto, algunas teorías de la gramática, como la gramática de estructura de frase impulsada por la cabeza, aún conservan la ramificación -aria en la sintaxis.
La fusión fusiona dos constituyentes de tal manera que estos se convierten en constituyentes hermanos y son hijas del constituyente madre recién creado. Esta comprensión de cómo se genera la estructura se basa en la circunscripción (en contraposición a la dependencia). Las gramáticas de dependencia (por ejemplo, la teoría del significado del texto , la descripción generativa funcional y la gramática de palabras ) no están de acuerdo con este aspecto de la fusión, ya que consideran que la estructura sintáctica se basa en la dependencia. [24]
En otros enfoques de la sintaxis generativa , como la gramática de estructura de frase impulsada por la cabeza , la gramática funcional léxica y otros tipos de gramática de unificación, el análogo de Merge es la operación de unificación de la teoría de grafos . En estas teorías, las operaciones sobre matrices de atributos-valores ( estructuras de características ) se utilizan para explicar muchos de los mismos hechos. Aunque Merge suele asumirse que es exclusivo del lenguaje, los lingüistas Jonah Katz y David Pesetsky han argumentado que la estructura armónica de la música tonal también es resultado de la operación Merge. [25]
Esta noción de "fusión" puede de hecho estar relacionada con la noción de "mezcla" de Fauconnier en la lingüística cognitiva .
La gramática de estructura sintáctica (PSG) representa las relaciones de circunscripción inmediata (es decir, cómo se agrupan las palabras) así como las relaciones de precedencia lineal (es decir, cómo se ordenan las palabras). En una PSG, un constituyente contiene al menos un miembro, pero no tiene límite superior. En cambio, con la teoría de la combinación, un constituyente contiene como máximo dos miembros. Específicamente, en la teoría de la combinación, cada objeto sintáctico es un constituyente.
La teoría de la barra X es un modelo que sostiene que todos los elementos léxicos proyectan tres niveles de estructura: X, X' y XP. En consecuencia, existe una triple distinción entre Núcleo , Complemento y Especificador :
Mientras que la primera aplicación de Merge es equivalente a la relación Cabeza-Complemento, la segunda aplicación de Merge es equivalente a la relación Especificador-Cabeza. Sin embargo, las dos teorías difieren en las afirmaciones que hacen sobre la naturaleza de la estructura Especificador-Cabeza-Complemento (SHC). En la teoría X-barra, SHC es un primitivo, un ejemplo de esto es la teoría de antisimetría de Kayne . En una teoría de Merge, SHC es derivado.