Diferencia entre ciencias formales y ciencias fácticas
Las ciencias formales demuestran a partir de axiomas; las fácticas contrastan hipótesis con los hechos.
La diferencia entre ciencias formales y ciencias fácticas está en qué estudian y en cómo deciden que algo es verdad. Las formales, como la lógica y la matemática, trabajan con entes abstractos y prueban sus resultados mediante demostraciones. Las fácticas, como la física, la biología o la sociología, estudian hechos del mundo y necesitan la observación y el experimento para aceptar o rechazar sus hipótesis.
Cuadro comparativo
| Aspecto | Ciencias formales | Ciencias fácticas |
|---|---|---|
| Objeto de estudio | Entes ideales: números, figuras, proposiciones, estructuras | Hechos y procesos reales, naturales o sociales |
| Método principal | Deductivo: de axiomas y definiciones a teoremas | Hipotético-deductivo: hipótesis, predicción y contrastación empírica |
| Criterio de verdad | Coherencia: que el enunciado se siga de las premisas sin contradicción | Correspondencia con los hechos, comprobada mediante datos |
| Cómo se valida | Demostración | Observación, medición y experimento |
| Carácter de sus resultados | Definitivos dentro de su sistema | Provisionales y revisables ante nueva evidencia |
| Relación con la experiencia | No la necesitan para validar sus resultados | Dependen de ella |
| Lenguaje | Simbólico y artificial | Natural y técnico, apoyado en el formal |
| Ejemplos | Lógica, matemática, teoría de la computación | Física, química, biología, economía, sociología |
¿Qué son las ciencias formales y las ciencias fácticas?
Las ciencias formales estudian sistemas abstractos de signos y relaciones. Sus enunciados no hablan de ningún objeto concreto del mundo: hablan de formas. Por eso un teorema matemático se establece razonando a partir de axiomas, sin necesidad de salir a medir nada.
Las ciencias fácticas, también llamadas empíricas, estudian lo que ocurre en la naturaleza y en la sociedad. Su verdad depende de cómo es el mundo, de modo que sus afirmaciones deben enfrentarse una y otra vez con los datos.
La clasificación, muy difundida en el mundo hispanohablante, se debe sobre todo al filósofo y físico argentino Mario Bunge, que la expuso en La ciencia, su método y su filosofía (1960). Bunge resume el contraste así: las ciencias formales demuestran; las fácticas verifican (confirman o refutan) hipótesis. Ambas forman parte de la ciencia, pero llegan al conocimiento por caminos distintos.
Las diferencias, una por una
1. El objeto: ideas frente a hechos
El número π, una recta sin grosor o la conectiva lógica «si…, entonces» no existen como cosas que puedan pesarse. Son construcciones de la mente, aunque estén inspiradas en la experiencia. Una célula, un terremoto o una subida de precios, en cambio, son sucesos que ocurren con independencia de lo que pensemos de ellos.
2. El método: deducir frente a contrastar
Las ciencias formales parten de un conjunto de axiomas y reglas de inferencia, y obtienen de ellos consecuencias necesarias. Las fácticas siguen el método científico: observan, formulan una hipótesis, deducen predicciones y las ponen a prueba. También usan la deducción, pero el último juez es siempre la experiencia.
3. La verdad: coherencia frente a correspondencia
En una ciencia formal, un enunciado es verdadero si se sigue de las premisas sin caer en contradicción. En una fáctica, es verdadero si concuerda con lo que se observa. Esta distinción tiene raíces antiguas: Leibniz separaba las «verdades de razón» de las «verdades de hecho», y David Hume, en su Investigación sobre el entendimiento humano (1748), diferenciaba las «relaciones de ideas» de las «cuestiones de hecho».
4. La solidez de los resultados
Un teorema bien demostrado no caduca: el de Pitágoras vale hoy igual que en la Antigüedad dentro de la geometría euclídea. Las teorías fácticas, en cambio, se mantienen mientras resisten las pruebas. Karl Popper insistió en que una teoría empírica nunca queda verificada de forma definitiva, pero sí puede ser refutada por un hecho que la contradiga.
5. Dependencia mutua
Las ciencias fácticas necesitan a las formales para expresar leyes, medir y analizar datos; la física sin matemáticas sería impensable. A su vez, muchos problemas matemáticos nacieron de preguntas prácticas sobre el movimiento, la medición de tierras o el azar.
Un caso que lo aclara todo: la geometría
La geometría muestra muy bien la frontera entre ambos tipos de saber. Durante siglos se pensó que la geometría de Euclides describía sin más el espacio real. En el siglo XIX, Lobachevski, Bolyai y Riemann construyeron geometrías no euclídeas igual de coherentes, en las que, por ejemplo, los ángulos de un triángulo no suman 180°.
Como sistemas formales, todas son válidas: ninguna contiene contradicciones internas. Pero la pregunta «¿qué geometría tiene el espacio físico?» ya no es matemática, sino fáctica. Solo puede responderse midiendo. La relatividad general de Einstein describe un espacio-tiempo curvo, y observaciones como las del eclipse de 1919 apoyaron sus predicciones sobre la desviación de la luz. La matemática ofrece las posibilidades; la física decide cuál se cumple.
Ejemplos de enunciados formales y fácticos
| Enunciado | Tipo | Cómo se comprueba |
|---|---|---|
| Hay infinitos números primos. | Formal | Demostración (Euclides ya la ofrece en sus Elementos) |
| Si todo A es B y ningún B es C, ningún A es C. | Formal | Análisis de la forma lógica |
| La probabilidad de sacar dos seises con dos dados es 1/36. | Formal | Cálculo a partir de un modelo ideal de dados equilibrados |
| Este dado concreto sale seis una de cada seis veces. | Fáctico | Lanzarlo muchas veces y registrar los resultados |
| La luz tarda algo más de ocho minutos en llegar del Sol a la Tierra. | Fáctico | Mediciones astronómicas |
| El ADN de los seres vivos está formado por cuatro bases nitrogenadas. | Fáctico | Análisis bioquímico |
| Cuando sube el precio de un bien, suele bajar su demanda. | Fáctico | Estudio de datos económicos |
Fíjate en el tercer y el cuarto ejemplo: hablan de lo mismo, pero el primero describe un dado ideal y el segundo, uno real que puede estar trucado o desgastado.
Disciplinas en la frontera
No todo encaja con limpieza en un solo grupo:
- Estadística: su teoría es formal, pero se usa sobre todo para analizar datos empíricos.
- Informática: la teoría de la computación es formal; medir el rendimiento de un programa en un ordenador concreto es una tarea empírica.
- Economía: combina modelos matemáticos con el estudio de datos reales, y sus críticos discuten a veces hasta qué punto sus modelos se contrastan.
- Lingüística: estudia lenguas reales (fáctica), aunque algunas de sus ramas emplean modelos formales.
La clasificación es, por tanto, una herramienta para entender métodos, no una frontera rígida entre departamentos universitarios.
Importancia de la distinción
Saber si una afirmación es formal o fáctica permite elegir cómo evaluarla. No tiene sentido hacer una encuesta para comprobar un teorema, ni demostrar con lápiz y papel que un medicamento funciona. La distinción también ayuda a detectar errores frecuentes, como presentar un modelo matemático elegante como si eso bastara para probar que describe la realidad. Es una de las ideas básicas de la epistemología, la rama de la filosofía que estudia el conocimiento científico.
Ejercicios resueltos
1. Clasifica el enunciado: «La suma de los ángulos interiores de un triángulo euclídeo es 180°».
Se refiere a una figura ideal dentro de un sistema axiomático y se prueba con una demostración. Es un enunciado formal.
2. Clasifica: «Las ballenas son mamíferos».
Habla de seres vivos reales y se comprueba observando su anatomía y su reproducción. Es un enunciado fáctico, propio de la biología.
3. Un alumno mide los ángulos de un triángulo dibujado en su cuaderno y obtiene 178°. ¿Ha refutado el teorema?
No. El teorema se refiere a triángulos ideales; la medición tiene errores de dibujo y de transportador. La discrepancia es un problema fáctico de medida, no una refutación del resultado formal.
4. ¿Qué criterio de verdad se aplica a «el agua de mar es más densa que el agua dulce»?
El de correspondencia con los hechos: se comprueba midiendo densidades. Es una afirmación fáctica que se valida por medición.
5. Ordena en dos columnas: álgebra, astronomía, lógica, psicología, teoría de conjuntos, geología.
Formales: álgebra, lógica y teoría de conjuntos. Fácticas: astronomía, psicología y geología.
Preguntas frecuentes
¿Cuál es la diferencia principal entre ciencias formales y fácticas?
Las formales estudian entes abstractos y validan sus resultados mediante demostraciones; las fácticas estudian hechos reales y los validan con la observación y el experimento.
¿Quién propuso esta clasificación?
La popularizó el filósofo argentino Mario Bunge en «La ciencia, su método y su filosofía» (1960), aunque la idea de separar verdades de razón y verdades de hecho se remonta a Leibniz y Hume.
¿La matemática es una ciencia fáctica?
No. La matemática es la ciencia formal por excelencia: sus resultados se demuestran a partir de axiomas. Otra cosa es que se aplique constantemente al estudio de hechos.
¿Las ciencias sociales son fácticas?
Sí. La sociología, la economía o la psicología estudian hechos humanos y sociales, y sus hipótesis deben contrastarse con datos, aunque el experimento controlado sea más difícil que en las ciencias naturales.
¿Por qué los resultados fácticos son provisionales?
Porque siempre puede aparecer un dato nuevo que contradiga una teoría. Por eso las teorías empíricas se aceptan mientras resisten las pruebas y pueden corregirse o sustituirse.
Referencias
- Mario Bunge: La ciencia, su método y su filosofía, Siglo Veinte (1960).
- David Hume: Investigación sobre el entendimiento humano (1748).
- Karl R. Popper: La lógica de la investigación científica, Tecnos (1962; original alemán de 1934).
Cómo citar este artículo
Equipo de Conceptualia. (2026). «Diferencia entre ciencias formales y ciencias fácticas». Conceptualia. https://conceptualia.es/cultura-y-sociedad/conocimiento/diferencia-entre-ciencias-formales-y-ciencias-facticas/
