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étodode trabajo es la lógica educativa, 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 formales son: matemáticas, la lógica, ciencias de la computación, la teoría de juegos, etc.

Las ciencias formales estudian el razonamiento y noel 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 maneracasi exclusiva las ciencias formales, la deducción es un proceso de razonamiento que va de unas premisas generales a una conclusión particular.
• Axiomas: verdades queaceptamos como verdaderas pero que no podemos razonar. Ejemplo: el todo es mayor que la parte.
• Reglas de formación: Reglas que nos indican la manera válida de relaciónentre los elementos lingüísticos. Todo sistema formal tiene símbolos, los elementos y los operadores.
• Reglas de transformación: transforman expresiones bien formadasdel lenguaje en otras bien formadas.
• Teoremas: Verdades que se derivan de los axiomas.

Son la lógica y las matemáticas. Reciben esta denominación porque estánconsideradas como disciplinas que se ocupan de estructuras abstractas, de formas puras sin contenidos empíricos. El materialismo formalista rechaza la existencia de formas puras sinmateria y sostiene que las ciencias formales son, como todas las ciencias, ciencias materiales, esto es, construcciones operatorias realizadas con contenidos corpóreos.