Tipos de ciencia
La ciencia formal es la rama de la ciencia que estudia estructuras abstractas mediante el razonamiento deductivo y la demostración lógica, sin recurrir a la experimentación ni a la observación empírica; sus dos campos principales, las matemáticas y la lógica, producen teoremas válidos en todos los universos posibles. Dentro del mapa completo de la ciencia existen 2 grandes familias: la ciencia formal y la ciencia fáctica, y esta última se desdobla a su vez en ciencias puras (física, química, biología) y en ciencias aplicadas (medicina, ingeniería, agronomía).
La pregunta Que es la ciencia no tiene una sola respuesta, porque el término abarca tanto el razonamiento sobre sistemas abstractos como el estudio de fenómenos medibles del mundo físico. La relación entre Ciencia y tecnologia explica por qué la segunda familia produce patentes, fármacos y protocolos de ingeniería, mientras que la primera aporta el aparato de demostración que esas aplicaciones necesitan para ser coherentes. Un ejemplo del puente entre ambas familias es La fisica como ciencia: la mecánica clásica se formuló primero como sistema axiomático y luego se probó midiendo la caída de un cuerpo a 9,8 m/s de aceleración, y la genética moderna usa álgebra para predecir los cruces de Células madre que un laboratorio de terapia celular cultiva antes de trasplantarlas.
Las dos grandes familias: formal y fáctica
La ciencia formal y la ciencia fáctica se separan por un criterio único: si el resultado depende de la observación de un fenómeno externo, pertenece a la familia fáctica; si basta con la coherencia interna del sistema para que sea verdadero, pertenece a la familia formal. Las matemáticas y la lógica son las 2 disciplinas que componen la ciencia formal, mientras que la física, la química, la biología, la geología y la astronomía forman el núcleo de la ciencia fáctica. La ciencia factica, nombre sin acento que circula en textos de tradición anglosajona, se refiere exactamente al mismo conjunto que la ciencia fáctica o ciencia factual: el bloque de saber que se contrasta contra datos medibles del mundo.
| Criterio | Ciencia formal | Ciencia fáctica | |
|---|---|---|---|
| Método | Deductivo y axiomático | Inductivo y experimental | |
| Evidencia | La demostración lógica | La observación y la medición | El experimento replicable |
| Disciplinas | Matemáticas, lógica | Física, química, biología, geología, astronomía | |
| Verdad | Coherencia interna | Adecuación al fenómeno observado | |
| Ejemplo de resultado | Un teorema sobre triángulos | Una ley de la termodinámica |
La ciencia formal: matemáticas y lógica
La ciencia formal trabaja sobre objetos que existen en el plano del pensamiento: números, conjuntos, proposiciones y relaciones. Sus reglas no se prueban en un laboratorio, sino que se aceptan como axiomas y a partir de ellos se deducen teoremas que son verdaderos en cualquier universo donde esos axiomas valgan. Las matemáticas, con 3 ramales principales (álgebra, geometría y análisis), y la lógica, que estudia la validez de las inferencias, constituyen todo el territorio de la ciencia formal. La lógica de Aristóteles, formulada en el siglo IV antes de nuestra era, estableció las 3 leyes clásicas (identidad, no contradicción y tercero excluido) que siguen siendo el esqueleto de la programación informatica y del diseño de circuitos digitales.
Un aspecto que distingue a la ciencia formal de la fáctica es que sus resultados no envejecen: el teorema de Pitágoras, demostrado hace unos 2 500 años, sigue siendo exactamente el mismo en 2026. La física, en cambio, ha revisado sus modelos 3 veces en los últimos 300 años: de Newton a Einstein, y de Einstein a la física cuántica.
La ciencia fáctica: el estudio de lo observable
La ciencia fáctica (también llamada ciencia factual o ciencia factica) parte de un dato medible y busca regularidades que expliquen ese dato. Su método es el método científico: observar, formular una hipótesis, diseñar un experimento que la ponga a prueba y, si los datos la sostienen, elevarla a teoría. La física estudia la materia y la energía, la química estudia las transformaciones de los átomos y la biología estudia los organismos vivos, mientras que la geología y la astronomía amplían el alcance al planeta y al cosmos. La física como ciencia fáctica es el caso más citado porque sus leyes, como la segunda ley de la termodinámica (la entropía de un sistema aislado nunca disminuye), se verifican en cada central térmica que convierte vapor en electricidad a 300 grados Celsius.
- La física mide la materia y la energía con unidades del Sistema Internacional, como el metro y el julio.
- La química describe reacciones entre 118 elementos que figuran en la tabla periódica actual.
- La biología clasifica la vida en 3 dominios: Bacteria, Archaea y Eukarya.
- La geología data la corteza terrestre en unos 4 500 millones de años por datación radiométrica.
- La astronomía aplica las leyes de Kepler para predecir órbitas con una precisión de 1 parte en 1 000 000.
Las ciencias aplicadas: de la teoría a la práctica
Las ciencias aplicadas toman un resultado de la ciencia pura y lo convierten en un artefacto, un protocolo o una política. La medicina, la ingeniería y la agronomía son las 3 áreas de aplicación más visibles. La medicina convierte los descubrimientos de la bioquímica en vacunas y protocolos de tratamiento; la ingeniería traduce las leyes de la física en puentes que soportan cargas de 10 000 toneladas y microprocesadores con transistores de 3 nanómetros; la agronomía aplica la genética para obtener semillas que rinden 2 veces más por hectárea que las variedades de 1960. La diferencia entre una ciencia pura y una aplicada no está en el rigor, sino en el objetivo declarado: la primera busca explicar, la segunda busca resolver.
Cómo se clasifican las ciencias: un mapa en 3 niveles
El mapa completo de las ciencias se organiza en 3 niveles de abstracción. En el primer nivel están las 2 familias: la ciencia formal y la ciencia fáctica. En el segundo nivel se separan las ciencias fácticas en puras y aplicadas. En el tercer nivel, cada disciplina pura se subdivide en especialidades: la biología en genética, ecología y microbiología; la física en mecánica, óptica y cosmología. Este esquema de 3 niveles es el que usan las universidades hispanoamericanas para organizar sus planes de estudio y el que la UNESCO adoptó en su clasificación de áreas de conocimiento en 1997. Entender en qué nivel se ubica una afirmación permite juzgar qué tipo de evidencia la sostiene: un teorema matemático exige una demostración, una ley física exige un experimento replicable y una recomendación médica exige un ensayo clínico con al menos 500 participantes.
La frontera entre formal y fáctica
La frontera entre la ciencia formal y la ciencia fáctica no es una muralla, sino una zona de intercambio constante. Las matemáticas, disciplina formal por excelencia, se convierten en herramienta fáctica cuando modelan un fenómeno concreto: la ecuación de Navier-Stokes, puramente deducida, predice con un error menor al 5 % la resistencia de un fluido que fluye por una tubería de 50 cm de diámetro. La física, a la inversa, aporta intuiciones a la matemática: la geometría no euclidiana que Riemann formuló en 1854 como abstracción pura resultó ser el lenguaje exacto que Einstein necesitó en 1915 para escribir la relatividad general. Esa interdependencia explica que ningún investigador serio trabaje solo en una familia: el físico usa análisis matemático, el biólogo usa estadística inferencial y el ingeniero usa lógica booleana para programar los sistemas de control de sus máquinas.