Las ciencias factuales

Ciencias formales
Las ciencias formales son aquellas ciencias que establecen el razonamiento lógico y trabajan con ideas creadas por la mente. Esta crea su propio objeto de estudio; su método detrabajo es el lógico inductivo, con todas sus variantes. Las ciencias formales estudian el saber en contraposición a las ciencias factuales que estudian el ser.
Algunos ejemplos de las ciencias formalesson: matemáticas, la lógica, Ciencias de la computación teórica, etc.
Son la lógica y las matemáticas. Reciben esta denominación porque están consideradas como disciplinas que se ocupan de estructurasabstractas, de formas puras sin contenidos empíricos. El materialismo formalista rechaza la existencia de formas puras sin materia y sostiene que las ciencias formales son, como todas las ciencias,ciencias materiales, esto es, construcciones operatorias realizadas con contenidos corpóreos.
Metodología de estudio
Las ciencias formales estudian el razonamiento y no el contenido de los saberes.los dos modos de demostración más frecuentes usados por las ciencias son la inducción y la deducción, este último es el modo que usan de manera casi exclusiva las ciencias formales, la deducción es unproceso de razonamiento que va de unas premisas generales a una conclusión particular.
El ideal metodológico de las ciencias formales se basa en constituirse en un sistema axiomático, que estácompuesto de los siguientes elementos:
* Axiomas: verdades que aceptamos como verdaderas pero que no podemos razonar. Ejemplo: el todo es mayor que la parte.
* Reglas de formación: Reglas que nosindican la manera válida de relación entre los elementos lingüísticos. Todo sistema formal tiene símbolos, los elementos y los operadores.
* Reglas de transformación: transforman expresiones bienformadas del lenguaje en otras bien formadas.
* Teoremas: Verdades que se derivan de los axiomas.
La estructura y el alcance de un sistema axiomático están determinados por sus axiomas.
Las ciencias...