Ejemplos de ciencias formales
Las ciencias formales estudian entes abstractos como números o estructuras lógicas y validan sus resultados por demostración.
Las ciencias formales son las que estudian entes abstractos, como números, símbolos o estructuras lógicas, y validan sus resultados mediante la demostración, sin recurrir al experimento. La lógica y las matemáticas son los ejemplos clásicos, pero también lo son la estadística teórica, la informática teórica o la teoría de sistemas. Aquí tienes más de 65 ejemplos, sus hitos más importantes y ejercicios resueltos.
¿Qué son las ciencias formales?
Una ciencia formal es aquella cuyo objeto de estudio no son hechos del mundo, sino formas, relaciones y sistemas abstractos creados por la mente humana. Sus enunciados se demuestran por deducción a partir de axiomas, definiciones y reglas de inferencia, de modo que una vez probados son verdaderos de manera necesaria.
La distinción entre ciencias formales y ciencias fácticas fue popularizada por Mario Bunge en La ciencia, su método y su filosofía (1960). Para Bunge, la lógica y las matemáticas «demuestran», mientras que las ciencias fácticas «verifican». Aunque no estudian la realidad directamente, las ciencias formales son la herramienta que usan todas las demás para razonar y medir.
Características de las ciencias formales
- Objeto ideal: trabajan con entes abstractos (números, conjuntos, proposiciones) que no existen físicamente.
- Método deductivo: parten de axiomas y derivan teoremas con reglas lógicas.
- Verdad por demostración: no necesitan observación ni experimentos.
- Coherencia interna: un sistema formal es válido si no genera contradicciones.
- Lenguaje simbólico: usan notaciones precisas para evitar ambigüedades.
- Aplicabilidad universal: sirven de herramienta a la física, la economía, la informática o la lingüística.
Ejemplos de ciencias formales
Lógica y sus ramas
- Lógica aristotélica o silogística: el razonamiento por silogismos.
- Lógica proposicional: relaciones entre proposiciones mediante conectores.
- Lógica de predicados o de primer orden: añade cuantificadores («todo», «algún»).
- Lógica modal: necesidad y posibilidad.
- Lógica temporal: enunciados que cambian con el tiempo.
- Lógica deóntica: obligación y permiso.
- Lógica epistémica: conocimiento y creencia.
- Lógica difusa: grados de verdad entre 0 y 1, propuesta por Lotfi Zadeh en 1965.
- Lógica intuicionista: exige construcciones explícitas en las pruebas.
- Lógica paraconsistente: tolera contradicciones sin derrumbarse.
- Teoría de la demostración: estudia las pruebas como objetos formales.
- Teoría de modelos: relaciona lenguajes formales con sus interpretaciones.
Matemáticas
- Aritmética
- Álgebra
- Álgebra lineal
- Geometría
- Trigonometría
- Cálculo
- Análisis matemático
- Topología
- Teoría de números
- Teoría de conjuntos
- Combinatoria
- Teoría de grafos
- Ecuaciones diferenciales
- Geometría algebraica
- Teoría de categorías
- Matemática discreta
- Análisis numérico
- Geometría diferencial
- Teoría de la medida
- Teoría de grupos
Probabilidad y estadística teórica
- Teoría de la probabilidad: axiomatizada por Kolmogórov en 1933.
- Estadística matemática: fundamentos teóricos del análisis de datos.
- Inferencia estadística: conclusiones sobre poblaciones a partir de muestras.
- Estadística bayesiana: basada en el teorema de Bayes.
- Teoría del muestreo: cómo seleccionar muestras representativas.
- Diseño de experimentos: formalizado por Ronald Fisher en 1935.
- Procesos estocásticos: fenómenos aleatorios que evolucionan en el tiempo.
Informática teórica
- Teoría de la computabilidad: qué problemas puede resolver un algoritmo.
- Teoría de la complejidad computacional: cuántos recursos necesita un cálculo.
- Teoría de autómatas: máquinas abstractas de cálculo.
- Teoría de lenguajes formales: gramáticas y lenguajes de símbolos.
- Algoritmia: diseño y análisis de algoritmos.
- Cálculo lambda: sistema formal de funciones creado por Alonzo Church.
- Semántica formal de lenguajes de programación.
- Criptografía teórica: fundamentos matemáticos del cifrado.
- Verificación formal: prueba matemática de que un programa es correcto.
Otras ciencias formales
- Teoría de la información: fundada por Claude Shannon en 1948.
- Teoría de juegos: sistematizada por von Neumann y Morgenstern en 1944.
- Teoría de la decisión: elección racional bajo incertidumbre.
- Teoría general de sistemas: desarrollada por Ludwig von Bertalanffy.
- Cibernética: control y comunicación, término difundido por Norbert Wiener en 1948.
- Teoría de control: regulación de sistemas dinámicos.
- Investigación operativa (en su vertiente teórica): optimización matemática.
Hitos de las ciencias formales
- Aristóteles (siglo IV a. C.): primera sistematización de la lógica en el Órganon.
- Euclides (hacia 300 a. C.): los Elementos organizan la geometría a partir de axiomas y demuestran que hay infinitos números primos.
- George Boole (1854): Las leyes del pensamiento, origen del álgebra de Boole.
- Gottlob Frege (1879): la Conceptografía, base de la lógica moderna.
- Kurt Gödel (1931): teoremas de incompletitud.
- Alan Turing (1936): la máquina de Turing y la indecidibilidad del problema de la parada.
- Noam Chomsky (1956): jerarquía de los lenguajes formales.
- Stephen Cook (1971): formulación del problema P frente a NP.
Tipos de ciencias formales
| Tipo | Objeto | Ejemplos |
|---|---|---|
| Lógicas | Formas válidas de razonamiento | Lógica proposicional, modal, difusa |
| Matemáticas | Cantidad, estructura, espacio y cambio | Álgebra, geometría, topología |
| Teorías de la información y la computación | Algoritmos, información, lenguajes | Computabilidad, autómatas, teoría de la información |
| Teorías de sistemas y decisión | Estructuras de interacción y elección | Teoría de juegos, cibernética, teoría de sistemas |
Ejercicios resueltos
1. ¿La teoría de grafos es una ciencia formal o fáctica?
Estudia estructuras abstractas de nodos y aristas y demuestra sus resultados, así que es formal.
2. Clasifica: lógica modal, botánica, teoría de autómatas, economía.
Formales: lógica modal y teoría de autómatas. Fácticas: botánica y economía.
3. Completa el silogismo: «Todos los hombres son mortales; Sócrates es hombre; luego…».
Luego Sócrates es mortal. La conclusión es válida por su forma, sin comprobar nada en el mundo.
4. Si p es verdadera y q es falsa, ¿qué valor tiene «p y q»?
La conjunción solo es verdadera si ambas lo son, así que «p y q» es falsa.
5. ¿Qué método usa una ciencia formal para validar «la suma de dos números pares es par»?
La demostración deductiva: 2a + 2b = 2(a + b), que es múltiplo de 2 para cualquier entero.
6. ¿Por qué la estadística aplicada a una encuesta electoral no es una ciencia formal pura?
Porque usa herramientas formales, pero sobre datos de hechos reales; la parte formal es la teoría estadística, no el análisis de la encuesta.
Importancia de las ciencias formales
Sin ciencias formales no existirían la física moderna, la ingeniería ni la informática. El álgebra de Boole hizo posible los circuitos digitales, la teoría de números sostiene la criptografía de los pagos con tarjeta y la teoría de la información explica cómo comprimir y transmitir datos. Además, enseñan a razonar con rigor, a detectar falacias y a construir argumentos sólidos, algo útil en cualquier conocimiento científico.
Preguntas frecuentes
¿Qué son las ciencias formales?
Son las ciencias que estudian entes abstractos, como números, símbolos o estructuras lógicas, y validan sus resultados por demostración deductiva, sin experimentos.
¿Cuáles son las principales ciencias formales?
La lógica y las matemáticas son las principales. También se incluyen la estadística teórica, la informática teórica, la teoría de la información, la teoría de juegos y la teoría de sistemas.
¿Cuál es la diferencia entre ciencias formales y fácticas?
Las formales estudian ideas y demuestran sus enunciados; las fácticas estudian hechos reales y verifican sus hipótesis con la observación y el experimento.
¿La informática es una ciencia formal?
La informática teórica sí lo es: computabilidad, complejidad o autómatas se demuestran matemáticamente. La ingeniería informática, en cambio, es una disciplina aplicada.
¿Las ciencias formales pueden equivocarse?
Un teorema bien demostrado no se refuta con datos, pero sí pueden detectarse errores en una demostración. Además, Gödel probó en 1931 que ciertos sistemas formales contienen enunciados verdaderos que no pueden demostrarse dentro de ellos.
Referencias
- Bunge, M. (1960). La ciencia, su método y su filosofía. Buenos Aires: Siglo Veinte.
- Deaño, A. (1974). Introducción a la lógica formal. Madrid: Alianza Editorial.
- Courant, R. y Robbins, H. (1941). ¿Qué es la matemática? Madrid: Aguilar.
Cómo citar este artículo
Equipo de Conceptualia. (2026). «Ejemplos de ciencias formales». Conceptualia. https://conceptualia.es/ejemplos/ejemplos-de-ciencias-formales/
