gramática formal

Disciplina de la gramática que estudia el lenguaje mediante modelos formales y matemáticos. Se recurre a la formalización cuando se quiere evitar los riesgos que surgen al emplear la lengua para hablar de la lengua misma. Y es que, en efecto, usamos la lengua natural cuando hablamos normalmente y decimos cosas como (1) a pesar de las previsiones, ha llovido esta noche; pero también mencionamos a los elementos que forman parte de los enunciados en lengua natural cuando decimos (2) "las" es un artículo, o (3) ?noche" se escribe con minúscula. En (1) las y noche son usos de la lengua, en (2) y (3) son menciones. También podemos decir que en (2) y (3) usamos el español como metalenguaje y que nos referimos al español de (1) como ...