Formalización

Especificación del contenido del conocimiento realizada mediante la confrontación con los objetos, fenómenos y procesos que se estudian de una esfera determinada de la realidad, algunas construcciones materiales que poseen un carácter relativamente estable, gracias a lo cual es posible descubrir y fijar las partes esenciales, sujetas a ley, de los objetos examinados. La particularidad de la formalización como recurso gnoseológico estriba en que con ella, el contenido se descubre y precisa al revelar y establecer sus formas. De ahí que en toda formalización se dé siempre cierto endurecimiento de la realidad viva, en desarrollo. Sin embargo, tal «endurecimiento» constituye una parte necesaria del proceso del conocer. Históricamente, la formalización surgió a la vez que surgían el pensamiento y el lenguaje. Resultó de suma importancia para la formalización, el desarrollo de la escritura. Después, a medida que progresaba la ciencia, sobre todo la matemática, empezaron a añadirse a los idiomas naturales signos de carácter especial. La lógica formal dio origen a la formalizacíón lógica, que consiste en poner de manifiesto las formas lógicas de las conclusiones y demostraciones. En el desarrollo de los recursos de formalización, constituyó una gran etapa aquella en que se crearon –en la matemática de la Época Moderna– los cálculos literales y surgió la idea del cálculo lógico (Leibniz). La estructuración de los cálculos lógicos llevada a cabo en la lógica matemática desde mediados del siglo XIX ha permitido aplicar los recursos de esta última a la formalización de zonas enteras de la ciencia. Las esferas del saber formalizadas con los recursos de la lógica matemática toman el aspecto de sistemas formales. La formalización de los conocimientos no supera la relación dialécticamente contradictoria entre contenido y forma, contradicción característica de todo el conocimiento en su conjunto. Los resultados de la lógica moderna atestiguan que si se formaliza una teoría de contenido suficientemente rico, no puede ésta reflejarse por entero en dicho sistema formal: en la teoría, siempre queda un resto no revelado, no formalizado. Esta falta de correspondencia entre la formalización y el contenido formalizable se presenta en calidad de fuente interna del desarrollo de los recursos lógico-formales de la ciencia y suele expresarse en el descubrimiento de proposiciones insolubles (en el sistema formal dado) (Problema de la decidibilidad). (Otra de las formas en que dicha contradicción se manifiesta estriba en la aparición de antinomias). Tal estado de cosas se supera estableciendo nuevos sistemas formales en los que se formaliza parte de lo que no ha sido tenido en cuenta en las formalizaciones precedentes. De este modo se lleva a cabo una formalización cada vez más profunda: del contenido, aunque sin llegar nunca a la plenitud absoluta.