Las ciencias formales son aquellas que trabajan con entes abstractos o formales, como los números, los símbolos y las proporciones. Su área de estudio no es el mundo real sino más bien el mundo ideal, donde se encuentran formas vacías de contenido que funcionan como instrumentos de análisis para comprender la realidad. Por ejemplo: matemática, lógica.
Las ciencias formales utilizan el método deductivo, en el que la conclusión se deriva de premisas mediante el razonamiento lógico. Dado que las ciencias formales necesitan utilizar proposiciones que sean demostrables en sentido lógico, se valen de axiomas, que son enunciados evidentes que se aceptan como verdades universales sin requerir demostración previa.
Las ciencias formales se construyen sobre la base de sistemas formales, que están compuestos por:
- Un conjunto finito de símbolos que se usan para la construcción de fórmulas.
- Una gramática formal, como mecanismo para la construcción de fórmulas bien formadas.
- Un conjunto de axiomas.
- Un conjunto de reglas de inferencia.
- Un conjunto de teoremas que incluye todo lo que se puede derivar de los axiomas.
Ver además:
Características de las ciencias formales
Las ciencias formales tienen las siguientes características:
- Abstracción. Trabajan con conceptos abstractos y estructuras formales, no relacionados con el mundo físico.
- Razonamiento deductivo. Se basan en la lógica deductiva para derivar teoremas y resultados a partir de axiomas y definiciones.
- Independencia empírica. No dependen de la observación o experimentación empírica. Sus resultados son verdaderos en función de la coherencia interna y la lógica del sistema.
- Axiomatización. Se fundamentan en sistemas de axiomas, que son proposiciones iniciales asumidas sin prueba.
Ejemplos de ciencias formales
- Matemática. Es la ciencia deductiva que se dedica al estudio de las propiedades de los entes abstractos y de sus relaciones. Trabaja con números, símbolos y figuras geométricas. La estadística, aritmética y geometría son ramas de la matemática que también se consideran ciencias formales.
- Lógica. Es la ciencia que se ocupa de la forma en que los enunciados pueden conectarse para generar conclusiones válidas. Proporciona un marco para evaluar la verdad o falsedad de las afirmaciones de manera sistemática y objetiva.
- Ciencia de la computación teórica. Dentro de las ciencias de la computación, es la que se enfoca en los aspectos más abstractos y matemáticos del área. Incluye el análisis de algoritmos y sobre todo la semántica formal de lenguajes de programación.
Diferencia entre ciencias formales y ciencias fácticas
Habitualmente la noción de ciencias formales viene en contraposición a las ciencias fácticas, que son las que estudian los hechos y fenómenos de la realidad. Son comprobables a través de la observación y la experimentación, y su método permite la deducción, la inducción y la abducción. Por ejemplo: ciencias naturales, ciencias sociales.
Las principales diferencias entre ciencias formales y ciencias fácticas son:
| Ciencias formales | Ciencias fácticas |
|---|---|
| Estudian entidades abstractas y sus relaciones. | Estudian fenómenos naturales y sociales observables. |
| Tienen como objeto de estudio conceptos abstractos y estructuras lógicas. | Tienen como objeto de estudio hechos y fenómenos del mundo real. |
| Utilizan el método deductivo. | Utilizan el método inductivo y experimental. |
| Demuestran teoremas y proposiciones a partir de axiomas. | Descubren y explican leyes y principios naturales y sociales. |
| Alcanzan resultados lógicos. | Alcanzan resultados verificables empíricamente. |
| Por ejemplo: matemática, lógica, ciencias de la computación teórica. | Por ejemplo: física, química, biología, sociología, psicología. |
Tanto unas como las otras son fundamentales en el mundo actual, ya que se complementan: los aportes de algunas ciencias fundamentales en lo que es el avance tecnológico (como la química o la informática) se apoyan de sistemas formales como el de la matemática.
Sigue con:
- Ciencias exactas
- Ciencias sociales
- Ciencias naturales
- Diferencia entre ciencias formales y ciencias fácticas
Referencias
- Bunge, M. (2000). La investigación científica: su estrategia y su filosofía. Siglo XXI.
- Gianella, A. (2006). Las disciplinas científicas y sus relaciones. Anales de la educación común, 2(3), 74-83.
- Paitán, H. Ñ., Mejía, E. M., Ramírez, E. N., & Paucar, A. V. (2014). Metodología de la investigación cuantitativa-cualitativa y redacción de la tesis. Ediciones de la U.
¿Te fue útil esta información?
Sí No¡Genial! gracias por visitarnos :)