Formalist Linguistics

In linguistics, the term formalism is used in a variety of meanings which relate to formal linguistics in different ways. In common usage, it is merely synonymous with a grammatical model or a syntactic model: a method for analyzing sentence structures. Such formalisms include different methodologies of generative grammar which are especially designed to produce grammatically correct strings of words; or the likes of Functional Discourse Grammar which builds on predicate logic.

Additionally, ''formalism'' can be thought of as a theory of language. This is most commonly a reference to mathematical formalism which argues that syntax is purely axiomatic being based on sequences generated by mathematical operations. This idea stands in contradistinction to psychologism and logicism which, respectively, argue that syntax is based on human psychology; or on semantic a priori structures which exist independently of humans.

Definitions

Rudolph Carnap defined the meaning of the adjective ''formal'' in 1934 as follows:

"A theory, a rule, a definition, or the like is to be called ''formal'' when no reference is made in it either to the meaning of the symbols (for example, the words) or to the sense of the expressions (e.g. the sentences), but simply and solely to the kinds and order of the symbols from which the expressions are constructed."

Martin Kusch defines linguistic formalism as "a purely syntactical treatment of language".

History

The term 'formalism' originally pertains to late-nineteenth-century debates in the philosophy of mathematics, but these discussions would also lead to the development of formal syntax and formal semantics. In such debates, advocates of psychologism argued that arithmetic arises from human psychology, claiming that there are no absolute mathematical truths. Thus, in principle, an equation like 1 + 1 = 2 depends on a human way of thinking and therefore cannot have objective value. So was argued by psychologist Wilhelm Wundt among others. Many mathematicians disagreed and proposed "formalism" which considered mathematical sequences and operations as purely axiomatic with no mental content and thus disconnected from human psychology.

Edmund Husserl disagreed with both claims. He argued that both cardinal numbers and arithmetic operations are fundamentally meaningful, and that our ability to carry out complex mathematical tasks is based on the extension of simple concepts such as low non-imaginary numbers, addition, subtraction, and so on. Based on mathematical logic, Husserl also created a "formal semantics" arguing that linguistic meaning is composed of series of logical propositions. Additionally, he argued on the one hand that human thought, and thus the world as we perceive it, is similarly composed; and on the other, that syntax is also composed of logical propositions.

Advocates of early formalism had compared mathematics to a game of chess where all valid moves are based on a handful of arbitrary rules void of any truly meaningful content. In his ''Course in General Linguistics'' (posthumous, 1916), Ferdinand de Saussure likewise compares the grammatical rules of a language to a game of chess, suggesting he may have been familiar with " game formalism". He however develops the idea to a different direction, attempting to demonstrate that each synchronic state of a language is similar to a chess composition in that its history is irrelevant to the players. Unlike the mathematical formalists, Saussure considers all signs as meaningful by definition, and argues that the "rules"—in his thesis, laws of the semiotic system—are universal and eternal. Thus, he is not talking about specific grammatical rules, but constant phenomena such as analogy and opposition.

In 1943, Louis Hjelmslev combined Saussure's concept of the bilateral sign (meaning + form) with Rudolph Carnap's mathematical grammars. Hjelmslev was deeply influenced by the functional linguistics of the Prague linguistic circle, considering pragmatics as integral to grammar. Some advocates of functional linguistics however disagreed with Hjelmslev's logico-mathematical approach and his terminology where the word 'function' indicates a mere structural dependency in contradistinction with classical functionalism where it means 'purpose'. Hjelmslev was consequently called "formalist". In such reference, Hjelmslevian "formalism" is closer to Husserlian logicism than game formalism because semantics constitutes one the two fundamental planes of his notion of language.

Again, Roman Jakobson