Te explicamos qué son las ciencias formales, cuáles son y en qué se diferencian de las fácticas.
¿Qué son las ciencias formales?
Las ciencias formales o ciencias ideales son aquellas cuyo objeto de estudio son las formas, es decir, los objetos abstractos y las relaciones entre ellos, como pueden ser los números, las proporciones o los sistemas de representación.
De este modo, las ciencias formales no estudian el mundo real y la naturaleza, ni las leyes físicas y químicas que lo rigen, sino los sistemas de relaciones que a partir de ellos surgen en la mente humana. Dichos sistemas pueden, sin embargo, ser aplicados al análisis de cualquier aspecto de la realidad.
El mejor ejemplo de las ciencias formales es la matemática: se ocupa del estudio de los números, sus conjuntos y las diversas relaciones. A pesar de que los números no existen en la realidad, sino que son ideas y relaciones mentales, con ellos puede expresarse y estudiarse la realidad.
Estas ciencias son analíticas o no empíricas, lo cual significa que no validan sus teorías y conocimientos mediante la experimentación o la observación del mundo real, sino a través del estudio de las reglas de pensamiento que rigen cada sistema, como pueden ser las proposiciones, los axiomas y las definiciones. Su método, por ende, es normalmente el deductivo, y no admiten ni la inducción ni la abducción.
Por todo ello, las ciencias formales se distinguen de las ciencias fácticas, cuyo objetivo es el estudio del mundo real a través del método científico.
Puede servirte: Ramas de la ciencia
Características de las ciencias formales
Las principales características de las ciencias formales son:
- Su objeto de estudio son los sistemas y lenguajes formales que el ser humano diseña mentalmente, es decir, conjuntos de abstracciones.
- No se ocupan del mundo real, pero sus sistemas de relaciones son útiles para plantear y estudiar fenómenos reales.
- Su propósito esencial es demostrar la validez universal de ciertos razonamientos posibles dentro de un sistema formal, conocidos como axiomas o teoremas.
- Su método de análisis es siempre deductivo y, por lo tanto, no permite ni la inducción ni la abducción. Es decir, sus conclusiones se obtienen siempre a partir de premisas dadas.
- Sus sistemas formales se expresan a través de símbolos, fórmulas y variables que expresan relaciones y no referentes concretos. Por ejemplo, en una ecuación, x es una variable que puede representar un número cualquiera.
Ver además: Deducción
Ejemplos de ciencias formales
Algunos ejemplos de ciencias formales son:
Matemáticas
La matemática es la ciencia que estudia los procedimientos lógicos de cálculo y representación formal, como los números, las ecuaciones y los objetos geométricos.
Lógica
Lo lógica es la ciencia que estudia los métodos de razonamiento, es decir, cuáles son los mecanismos para obtener conclusiones válidas a partir de ciertas proposiciones.
Ciencias de la computación
La computación, también conocida como informática o programación, es la ciencia que se dedica a estudiar los sistemas computacionales que permiten la automatización (almacenamiento, recuperación, transmisión) de la información.
Aritmética
La aritmética es la ciencia dedicada a estudiar las operaciones entre los números naturales y enteros. Se considera una rama de la matemática y también se le conoce como Teoría de números.
Estadística
La estadística es la ciencia que se ocupa del estudio de las probabilidades y las proporciones, así como de las leyes que gobiernan el azar.
Geometría
La geometría es la ciencia que estudia las formas geométricas en el plano, es decir, las representaciones mentales o gráficas con que es posible expresar relaciones y espacios mentales.
Ver además: Ciencias
Diferencias entre ciencias formales y fácticas
Las ciencias formales se distinguen de las ciencias fácticas, también llamadas factuales o empíricas, en diferentes aspectos, como son:
| Ciencias formales | Ciencias fácticas |
|---|---|
| Su objeto de estudio son los sistemas abstractos con que el ser humano expresa ciertos aspectos lógicos del pensamiento. | Su objeto de estudio son los hechos y fenómenos que tienen lugar en la realidad. |
| Su propósito es demostrar la validez universal de ciertos razonamientos formales. No tienen contacto con lo real. | Su propósito es crear una representación mental lo más apegada posible a la realidad para así poder comprenderla. |
| Su método de análisis es siempre deductivo, nunca inductivo o abductivo. | Su método de análisis es el empírico-analítico, que permite la deducción, la inducción y la abducción. |
| Buscan la perfección de sus razonamientos deductivos, o sea, de sus teoremas y axiomas. | Buscan que sus modelos mentales sean lo más coherentes posibles con el fenómeno real que describen. |
| No pueden comprobarse experimentalmente, sino lógicamente. | Pueden siempre comprobarse experimentalmente. |
| Sus demostraciones son completas y finales, o sea, no dependen del momento y las circunstancias. | Sus demostraciones son incompletas y parciales, o sea, dependen del momento y las circunstancias. |
| No presentan subclasificaciones. | Se dividen en dos categorías: ciencias naturales (estudian la naturaleza) y ciencias sociales (estudian la sociedad). |
| Son ejemplo de ciencias formales: la matemática, la lógica y la estadística. | Son ejemplo de ciencias fácticas: la biología, la química y la física. |
Sigue con:
Referencias
- Bunge, M. (2000). La investigación científica: su estrategia y su filosofía. Siglo XXI.
- Ortíz, F. (2003). Diccionario de metodología de la investigación científica. Editorial Limusina.
- Tomalin, M. (2006). Linguistics and the Formal Sciences. Cambridge University Press.
¿Te fue útil esta información?
Sí No¡Genial! Gracias por visitarnos :)