La lingüística formal es la rama de la lingüística que utiliza métodos matemáticos aplicados para el análisis de los lenguajes naturales . Dichos métodos incluyen los lenguajes formales , las gramáticas formales y las expresiones lógicas de primer orden . La lingüística formal también constituye la base de la lingüística computacional . Desde la década de 1980, el término se utiliza a menudo para referirse a la lingüística chomskiana . [1]
Los métodos de la lingüística formal fueron introducidos por semiólogos como Charles Sanders Peirce y Louis Hjelmslev . Basándose en el trabajo de David Hilbert y Rudolf Carnap , Hjelmslev propuso el uso de gramáticas formales para analizar, generar y explicar el lenguaje en su libro de 1943 Prolegómenos para una teoría del lenguaje . [2] [3] En esta perspectiva, se considera que el lenguaje surge de una relación matemática entre el significado y la forma.
La descripción formal del lenguaje fue desarrollada por lingüistas como JR Firth y Simon Dik , dando lugar a marcos gramaticales modernos como la lingüística funcional sistémica y la gramática funcional del discurso . Se han desarrollado métodos computacionales mediante el marco de descripción generativa funcional, entre otros.
La gramática de dependencia , creada por el estructuralista francés Lucien Tesnière , [4] se ha utilizado ampliamente en el procesamiento del lenguaje natural .
Los modelos analíticos basados en la semántica y la pragmática del discurso fueron rechazados por la escuela lingüística bloomfieldiana [5] cuyos derivados colocan el objeto en el sintagma verbal , siguiendo la Völkerpsychologie de Wilhelm Wundt . Los formalismos basados en esta convención fueron construidos en la década de 1950 por Zellig Harris y Charles Hockett . Estos dieron lugar a la gramática generativa moderna . [3] Se ha sugerido que las relaciones de dependencia son causadas por una mutación aleatoria en el genoma humano . [6]
Los modelos generativos de lingüística formal, como la gramática de estructura de frase impulsada por la cabeza , también se han utilizado en el procesamiento del lenguaje natural.