Las ciencias formales son un conjunto de ciencias que estudian los lenguajes formales y los sistemas formales. Se consideran ciencias puras la matemática, la lógica, la estadística y, recientemente, la ciencia de computación. Si bien su objeto de estudio no es el mundo físico o natural, sino objetos abstractos, sus conocimientos pueden ser más o menos aplicados a dicha realidad físico-natural. El método propio de las ciencias formales es la deducción; y a diferencia de las ciencias fácticas, no admite la inducción ni la abducción.Concepto de ciencias formales en DeConceptos. 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 y por regla general se asumen exactas o perfectas, a diferencia de las ciencias sociales y las ciencias naturales, que se argumentan de manera empírica o con métodos experimentales; 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.
Ejemplos
Matemática
Lógica
Ciencias de la computación
Estadística
Véase también
Ciencias naturales Ciencias sociales Ciencias aplicadas
Referencias