Organigrakma

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 de trabajo es la lógicadeductiva, 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.
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. Lapalabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento,razón o principio».
La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizadaen su expresión y de los estados reales a los que dicho contenido se pueda referir.
Las matemáticas o matemática (del lat. mathematĭca, y este del gr. μαθηματικά, derivado de μάθημα, conocimiento)es una ciencia formal que, partiendo de axiomas y siguiendo el razonamiento lógico, estudia las propiedades y relaciones entre entes abstractos (números, figuras geométricas, símbolos). Lasmatemáticas se emplean para estudiar relaciones cuantitativas, estructuras, relaciones geométricas y las magnitudes variables. Los matemáticos buscan patrones,[2] [3] formulan nuevas conjeturas e intentanalcanzar la verdad matemática mediante rigurosas deducciones.
Las ciencias fácticas o ciencias factuales (física, química, fisiología, biología, entre otras) están basadas en buscar la coherencia entrelos hechos y la representación mental de los mismos. Esta coherencia es necesaria pero no suficiente, porque además exige la observación y la experimentación.
Ciencias naturales, ciencias de la...