Saltar al contenido

Ciencias formales

marzo 18, 2022 Modificado el 18/03/2022 por Idoia G. Munárriz
ciencias formales

Qué son las ciencias formales

Las ciencias formales son un conjunto de conocimientos que se desarrolla utilizando sistemas formales, racionales y coherentes. Se ocupan de temas puramentea abstractos, pero sus planteamientos pueden aplicarse al mundo físico y natural. Por ejemplo la matemática y las ciencias de la computación.

Las ciencias formales persiguen la verdad lógica con objetos ideales contemplados en la mente, es decir, conceptos puramente abstractos. A partir de esto, se construyen teoremas que parten de la analítica, la lógica y las demostraciones matemáticas.

✔️ Descubre: qué es la ciencia.

6 ejemplos de ciencias formales

¿Cuántas ciencias formales hay? Dentro de las más conocidas encontramos:

  1. La matemática, ciencia que se basa en los números, el cálculo y las mediciones. Es una herramienta esencial para muchos campos de la ciencia fáctica.
  2. La lógica, se inició como una rama de la filosofía que estudia los principios de la demostración y las paradojas basándose en la argumentación. Sin embargo, a partir del siglo XX se empezó a considerar la lógica matemática por sí misma, como ciencia independiente.
  3. La geometría, estudia las representaciones gráficas que podemos hacer en la mente del mundo real.
  4. La aritmética, estudia la ciencia del cálculo y los números como abstracciones mentales.
  5. La estadística, como ciencia que estudia las probabilidades y las proporciones.
  6. Las ciencias de la computación, estudia las bases teóricas de la programación para la automatización de la información.

¿Qué se estudia en las ciencias formales?

El objeto de estudio de las ciencias formales son ideas abstractas, de las cuales se analizan sus propiedades, estructuras y las relaciones entre entidades abstractas de los sistemas formales. La comprobación se hace a través del razonamiento lógico.

Por ejemplo, las ciencias formales estudian:

  • Lógica: puede estudiarse el análisis de qué hace que un argumento sea incorrecto o inválido, para descubrir falacias y paradojas lógicas, que determinen si un razonamiento es falso.
  • Ciencia computacional: el estudio de las propiedades algorítmicas y de la teoría de un lenguaje de programación.
  • El papel del lenguaje en la resolución de problemas verbales aritméticos con alumnos bilingües es un ejemplo que combina la ciencia formal del campo aritmético con la ciencia social.

Importancia de las ciencias formales

La importancia de las ciencias formales radica en que toda la ciencia cuantitativa depende de ellas. Es decir, que cuando en otras disciplinas como en física o biología, se requiere utilizar medidas, cantidades y valores, se debe recurrir a disciplinas formales, como la matemática.

Por tanto las ciencias formales son importantes ya que sirven de base, o dan soporte a multitud de otras ciencias, disciplinas y áreas de estudio.

¿Cuál es el método de las ciencias formales?

El método que emplean es la deduccion, y no admiten otros métodos como la inducción y la abducción. La deducción implica partir de unas premisas, de las que se deriva una conclusión, por tanto se dice que es un método que va de arriba hacia abajo, ya que parte de lo general hasta llegar a lo particular.

¿Cuáles son las herramientas de las ciencias formales?

Las ciencias formales utilizan varias herramientas para su construcción, entre las que destacan:

  1. Proposiciones, las cuales se forman a partir de oraciones declarativas o enunciativas de una entidad portadora de valores de verdad. Por ejemplo, “el sol es una estrella”.
  2. Axiomas son proposiciones o enunciados tan evidentes que se consideran que no requiere demostración. Por ejemplo, “el todo es mayor que las partes”.
  3. Las definiciones son un conjunto de proposiciones que expone de manera unívoca y con precisión la comprensión de un concepto, término o dicción.
  4. Reglas de inferencia es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión. Por ejemplo, si una población de 100 personas 70 de ellas no comen carne se podría inferir que la mayoría de la población es vegetariana.

Bibliografía

  • Sabino, C. (2007). El proceso de investigación. Editorial Panapo. Venezuela.