Formalismo (lingüística)

En lingüística, el término formalismo se utiliza en una variedad de significados que se relacionan con la lingüística formal de diferentes maneras. En el uso común, es simplemente sinónimo de un modelo gramatical o un modelo sintáctico: un método para analizar estructuras de oraciones. Dichos formalismos incluyen diferentes metodologías de gramática generativa que están especialmente diseñadas para producir cadenas de palabras gramaticalmente correctas; o los gustos de Functional Discourse Grammar, que se basa en la lógica de predicados.

Además, el formalismo se puede considerar como una teoría del lenguaje. Esta es más comúnmente una referencia al formalismo matemático que argumenta que la sintaxis es puramente axiomática y se basa en secuencias generadas por operaciones matemáticas. Esta idea contrasta con el psicologismo y el logicismo que, respectivamente, sostienen que la sintaxis se basa en la psicología humana; o en estructuras semánticas a priori que existen independientemente de los humanos.

Definiciones

Rudolph Carnap definió el significado del adjetivo formal en 1934 de la siguiente manera:

“Una teoría, una regla, una definición o similar se llama formal cuando en ella no se hace referencia ni al significado de los símbolos (por ejemplo, las palabras) ni al sentido de las expresiones (por ejemplo, las oraciones), sino simple y únicamente a los tipos y orden de los símbolos a partir de los cuales se construyen las expresiones”.

Martin Kusch define el formalismo lingüístico como "un tratamiento puramente sintáctico del lenguaje".

Historia

El término 'formalismo' se refiere originalmente a los debates de finales del siglo XIX en la filosofía de las matemáticas, pero estas discusiones también conducirían al desarrollo de la sintaxis formal y la semántica formal. En tales debates, los defensores del psicologismo argumentaron que la aritmética surge de la psicología humana, afirmando que no existen verdades matemáticas absolutas. Así, en principio, una ecuación como 1 + 1 = 2 depende de una forma de pensar humana y por lo tanto no puede tener valor objetivo. Así lo argumentó el psicólogo Wilhelm Wundt, entre otros. Muchos matemáticos no estuvieron de acuerdo y propusieron un "formalismo" que consideraba las secuencias y operaciones matemáticas como puramente axiomáticas sin contenido mental y, por lo tanto, desconectadas de la psicología humana.

Edmund Husserl no estuvo de acuerdo con ambas afirmaciones. Argumentó que tanto los números cardinales como las operaciones aritméticas son fundamentalmente significativos, y que nuestra capacidad para realizar tareas matemáticas complejas se basa en la extensión de conceptos simples como números bajos no imaginarios, sumas, restas, etc. Basándose en la lógica matemática, Husserl también creó una "semántica formal" argumentando que el significado lingüístico está compuesto por una serie de proposiciones lógicas. Además, argumentó, por un lado, que el pensamiento humano y, por lo tanto, el mundo tal como lo percibimos, está compuesto de manera similar; y por otro, que la sintaxis también se compone de proposiciones lógicas.

Los defensores del formalismo primitivo habían comparado las matemáticas con un juego de ajedrez en el que todos los movimientos válidos se basan en un puñado de reglas arbitrarias sin ningún contenido verdaderamente significativo. En su Curso de lingüística general (póstumo, 1916), Ferdinand de Saussure también compara las reglas gramaticales de un idioma con un juego de ajedrez, lo que sugiere que puede haber estado familiarizado con el "formalismo del juego". Sin embargo, desarrolla la idea en una dirección diferente, intentando demostrar que cada estado sincrónico de un lenguaje es similar a una composición de ajedrez en el sentido de que su historia es irrelevante para los jugadores. A diferencia de los formalistas matemáticos, Saussure considera que todos los signos tienen significado por definición y argumenta que las "reglas" —en su tesis, las leyes del sistema semiótico— son universales y eternas.Así, no está hablando de reglas gramaticales específicas, sino de fenómenos constantes como la analogía y la oposición.

