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 las estructuras de las oraciones. [3] [4] Dichos formalismos incluyen diferentes metodologías de gramática generativa que están especialmente diseñadas para producir cadenas de palabras gramaticalmente correctas; [5] o similares a Functional Discourse Grammar, que se basa en la lógica de predicados. [6]
Además, se puede pensar en el formalismo como una teoría del lenguaje. Esta es más comúnmente una referencia al formalismo matemático que sostiene 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 sobre estructuras semánticas a priori que existen independientemente de los humanos. [7]
"Una teoría, una regla, una definición o similar debe llamarse formal cuando no se hace referencia en ella ni al significado de los símbolos (por ejemplo, las palabras) ni al sentido de las expresiones (por ejemplo, las oraciones ), sino simple y exclusivamente a los tipos y el orden de los símbolos a partir de los cuales se construyen las expresiones ". [8]
El término "formalismo" pertenece 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 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 considerabaLas secuencias y operaciones matemáticas como puramente axiomáticas sin contenido mental y, por 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 significativas, y que nuestra capacidad para realizar tareas matemáticas complejas se basa en la extensión de conceptos simples como números no imaginarios bajos, suma , resta , etc. Basado en la lógica matemática , Husserl también creó una "semántica formal" argumentando que el significado lingüístico se compone de 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, esa sintaxis también se compone de proposiciones lógicas. [10]
Los defensores del formalismo temprano 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, sugiriendo que pudo haber estado familiarizado con el " formalismo de juegos ". Sin embargo, desarrolla la idea en una dirección diferente, intentando demostrar que cada estado sincrónico de un idioma es similar a una composición de ajedrez.en que su historia es irrelevante para los jugadores. A diferencia de los formalistas matemáticos, Saussure considera que todos los signos son significativos por definición y sostiene que las "reglas" —en su tesis, las leyes del sistema semiótico— son universales y eternas. [11] Por lo tanto, no se refiere a reglas gramaticales específicas, sino a fenómenos constantes como la analogía y la oposición .
