(1.3) Ciencias Formales

Ciencias Formales

Las ciencias formales tratan de ideas, símbolos y signos generales, tan abstractos o vacíos como el concepto de número, el cual es tan amplio que el término puede ser llenado con distintos contenidos.

Los signos o números matemáticos no existen en el mundo real pero si en el ideal; es una forma conceptual que está en la mente de los sujetos, y los podemos llenar refiriéndonos a miles de cosas o hechos sociales.

Estos conceptos y sus reglas, sin embargo son verdaderos, en el sentido de que pueden ser demostrados siguiendo las reglas de la lógica formal. En las ciencias formales los científicos prueban por demostración, buscando su coherencia con un sistema de reglas establecidas en la matemática (reglas y teoremas de la suma, resta, división, etc.) O en la lógica (reglas y axiomas de la deducción e inducción)

Su hipótesis se confirma apegándose a la lógica, pues es verdadera si demostramos que tiene coherencia lógica, es decir, que cumple con los requisitos formales de un pensamiento sistemático u ordenado. Dechi de otro modo, su comprobación se da cuando se demuestra que esa idea es lógicamente consistente, y esto se logra demostrando que se obtuvo aplicando la lógica deductiva. (De lo general a lo particular) o inductiva(de lo particular a lo general), y si cumple sus reglas, se acepta, se acepta su verdad, todo esto sin tener que acudir a los datos.

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.

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.

El método científico tiende, en las ciencias formales, a demostrar o probar.