Ciencia Formal
| ||||||
Ciencias formales o deductivas. Estudian las ideas, están constituidas por las matemáticas y la lógica. Se valen del método axiomático deductivo, este consiste en un conjunto de enunciados no demostrados o axiomas y unas reglas deductivas que se le aplican para obtener teoremas. No pueden validar sus fórmulas a través del contacto con la realidad ya que se refieren a lo abstracto. Es autosuficiente por su contenido y método de prueba, que le permiten conseguir una verdad completa. Se vale de formulas analíticas que pueden convalidarse por medio del análisis racional. Estas ciencias además constituyen una herramienta conceptual para todas las otras ciencias y áreas del conocimiento.
Sumario
Objeto de las ciencias
La mayoría de las ciencias tienen como objeto primordial de estudio los hechos objetivos, o sea, hechos que suceden en la naturaleza. Por ejemplo, la botánica estudia las transformaciones y cambios que ocurren en el reino vegetal. La vegetación, las plantas y los árboles están ahí. Son un hecho objetivo.
Un científico botánico puede verlos, tocarlos, observarlos, reproducirlos, injertarlos, podarlos, etc. Está trabajando con hechos. Pero no todos los científicos trabajan con hechos objetivos.
Hay algunos que trabajan primordialmente con formas. Los dos casos más importantes son la lógica y la matemática. En ambos casos, se trata de la construcción de entes ideales, abstractos, que no corresponden directamente a hechos de la realidad y cuya existencia se ubica en la mente humana. Por lo tanto, las ciencias fácticas trabajan primordialmente con los hechos y las ciencias formales primordialmente con formas.
Método de las ciencias formales
Las ciencias formales se basa en las construcciones lógicas, su método tiende a probar la coherencia de su razonamiento con base en los supuestos o axiomas que se adoptan.
Axioma
Un axioma es un supuesto de una ciencia formal, cuya corrección se da por aceptada y, por tanto, no se discute. La prueba consiste en demostrar la coherencia interna y la corrección de una afirmación, partiendo de los axiomas o de conclusiones basadas en esos axiomas. Por ejemplo:
Etapa 1. Se adoptará este axioma: “dos cosas iguales a una tercera, son iguales entre sí.
Etapa 2. Para facilidad del razonamiento, le damos una representación literal a cada una de esas tres cosas. Respectivamente llamaremos: a, b y c.
Etapa 3. Las dos primeras etapas nos permiten formular el axioma dicho de la siguiente manera: si a = b, y b = c, entonces a = b.
Etapa 4.Si le damos un valor de 1 a “b”, entonces podemos concluir que también a = 1, y que también c = 1.
Para demostrar o probar ésta conclusión no se está obligado a la confrontación con la realidad. Basta cumplir con las leyes internas de la lógica que se ha adoptado. Sobre ésta conclusión es posible, si se siguen estrictamente las reglas de la lógica, construir otras conclusiones, hasta elaborar un sistema coherente de pensamiento.
Las ciencias fácticas se dividen en: ciencias naturales y ciencias sociales. Las ciencias naturales se dedican al estudio de procesos, cambios y transformaciones de la materia tal como se presenta en la naturaleza. En tanto que las Ciencias Sociales estudian las relaciones de los hombres entre sí.
Entre las ciencias sociales se encuentran la economía, la antropología, la historia, la geografía humana, la psicología social y, por supuesto, la sociología.
División radical de las ciencias formales
En las ciencias formales las proposiciones analíticas o contradictorias recogen los enunciados de las matemáticas y la lógica que en general constituyen las ciencias formales. El positivismo lógico considera a estas ciencias no empíricas.
Las ciencias formales están divididas de una forma radical, por un lado las ciencias reales y por otro lado las ciencias empíricas. Las empíricas deben satisfacer determinados requisitos lógicos en sus inferencias y deben adaptarse a las formalizaciones derivadas de la lógica matemática.
Las expresiones y formulas de la lógica y de las matemáticas no deben verificarse por ser analíticas, pero el resto de los enunciados científicos deben ser comprobados en la realidad o por observación.
La lógica y la matemática son ciencias formales, por ocuparse de inventar entes formales y establecer relaciones entre ellos. Estos objetos no son cosas ni procesos, sino formas en las que se puede verter un surtido ilimitado de contenidos, tanto fácticos como empíricos. Se pueden establecer correspondencias entre estas formas u objetos formales relacionándolas con objetos o procesos pertenecientes a cualquier nivel de la realidad.
Los teoremas formales solo deben ser probados apoyados en la lógica. Las ciencias formales no se refieren a nada que se encuentre en la realidad, por eso no pueden utilizar nuestros contactos con la realidad para convalidar sus formulas. Estas ciencias estudian conceptos abstractos, además de las leyes lógicas, es decir las leyes que permiten inferir proposiciones a partir de enunciados verdaderos. Su característica típica es que demuestran o prueban sus enunciados con base en principios lógicos o matemáticos, pero no los confirman experimentalmente.
De esta forma las ciencias formales no dan información acerca de la naturaleza, conformándose con ser recursos o instrumentos meramente formales, que el científico necesariamente tendrá que manejar en la práctica de investigaciones, comprobaciones y verificaciones.
La lógica
Como ciencia del razonamiento se ha visto modificada en varios aspectos a través de la historia, hasta tal punto que actualmente se habla de varias lógicas. Estas son, Las lógicas extendidas: se llaman así porque se consideran extensiones de la lógica clásica, como en el caso de la lógica modal.
Las lógicas divergentes: llevan este nombre puesto que no están de acuerdo en algunas tesis sustantivas de la lógica clásica, como en el caso de la lógica trivalente.
La matemática
Consta de la teoría de conjuntos y las geometrías no euclidianas, instrumentos matemáticos descubiertos y formulados para auxiliar y entender los nuevos aspectos del universo que surgen a los ojos de las nuevas teorías físicas.
Diferencia entre las ciencias formales y fáctica
La palabra fáctica proviene del latín facto que significa hecho. Las ciencias fáctica son, entonces, las que estudian los hechos. Las formales, como su nombre lo indica, estudian las formas. En consecuencia, la primera diferencia entre las ciencias formales y las fácticas son su objeto de estudio.
Es necesario poner atención a la palabra “primordialmente”, porque quiere decir que las ciencias fácticas también trabajan con abstracciones y que las ciencias formales reciben influencia de los procesos reales.
Es claro que el botánico, después de observar muchos árboles, construye un ente abstracto que es el concepto de “árbol”, el cual no corresponde a un árbol en particular. Por otro lado, para ayudarse en su estudio, el botánico tiene que recurrir a conceptos más formales, como los números, a fin de formular las leyes científicas que él trata de probar. Otra diferencia entre las ciencias exactas y las fácticas radica en su método de estudio.
El método científico tiende:
- En las ciencias formales, a demostrar o probar.
- En las ciencias fácticas, a confrontar las leyes con la práctica.
Importancia de la ciencia en el mundo actual
La ciencia es un elemento muy importante en la vida actual. Sin ella no existirían las tecnologías y métodos que usamos para vivir mejor. Es importante porque sin ella el conocimiento humano no avanzaría.
Tanto las ciencias fácticas como las formales son igual de importantes. Una es el complemento de la otra. Ambas se necesitan unas a otras para poder existir. Por ejemplo, una persona que estudia Química (ciencia fáctica) necesita de la matemática (ciencia formal) para realizar todos los calculas y predicciones. No se puede decir que una ciencia es mejor que la otra. Simplemente las dos son igual de necesarias para un científico.
Hay algunas personas que dicen que una ciencia es más difícil que la otra, pero eso es totalmente erróneo, ya que las dos son igual de importantes y robustas. Un buen científico es que se mueve en ambos tipos de ciencia.
Fuentes
- Diccionario de psicología científica y filosófica. Disponible en: Ciencias-Deductivas
- Chávez Calderón, Pedro. Historia de las doctrinas filosóficas. Disponible en: Ciencias formales
- Investigación. Disponible en: Lecc-2
- Glosario. Disponible en: Glosario
