¿Qué son las ciencias formales?
Las ciencias formales son un conjunto sistemático de conocimientos coherentes y racionales. Su objetivo no es el mundo físico-natural, sino los objetos plenamente abstractos. Sin embargo, los conocimientos de las ciencias formales pueden ser aplicados en la realidad físico-natural y son utilizados por las ciencias fácticas o empíricas.
El método empleado por las ciencias formales es la deducción y, a diferencia de las ciencias fácticas, las formales no admiten ni la abducción ni la inducción. Por lo tanto, una ciencia formal trabaja con las formas, es decir, con objetos que solo existen en la mente humana y se obtienen por abstracción. Ejemplos de ciencia formal pueden ser la matemática o la lógica.
Una característica de las ciencias formales es que son ramas del conocimiento científico que estudian los sistemas formales. Por consiguiente, una ciencia formal valida su teoría mediante un conjunto de proposiciones, axiomas, definiciones y reglas de inferencia.
Las ciencias formales son analíticas. Esto las diferencia de las ciencias naturales y sociales, argumentadas de forma empírica, es decir, requieren de la observación del mundo real para hallar evidencia a favor de una teoría. En cambio, los conocimientos de las ciencias formales se llaman “teoremas” y proceden de demostraciones matemáticas.
Además, las reglas o leyes estipuladas por las ciencias formales siempre se cumplen, sin importar cuál sea el caso. En consecuencia, se trata de leyes universales que no estudian fenómenos concretos, como ocurre con las ciencias fácticas. El contenido de una ciencia formal es vacío, ya que se mantiene solo en la forma y en las relaciones causales.
En cuanto a sus orígenes, algunos señalan que las ciencias formales son tan antiguas como la humanidad, ya que desde el comienzo el humano se ha servido de las matemáticas y de la lógica para organizar su mundo. No obstante, comenzaron a llamarse así a partir de la Edad Moderna, cuando fueron conceptualizadas y clasificadas.
Características de las ciencias formales
– Deductivas. El método que emplean es el de la deducción.
– Principio de no contradicción. El criterio de una ciencia formal para establecer la verdad se basa en la consistencia o en la no contradicción.
– Analíticas. Los enunciados de una ciencia formal siempre son analíticos, lo que quiere decir que se deducen a través de teoremas o postulados.
– Conocimiento no tangible. Las entidades de las ciencias formales solo pueden existir dentro de la mente humana.
– Abstracción. Los matemáticos y los lógicos construyen sus propios objetos de estudio a través de símbolos vacíos.
– Demostración. La demostración de una ciencia formal es completa, total y final.
Objeto de estudio de las ciencias formales
En líneas generales, el objeto de estudio de las ciencias formales son las formas, que se pueden presentar como relaciones, abstracciones u objetos ideales construidos en la mente humana.
Algunos científicos afirman que la ciencia formal no se interesa en el porqué de los fenómenos, sino en el cómo. Es decir, la inclinación hacia las formas y no hacia el contenido en sí.
Estas ciencias, también conocidas como ciencias ideales, no se enfocan en el mundo o la naturaleza, tampoco en las leyes químicas o físicas que la rigen. Su interés se dirige a los sistemas formales de relaciones que no cuentan con contenido propio, pero que pueden ser utilizados durante el análisis de cualquier aspecto de la realidad.
Un ejemplo puede evidenciarse con la física, que es una ciencia fáctica o empírica que se encarga del estudio de los cuerpos, el movimiento, el espacio y la materia. Sin embargo, la física se vale de las matemáticas, una ciencia formal, para realizar sus análisis y conclusiones.
Ejemplos de ciencias formales
- Estadística. Disciplina formal encargada de organizar, interpretar y procesar una serie de datos con la finalidad de establecer ciertas características de una determinada población u objetivo social. En otras palabras, es el estudio de las probabilidades o proporciones.
- Geometría. Esta ciencia formal parte de las matemáticas para estudiar las medidas y las propiedades de una figura localizada en el espacio o en un plano determinado. Recurre a sistemas axiomáticos o formales para representar diferentes aspectos de la realidad. Estos sistemas axiomáticos están constituidos por símbolos que, respetando ciertas reglas, pueden unirse y formar cadenas, que además se pueden vincular entre sí. Por ejemplo, la geometría se basa en nociones abstractas como curvas, puntos y rectas, entre otras. Es una de las disciplinas más antiguas que existen. De hecho, importantes matemáticos y estudiosos se basaron en la geometría para desarrollar estudios sobre los volúmenes, las áreas y las longitudes de las cosas. Entre estos sabios destacan Euclides y Heródoto.
- Lingüística teórica. La lingüística teórica es una ciencia formal que procede de la lingüística y que se interesa en los aspectos generales de las lenguas naturales, teniendo en cuenta la estructura del lenguaje y las características de los conocimientos lingüísticos de los hablantes. Esta ciencia se basa en la construcción de esquemas y teorías universales, que pueden ser válidos para todas las lenguas habladas en el mundo. En consecuencia, la lingüística teórica no tiene como objetivo explicar ciertos hechos particulares de un idioma en concreto, sino que apunta a la universalidad de las estructuras lingüísticas.
- Inteligencia artificial. La inteligencia artificial (IA) es una rama de la ciencia de la computación que consiste en el procesamiento de una serie de datos abstractos realizados por las máquinas. Estos datos les permiten a los artefactos electrónicos realizar una tarea u objetivo. En otras palabras, mediante una serie de datos abstractos y numéricos, la inteligencia artificial le da el acceso a las máquinas para que estas puedan aprender, percibir, razonar o resolver ciertos problemas. Algunos científicos definen la inteligencia artificial como una rama computacional que se encarga de estudiar los modelos de cómputo para que estos puedan realizar actividades que son propias de los seres humanos a través de dos características principales: la conducta y el razonamiento.
- Matemática. Es la ciencia formal por excelencia. Se encarga de estudiar los sistemas lógico-formales, y surgió producto del estudio de la geometría y la aritmética con números. Estudia patrones.
- Lógica. Rama de la filosofía que estudia los principios de la demostración, la noción de verdad, las falacias, las paradojas y la inferencia válida. Es decir, estudia los métodos de pensamiento.
Referencias
- Características de las ciencias formales o ideales. Recuperado de caracteristicasdeciencia.blogspot.com.
- Concepto de ciencias formales. Recuperado de concepto.de.
- Ciencias formales. Recuperado de es.wikipedia.org.
- Concepto de ciencias formales. Recuperado de deconceptos.com.
- What does formal science mean? Recuperado de definitions.net.