En 1943, Louis Hjelmslev combinó el concepto de signo bilateral de Saussure (significado + forma) con las gramáticas matemáticas de Rudolph Carnap. Hjelmslev estuvo profundamente influenciado por la lingüística funcional del círculo lingüístico de Praga, considerando la pragmática como parte integral de la gramática. Sin embargo, algunos defensores de la lingüística funcional no estaban de acuerdo con el enfoque lógico-matemático de Hjelmslev y su terminología, donde la palabra "función" indica una mera dependencia estructural en contraposición con el funcionalismo clásico, donde significa "propósito". En consecuencia, Hjelmslev fue llamado "formalista". En tal referencia, el "formalismo" hjelmsleviano está más cerca del logicismo husserliano que del formalismo del juego porque la semántica constituye uno de los dos planos fundamentales de su noción de lenguaje.

Nuevamente, Roman Jakobson, quien de hecho fue miembro de la escuela funcionalista de Praga, también fue un defensor de una teoría o movimiento literario llamado formalismo ruso. Este enfoque no era particularmente matemático, pero tenía como objetivo analizar el texto por derecho propio. Recibió este nombre de sus oponentes quienes lo consideraban como una falsa separación entre la literatura y la psicología.

La idea de Wundt de analizar la cultura como producto de la psicología fue rechazada por sus sucesores en Europa. En matemáticas, la mayoría de los estudiosos de la época se pusieron del lado de Husserl, aunque hoy el filósofo Martin Kusch argumenta que Husserl no logró refutar definitivamente el psicologismo. Los lingüistas estructurales y funcionales europeos estuvieron de acuerdo con Husserl y Saussure, ambos opuestos a la visión psicológica e histórica del lenguaje de Wundt, dando a la semántica un papel explicativo central en sus teorías lingüísticas. Sin embargo, el interés en la lingüística matemática siguió siendo limitado en la lingüística general en Europa.

La situación era diferente en los Estados Unidos, donde Franz Boas importó las ideas de Wundt para formar la escuela de antropología boasiana. Sus alumnos incluyeron a los lingüistas Edward Sapir y Benjamin Whorf. Leonard Bloomfield, por otro lado, viajó a Alemania para asistir a las conferencias de lingüística de Wundt. Basado en sus ideas, Bloomfield escribió su libro de texto de 1914 Introducción al estudio del lenguaje convirtiéndose en la figura principal de la lingüística estadounidense hasta su muerte en 1949. Bloomfield propuso un enfoque "filosófico-descriptivo" para el estudio del lenguaje sugiriendo que la tarea del lingüista es documentar y analizar muestras lingüísticas dejando más cuestiones teóricas a los psicólogos.

La escuela post-Bloomfieldiana de la década de 1950 también estaba cada vez más interesada en la lingüística matemática. Basado en el modelo de sintaxis aritmética de Carnap, Zellig Harris y Charles Hockett propusieron una versión de la gramática generativa cuyo propósito final es generar secuencias gramaticales de palabras. Abogaron por el distribucionalismo como un intento de definir los constituyentes sintácticos. Se sugirió, por ejemplo, que un sintagma nominal como una hermosa casa no se basa en la constitución de su significado, sino en el hecho de que tales palabras (determinante, adjetivo, sustantivo) tienden a aparecer juntas en los textos.Este intento fue abandonado después de que Noam Chomsky propusiera que el estudio de la sintaxis es el estudio del conocimiento del lenguaje y, por lo tanto, una ciencia cognitiva. Su justificación para el análisis se convirtió en que las estructuras sintácticas descubiertas por un lingüista generativo son innatas y se basan en una mutación genética aleatoria. Chomsky ha argumentado desde el principio que las matemáticas no tienen valor explicativo para la lingüística, que define como un subcampo de la psicología cognitiva. Por lo tanto, su enfoque se opone al formalismo del juego.

"Cuando se desarrolló por primera vez la gramática generativa, un lenguaje se definió como un conjunto de oraciones, generadas por las reglas de una gramática, donde 'generado' es un término tomado de las matemáticas y solo significa formal o rigurosamente descrito [...].} Los primeros trabajos de Chomsky incluyeron una demostración de que tal definición de lenguaje no podría desempeñar un papel decisivo en la teoría lingüística".

