A linguística é, sem dúvida, uma das raras disciplinas a ter uma matematização específica. Ela pode ser acompanhada sob a forma da literalização desde a aparição da lógica. Entre as diferentes formas de matematização, a via quantitativa não tem sido fecunda. A via semântica por muito tempo foi mais produtiva. Deve-se a ela o nascimento de novos objetos matemáticos. O sucesso da matematização resultou da extensão da noção de cálculo: primeiro com a álgebra de Boole; depois com a constituição da noção moderna de calculabilidade, ligada às máquinas de Turnig e à teoria de linguagens formais; neste processo uma linguística matemática se impôs definitivamente na segunda metade do século XX.