Formal linguistics is a branch of mathematical linguistics which uses

formal language In logic, mathematics, computer science, and linguistics, a formal language is a set of strings whose symbols are taken from a set called "alphabet". The alphabet of a formal language consists of symbols that concatenate into strings (also c ...

formal grammar A formal grammar is a set of Terminal and nonterminal symbols, symbols and the Production (computer science), production rules for rewriting some of them into every possible string of a formal language over an Alphabet (formal languages), alphabe ...

s and

first-order logic First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over ...

al expressions for the analysis of

natural language A natural language or ordinary language is a language that occurs naturally in a human community by a process of use, repetition, and change. It can take different forms, typically either a spoken language or a sign language. Natural languages ...

s. Formal linguistics forms much of the basis of

computational linguistics Computational linguistics is an interdisciplinary field concerned with the computational modelling of natural language, as well as the study of appropriate computational approaches to linguistic questions. In general, computational linguistics ...

. Since the 1980s, the term is often used to refer to Chomskyan linguistics.

Approaches

Semiotic

Methods of formal linguistics were introduced by

semioticians Semiotics ( ) is the systematic study of sign processes and the communication of meaning. In semiotics, a sign is defined as anything that communicates intentional and unintentional meaning or feelings to the sign's interpreter. Semiosis is an ...

such as

Charles Sanders Peirce Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American scientist, mathematician, logician, and philosopher who is sometimes known as "the father of pragmatism". According to philosopher Paul Weiss (philosopher), Paul ...

and

Louis Hjelmslev Louis Trolle Hjelmslev (; 3 October 189930 May 1965) was a Danish linguist whose ideas formed the basis of the Copenhagen School of linguistics. Born into an academic family (his father was the mathematician Johannes Hjelmslev), Hjelmslev studi ...

. Building on the work of

David Hilbert David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician and philosopher of mathematics and one of the most influential mathematicians of his time. Hilbert discovered and developed a broad range of fundamental idea ...

and

Rudolf Carnap Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. ...

, Hjelmslev proposed the use of formal grammars to analyse, generate and explain language in his 1943 book ''Prolegomena to a Theory of Language''. In this view, language is regarded as arising from a mathematical relationship between meaning and form. The formal description of language was further developed by linguists including J. R. Firth and Simon Dik, giving rise to modern grammatical frameworks such as

systemic functional linguistics Systemic functional linguistics (SFL) is an approach to linguistics, among functional linguistics, that considers language as a social semiotic system. It was devised by Michael Halliday, who took the notion of system from J. R. Firth, his ...

and

functional discourse grammar Functional grammar (FG) and functional discourse grammar (FDG) are grammar models and theories motivated by functional theories of grammar. These theories explain how linguistic utterances are shaped, based on the goals and knowledge of natural la ...

. Computational methods have been developed by the framework

functional generative description Functional generative description (FGD) is a linguistic framework developed at Charles University in Prague since the 1960s by a team led by Petr Sgall. Based on the dependency grammar formalism, it is a stratificational grammar formalism that trea ...

among others.

Dependency grammar Dependency grammar (DG) is a class of modern Grammar, grammatical theories that are all based on the dependency relation (as opposed to the ''constituency relation'' of Phrase structure grammar, phrase structure) and that can be traced back prima ...

, created by French structuralist

Lucien Tesnière Lucien Tesnière (; May 13, 1893 – December 6, 1954) was a prominent and influential French linguist. He was born in Mont-Saint-Aignan on May 13, 1893. As a senior lecturer at the University of Strasbourg (1924) and later professor at the ...

, has been used widely in

natural language processing Natural language processing (NLP) is a subfield of computer science and especially artificial intelligence. It is primarily concerned with providing computers with the ability to process data encoded in natural language and is thus closely related ...

Psychological

Analytical models based on semantics and

discourse Discourse is a generalization of the notion of a conversation to any form of communication. Discourse is a major topic in social theory, with work spanning fields such as sociology, anthropology, continental philosophy, and discourse analysis. F ...

pragmatics In linguistics and the philosophy of language, pragmatics is the study of how Context (linguistics), context contributes to meaning. The field of study evaluates how human language is utilized in social interactions, as well as the relationship ...

were rejected by the Bloomfieldian school of linguistics whose derivatives place the

object Object may refer to: General meanings * Object (philosophy), a thing, being, or concept ** Object (abstract), an object which does not exist at any particular time or place ** Physical object, an identifiable collection of matter * Goal, an a ...

into the

verb phrase In linguistics, a verb phrase (VP) is a syntax, syntactic unit composed of a verb and its argument (linguistics), arguments except the subject (grammar), subject of an independent clause or coordinate clause. Thus, in the sentence ''A fat man quic ...

, following from

Wilhelm Wundt Wilhelm Maximilian Wundt (; ; 16 August 1832 – 31 August 1920) was a German physiologist, philosopher, and professor, one of the fathers of modern psychology. Wundt, who distinguished psychology as a science from philosophy and biology, was t ...

's Völkerpsychologie. Formalisms based on this convention were constructed in the 1950s by

Zellig Harris Zellig Sabbettai Harris (; October 23, 1909 – May 22, 1992) was an influential American linguist, mathematical syntactician, and methodologist of science. Originally a Semiticist, he is best known for his work in structural linguistics and di ...

and

Charles Hockett Charles Francis Hockett (January 17, 1916 – November 3, 2000) was an American linguist who developed many influential ideas in American structuralist linguistics. He represents the post- Bloomfieldian phase of structuralism often referred to ...

. These gave rise to modern

generative grammar Generative grammar is a research tradition in linguistics that aims to explain the cognitive basis of language by formulating and testing explicit models of humans' subconscious grammatical knowledge. Generative linguists, or generativists (), ...

. It has been suggested that dependency relations are caused by a random

mutation In biology, a mutation is an alteration in the nucleic acid sequence of the genome of an organism, virus, or extrachromosomal DNA. Viral genomes contain either DNA or RNA. Mutations result from errors during DNA or viral replication, ...

in the

human genome The human genome is a complete set of nucleic acid sequences for humans, encoded as the DNA within each of the 23 distinct chromosomes in the cell nucleus. A small DNA molecule is found within individual Mitochondrial DNA, mitochondria. These ar ...

. Generative models of formal linguistics, such as

head-driven phrase structure grammar Head-driven phrase structure grammar (HPSG) is a highly lexicalized, constraint-based grammar developed by Carl Pollard and Ivan Sag. It is a type of phrase structure grammar, as opposed to a dependency grammar, and it is the immediate successor t ...

, have also been used in natural language processing.

References

{{reflist Linguistics

linguistics Linguistics is the scientific study of language. The areas of linguistic analysis are syntax (rules governing the structure of sentences), semantics (meaning), Morphology (linguistics), morphology (structure of words), phonetics (speech sounds ...

Mathematical linguistics Computational linguistics

Approaches

Semiotic

Psychological

See also

References