El
lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y
significados». Es una de las características esenciales del
lenguaje científico. Incluso hay autores que llegan a opinar que la ciencia en sí misma no es más que un lenguaje. Esto es especialmente notable e importante en la
lógica y las
matemáticas.