Draft:Mathematical linguistics

Mathematical linguistics is the application of mathematics to model phenomena and solve problems in general linguistics and theoretical linguistics. Mathematical linguistics has a significant amount of overlap with computational linguistics.

Discrete Mathematics

Discrete mathematics is used in language modeling, including formal grammars, language representation, and historical linguistic trends.

Set Theory

Semantic classes, word classes, natural classes, and the allophonic variations of each phoneme in a language are all examples of applied set theory. Set theory and concatenation theory are used extensively in phonetics and phonology.

Combinatorics

In phonotactics, combinatorics is useful for determining which sequences of phonemes are permissible in a given language, and for calculating the total number of possible syllables or words, based on a given set of phonological constraints. Combinatorics on words can reveal patterns within words, morphemes, and sentences.

Finite-State Transducers

Context-sensitive rewriting rules of the form a → b / c _ d, used in linguistics to model phonological rules and sound change, are computationally equivalent to finite-state transducers, provided that application is nonrecursive, i.e. the rule is not allowed to rewrite the same substring twice.

Weighted FSTs found applications in natural language processing, including machine translation, and in machine learning. An implementation for part-of-speech tagging can be found as one component of the OpenGrm library.

Algorithms

Optimality theory (OT) and maximum entropy (Maxent) phonotactics use algorithmic approaches when evaluating candidate forms (phoneme strings) for determining the phonotactic constraints of a language.

Graph Theory

Trees have several applications in linguistics, including:

• Parsing trees
• Sentence diagrams
• Semantic networks
• Language family trees
• Etymology trees
• Weighted graphs are used to model the lexical similarity between different languages (after computing lexicostatistics):
• Lattice graphs can model optimality theory

Formal linguistics

Template:Main Formal linguistics is the branch of linguistics which uses formal languages, formal grammars and first-order logical expressions for the analysis of natural languages. Since the 1980s, the term is often used to refer to Chomskyan linguistics.

Logic

Template:Main Logic is used to model syntax, formal semantics, and pragmatics. Modal logic can model syntax that employs different grammatical moods. Most linguistic universals (e.g. Greenberg's linguistic universals) employ propositional logic. Lexical relations between words can be determined based on whether a pair of words satisfies conditional propositions.

The Logical Relations of Lexical Relations

Lexical Relation	Logical Relation	Example
Synonym	$x\leftrightarrow y$	If pavement then sidewalk, and if sidewalk then pavement.
Complementary antonyms	$(x\to \mathrm{\neg }y)\wedge (y\to \mathrm{\neg }x)$	If alive then not dead, and if dead then not alive.
Gradable antonyms	$(x\to \mathrm{\neg }y)\wedge (y\to \mathrm{\neg }x)$	If good then not bad, and if bad then not good.
Relational antonyms (Nouns)	If A is B's X, then B is A's Y	If A is B's parent, then B is A's child.
Relational antonyms (Verbs)	If A Xs to B, then B Ys from A	If A gives to B, then B receives from A.
Relational antonyms (Prepositions)	If A is X B, then B is Y A	If A is below B, then B is above A.
Hyponym	X is a Y, but Y is not only an X	If a terrier, then a dog.
Cohyponym	X and Y are both Zs	A rose and a tulip are both flowers.
Meronym	the parts of a Y include the Xs	The parts of a wheel include the spokes.
Quasi-Meronym	An X belongs to a Y	A tribesman belongs to a tribe.

Semiotics

Template:Main Methods of formal linguistics were introduced by semioticians such as Charles Sanders Peirce and Louis Hjelmslev. Building on the work of David Hilbert and Rudolf Carnap, 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 and functional discourse grammar. Computational methods have been developed by the framework functional generative description among others.

Dependency grammar, created by French structuralist Lucien Tesnière, has been used widely in natural language processing.

Differential Equations & Multivariate Calculus

The Fast Fourier Transform, Kalman filters, and autoencoding are all used in signal processing (advanced phonetics, speech recognition).

Statistics

In linguistics, statistical methods are necessary to describe and validate research results, as well as to understand observations and trends within an area of study.

Corpus statistics

Template:Main Student's t-test can be used to determine whether the occurrence of a collocation in a corpus is statistically significant. For a bigram $w_1{w}_2$, let $P(w_1)=\frac{\mathrm{\#}{w}_1}{N}$ be the unconditional probability of occurrence of $w_1$ in a corpus with size $N$, and let $P(w_2)=\frac{\mathrm{\#}{w}_2}{N}$ be the unconditional probability of occurrence of $w_2$ in the corpus. The t-score for the bigram $w_1{w}_2$ is calculated as:

$t=\frac{\overline{x}-\mu }{\sqrt{\frac{s^2}{N}}},$

where $\overline{x}=\frac{\mathrm{\#}{w}_i{w}_j}{N}$ is the sample mean of the occurrence of $w_1{w}_2$, $\mathrm{\#}{w}_1{w}_2$ is the number of occurrences of $w_1{w}_2$, $\mu =P(w_i)P(w_j)$ is the probability of $w_1{w}_2$ under the null-hypothesis that $w_1$ and $w_2$ appear independently in the text, and $s^2=\overline{x}(1-\overline{x})\approx \overline{x}$ is the sample variance. With a large $N$, the t-test is equivalent to a Z-test.

Lexicostatistics

Template:Main Lexicostatistics can model the lexical similarities between languages that share a language family, sprachbund, language contact, or other historical connections.

Quantitative linguistics

Template:Main Quantitative linguistics (QL) deals with language learning, language change, and application as well as structure of natural languages. QL investigates languages using statistical methods; its most demanding objective is the formulation of language laws and, ultimately, of a general theory of language in the sense of a set of interrelated languages laws. Synergetic linguistics was from its very beginning specifically designed for this purpose. QL is empirically based on the results of language statistics, a field which can be interpreted as statistics of languages or as statistics of any linguistic object. This field is not necessarily connected to substantial theoretical ambitions. Corpus linguistics and computational linguistics are other fields which contribute important empirical evidence.

Quantitative comparative linguistics

Template:Main Quantitative comparative linguistics is a subfield of quantitative linguistics which applies quantitative analysis to comparative linguistics. It makes use of lexicostatistics and glottochronology, and the borrowing of phylogenetics from biology.

See Also

• Computational linguistics
• International Linguistics Olympiad

Bibliography

• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite book