Formalización

Proceso de traducción del lenguaje natural al formal.

Formalizar un lenguaje equivale a especificar su estructura mediante un metalenguaje (un lenguaje que se usa para hablar sobre otro). Formalizamos cuando traducimos expresiones del lenguaje natural al lenguaje formal de la lógica proposicional. (Véase lenguaje formal, lenguaje natural, lenguaje objeto, metalenguaje).