En otras palabras, el psicologismo de Chomsky reemplazó al formalismo matemático en la lingüística generativa en la década de 1960. Sin embargo, Chomsky no argumenta contra el formalismo o el logicismo en matemáticas, solo que tales enfoques no son relevantes para el estudio del lenguaje natural. Sin embargo, está interesado en la forma precisa de la representación sintáctica correcta. Al desarrollar su teoría, Chomsky tomó influencias de la biología molecular. Más recientemente, ha descrito que la "gramática universal" tiene una forma cristalina, comparándola con un copo de nieve.En otras palabras, se utiliza un formalismo (es decir, un modelo sintáctico) para revelar patrones ocultos o simetrías subyacentes al lenguaje humano. A esta práctica se opuso el "funcionalismo" estadounidense que argumenta que el lenguaje no está cristalizado sino que es dinámico y está en constante cambio. Este tipo de funcionalismo incluye varios marcos inspirados en la memética y vinculados con la lingüística cognitiva de George Lakoff y sus asociados. Al igual que Wundt, Lakoff también propone un psicologismo para las matemáticas.

Sin embargo, existen algunos marcos que defienden el formalismo matemático en la actualidad. La gramática categorial es un tipo de gramática generativa que fue desarrollada por matemáticos y lógicos, incluidos Kazimierz Ajdukiewicz, Yehoshua Bar-Hillel y Joachim Lambek. Su método incluye un modelo separado para la sintaxis y la semántica. Así, incluso la gramática categorial incluye un componente significativo. Sin embargo, no es psicosocial porque no afirma que las estructuras sintácticas provengan de la psicología humana; tampoco es logicista porque, a diferencia de Husserl, no considera lógicas las estructuras del lenguaje natural. Además, a diferencia del estructuralismo, su enfoque se adhiere a una visión matemática más que semiótica del lenguaje. Tal marco, entonces, es puramente descriptivista y ateórico, es decir, no pretende explicar por quélos lenguajes son como son, o sólo teóricos en lo que respecta al concepto de la palabra 'teoría' en matemáticas, especialmente en la teoría de modelos.

Ideas

Un supuesto central del formalismo lingüístico, y de la lingüística generativa en particular, se denomina autonomía de la sintaxis, según la cual las estructuras sintácticas se construyen mediante operaciones que no hacen referencia al significado, discurso o uso. En una formulación, esta noción se define como que la sintaxis es arbitraria y autónoma con respecto al significado, la semántica, la pragmática y otros factores externos al lenguaje. Por ello, aquellos enfoques que adoptan ese supuesto también han sido denominados lingüística autonomista. La suposición de la autonomía de la sintaxis es lo que más destaca el formalismo lingüístico del funcionalismo lingüístico, y está en el centro del debate entre los dos.A lo largo de las décadas, se han encontrado múltiples instancias de casos en los que las estructuras sintácticas están realmente determinadas o influenciadas por rasgos semánticos, y algunos formalistas y generativistas han reaccionado reduciendo aquellas partes de la semántica que consideran autónomas. A lo largo de las décadas, en los cambios que Noam Chomsky ha realizado en su formulación generativa, se ha pasado de una reivindicación de la autonomía de la sintaxis a la de una autonomía de la gramática.

Otra idea central del formalismo lingüístico es que el lenguaje humano se puede definir como un lenguaje formal como el lenguaje de las matemáticas y los lenguajes de programación. Además, las reglas formales se pueden aplicar fuera de la lógica o las matemáticas al lenguaje humano, tratándolo como un sistema formal matemático con una gramática formal.

Una postura característica de los enfoques formalistas es la primacía de la forma (como la sintaxis) y la concepción del lenguaje como un sistema aislado del mundo exterior. Un ejemplo de esto es el principio de arbitrariedad del signo de Saussure, según el cual no existe una relación intrínseca entre un significante (una palabra) y el significado (concepto) al que se refiere. A esto se contrapone el principio de iconicidad, según el cual un signo, como una palabra, puede verse influido por su uso y por los conceptos a los que se refiere. El principio de iconicidad es compartido por enfoques funcionalistas, como la lingüística cognitiva y la lingüística basada en el uso, y también por la tipología lingüística.

La lingüística generativa se ha caracterizado, y parodiado, como la opinión de que un diccionario y un libro de texto de gramática describen adecuadamente un idioma. La forma cada vez más abstracta en la que se han definido las reglas sintácticas en los enfoques generativos ha sido criticada por la lingüística cognitiva por tener poca consideración por la realidad cognitiva de cómo el lenguaje se representa realmente en la mente humana. Otra crítica se dirige al principio de autonomía de la sintaxis y encapsulación del sistema del lenguaje, señalando que "los aspectos estructurales del lenguaje han sido moldeados por las funciones que necesita realizar", lo que también es un argumento a favor del principio opuesto de iconicidad.