Las ciencias formales estudian el saber en contraposicin a las ciencias factuales que estudian el ser.

Algunos ejemplos de las ciencias formales son Los contenidos factuales son los nicos que en realidad pueden ser evaluados de memoria, pues estn dados por hechos, fechas, frmulas, etc Las ciencias fcticas o ciencias factuales (fsica, qumica, fisiologa, biologa, entre otras) estn basadas en buscar la coherencia entre los hechos y la representacin mental de los mismos (Nos informan cosas de la realidad). Esta coherencia es necesaria pero no suficiente, porque adems exige la observacin y la experimentacin. Nadie confiara en un medicamento si no parte de la autoridad de la persona que lo receta y ambos en que el medicamento ha sido sometido a todas las pruebas necesarias de contrastacin emprica. Por lo tanto, el objeto de estudio de la ciencia fctica son los hechos.. su mtodo la observacin y experimentacin y su criterio de verificacin es aprobar el examen, la llamada contrastacin cuntica. Son las ciencias o disciplinas que tienen como objeto de estudios los hechos reales, como la historia, la sociologa. Hay otro clasificacin de ciencia y son las llamadas ciencias formales, como las matemticas y fsicas, pues la materia de su conocimiento son objetos y formas ideales, es decir nmeros, nomenclaturas. La divisin ms aceptada es la de ciencias fcticas y formales. El hombre es un ser natural, pero su mundo ya no es natural. La naturaleza se desenvuelve independientemente de la voluntad del hombre, en cambio, el mundo del hombre es creado por l. Las naturales son la biologa, fsica, qumica, etc. Y las sociales son sociologa, economa, psicologa, etc. La verdad de estas ciencias es fctica porque depende de hechos y es provisoria porque las nuevas investigaciones pueden presentar elementos para su refutacin. Las ciencias fcticas trabajan con objetos reales que ocupan un espacio y un tiempo. La palabra "fctica" viene del latn factum que significa "hecho", o sea que trabaja con hechos. Se subdividen en naturales y sociales. Las primeras se preocupan por la naturaleza, las segundas por el mbito humano. Las ciencias

Fcticas investigan hechos de la realidad y se basan en experiencias sensoriales que con el tiempo pueden llegar a esclarecer los hechos. Ciencias formales Las ciencias formales son aquellas ciencias que establecen el razonamiento lgico y trabajan con ideas creadas por la mente. Esta crea su propio objeto de estudio; su mtodo de trabajo es el lgico inductivo, con todas sus variantes. Las ciencias formales estudian el saber en contraposicin a las ciencias factuales que estudian el ser. Algunos ejemplos de las ciencias formales son: matemticas, la lgica, Ciencias de la computacin terica, etc. Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias formales validan sus teoras con base en proposiciones, definiciones, axiomas y reglas de inferencia, todas ellas son analticas, a diferencia de las ciencias sociales y las ciencias naturales, que las comprueban de manera emprica, es decir, observando el mundo real. Lista de ciencias formales Ciencia computacional terica Estadstica Lgica Matemtica Teora de decisiones Teora de la informacin Teora de juegos Teora de sistemas Son la lgica y las matemticas. Reciben esta denominacin porque estn consideradas como disciplinas que se ocupan de estructuras abstractas, de formas puras sin contenidos empricos. 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 corpreos. Metodologa de estudio Las ciencias formales estudian el razonamiento y no el contenido de los saberes. los dos modos de demostracin ms frecuentes usados por las ciencias son la induccin y la deduccin, este ltimo es el modo que usan de manera casi exclusiva las ciencias formales, la deduccin es un proceso de razonamiento que va de unas premisas generales a una conclusin particular. El ideal metodolgico de las ciencias formales se basa en constituirse en un sistema axiomtico, 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 formacin: Reglas que nos indican la manera vlida de relacin entre los elementos lingsticos. Todo sistema formal tiene smbolos, los elementos y los operadores. * Reglas de transformacin: transforman expresiones bien formadas del lenguaje en otras bien formadas. * Teoremas: Verdades que se derivan de los axiomas. La estructura y el alcance de un sistema axiomtico estn determinados por sus axiomas. Las ciencias..