Ciencias formales

Te explicamos qué son las ciencias formales, cuáles son y en qué se diferencian de las fácticas.

ciencias formales - logica
Las ciencias formales estudian abstracciones, relaciones y objetos ideales.

¿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

Las ciencias formales buscan comprobar la valía universal de sus razonamientos deductivos.

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 formalesCiencias 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.

¿Cómo citar?

Citar la fuente original de donde tomamos información sirve para dar crédito a los autores correspondientes y evitar incurrir en plagio. Además, permite a los lectores acceder a las fuentes originales utilizadas en un texto para verificar o ampliar información en caso de que lo necesiten.

Para citar de manera adecuada, recomendamos hacerlo según las normas APA, que es una forma estandarizada internacionalmente y utilizada por instituciones académicas y de investigación de primer nivel.

"Ciencias formales". Autor: Equipo editorial, Etecé. De: Argentina. Para: Concepto.de. Disponible en: https://concepto.de/ciencias-formales/. Última edición: 20 de febrero de 2024. Consultado: 21 junio, 2024

Sobre el autor

Última edición: 20 febrero, 2024

¿Te fue útil esta información?

No

    ¡Genial! Gracias por visitarnos :)