Ciencias Formales

Las ciencias formales son conjuntos sistemáticos de conocimientos racionales y coherentes.

Si bien su objeto de estudio no es el mundo físico-natural, sino objetos puramente abstractos,
sus conocimientos pueden ser aplicados a dicha realidad físico-natural. El método propio de
las ciencia formal es la deducción; y a diferencia de la ciencia empírica, no admite la
inducción ni la abducción.1 Es aquella que trabaja con formas, es decir, con objetos ideales
que existen en la mente y son obtenidos por abstracción. La verdad en las ciencias formales
es entendida como verdad lógica: consecuencias que siguen necesariamente de considerar
todas las posibilidades o «formas» en las que podrían combinarse los hechos
preestablecidos.

Ejemplos de ciencias formales son las matemáticas, la lógica y las ciencias de la

computación.

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 se argumentan de manera empírica; es decir, observando el mundo
real para encontrar más o menos evidencia a favor de una hipótesis. Los conocimientos de la
ciencia formal suelen llamarse «teoremas», que a su vez provienen de demostraciones
matemáticas.

Lógica

La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que
estudia los principios de la demostración y la inferencia válida,5 las falacias, las paradojas y
la noción de verdad.6

La lógica matemática es la rama más matemática de la lógica, que estudia la inferencia

mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la
lógica modal. La lógica computacional es la aplicación de la lógica matemática a las ciencias
de la computación. La lógica filosófica utiliza los métodos y resultados de la lógica moderna
para el estudio de problemas filosóficos.

Ciencias de la computación

Las ciencias de la computación son las ciencias formales que abarcan las bases teóricas de
la información y la computación, así como su aplicación en sistemas computacionales.789 El
cuerpo de conocimiento de las ciencias de la computación es frecuentemente descrito como
el estudio sistemático de los procesos algorítmicos que describen y transforman información:
su teoría, análisis, diseño, eficiencia, implementación, algoritmos sistematizados y
aplicación.10 En términos más específicos se trata del estudio sistemático de la factibilidad,
estructura, expresión y mecanización de procedimientos metódicos (o algoritmos) que
subyacen en la adquisición, representación, procesamiento, almacenamiento, comunicación
y acceso a la información. La información puede estar codificada en forma de bits en una
memoria de computadora, o en algún otro objeto, como los genes y proteínas en una célula
biológica.