La formalización es la representación de cualquier área de contenido ( razonamiento , evidencia , procedimientos de clasificación , recuperación de información, teorías científicas ) en forma de un sistema formal o cálculo.
Dado que la estructura lingüística de un lenguaje natural no coincide con la estructura lógica de las formas y leyes del pensamiento que se encarnan en este lenguaje, la lógica se ve obligada a crear herramientas especiales que permitan eliminar del lenguaje natural las formas de el pensamiento, sus propiedades lógicas, las relaciones esenciales entre ellas, para determinar los principios de la lógica lógica , la deducción , los criterios para distinguir entre modos correctos e incorrectos de razonamiento.
La creación de la lógica de un lenguaje especial, junto con la existente en el lenguaje natural, es un proceso especial que prevé que el sistema de signos artificial creado sea un medio para fijar la estructura lógica del pensamiento, por un lado, y un medio de estudiar las propiedades y relaciones lógicas del pensamiento, por el otro. Es decir, el lenguaje de la lógica es, ante todo, su método. Es costumbre decir no "lenguaje artificial de la lógica", sino "lenguaje formalizado de la lógica". Con la mano ligera del filósofo alemán Immanuel Kant , se le atribuyó el adjetivo “formal” a la lógica, por lo que la lógica pasó a denominarse formal, y su método - formalización. .
Cualquier formalización, por definición, ignora parte de la información disponible y, por lo tanto, empobrece la idea significativa del objeto en estudio [1] .