"CIENCIAS FORMALES"

                                                

                      ¿QUE SON LAS CIENCIAS FORMALES?

Las ciencias formales son conjuntos sistemáticos de conocimientos racionales y coherentes, (ya que su objeto de estudio no es el mundo, ni la realidad físico-natural, sino formas vacías de contenido) pero cuyos conocimientos pueden ser aplicados a dicha realidad físico-natural. El método propio de las ciencias formales es el método deductivo.​

Es aquella que trabaja con formas, es decir, con objetos ideales, que son creados por el hombre, que existen en su mente y son obtenidos por abstracción. Les interesan las formas y no los contenidos; no les importa lo que se dice, sino cómo se dice. La verdad de las ciencias formales es necesaria y formal.

Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias formales validan sus teorías con base en proposiciones, definiciones, axiomas y reglas de inferencia. Todas ellas son analíticas, a diferencia de las ciencias sociales y las ciencias naturales, que las comprueban de manera empírica, es decir, observando el mundo real.

                            Existen 3 tipos de ciencias formales:

1. Lógica: La lógica es la ciencia formal que estudia los principios de la demostración y la inferencia válida.
2. Matemática:  Las matemáticas o la matemática es el estudio de las propiedades y relaciones entre entidades abstractas como números, figuras geométricas o símbolos. La matemática en realidad es un conjunto de lenguajes formales que pueden ser usados como herramienta para plantear problemas de manera no ambigua en contextos específicos.
3. La informática: también llamada computación,​ es una ciencia que estudia métodos, técnicas, procesos, con el fin de almacenar, procesar y transmitir información y datos en formato digital. La informática, que se ha desarrollado rápidamente a partir de la segunda mitad del siglo XX con la aparición de tecnologías como el circuito integrado, el Internety el teléfono móvil,​ es la rama de la tecnología que estudia el tratamiento automático de la información.