LA INFORMATICA Y LA CIENCIA FACTICA

La informática es una ciencia que estudia métodos, procesos, técnicas, con el fin de almacenar, procesar y transmitir información y datos en formato digital por lo tanto es considerada una ciencia formal como lógicos y matemáticos ya que son racionales, sistemáticos y verificables, pero no son objetivos; no nos dan informaciones acerca de la realidad: simplemente, no se ocupan de los hechos. La lógica y la matemática tratan de entes ideales; estos entes, tanto los abstractos como los interpretados, sólo existen en la mente humana. A los lógicos y matemáticos no se les da objetos de estudio: ellos construyen sus propios objetos. Es verdad que a menudo lo hacen por abstracción de objetos reales (naturales y sociales).

CARACTERISTICA	CIENCIA FACTICA	CIENCIA FORMAL
·         Objeto de estudio	El objeto de estudio de esta ciencia son los hechos o mejor dicho busca la relación o coherencia que hay entre estos a partir de un método de observación y de su experimentación. La verdad de estas ciencias es fáctica porque depende de hechos y es provisoria porque las nuevas investigaciones pueden presentar elementos para su refutación Las ciencias fácticas trabajan con objetos reales que ocupan un espacio y un tiempo y estos se pueden analizar mediante métodos científicos de cuantificación y procesamiento de datos. se subdividen en dos tipos: las ciencias naturales y las ciencias sociales	Las Ciencias formales se ocupan de inventar entes formales y establecer sus relaciones, Inventan/crean el objeto, este se le debe poder surtir contenido factico y empírico. un ejemplo de las ciencias formales son la lógica y la matemática, y un objeto: los números. Nunca entra con conflicto con la realidad, porque hay distintas interpretaciones de los objetos formales. Se contentan con la lógica A las matemáticas y a la lógica también se consideran ciencias deductivas, pues sus enunciados tienen que tener un conjunto de ideas admitidas previamente. Las Ciencias formales demuestran o prueban.
·         Representación	A diferencia de la ciencia formal la ciencia fáctica utiliza símbolos interpretados y con significado como ejemplo esta la química el símbolo de H2O formula donde H significa hidrogeno.	Se representan con símbolos vacios no interpretados como son los números en las matemáticas.
·         Método de análisis	Los métodos utilizados son inductivos y deductivos, aunque el método deductivo sea necesario no es suficiente, aquí verifican y experimentan con ayuda de el método científico.	Inducción, deducción y la lógica son los métodos utilizados para el análisis de esta ciencia en especial el método deductivo es el primordial para analizarla porque es puramente racional y este demuestra o prueba una teoría.
·         Comprobación	Esta se la comprueba por medio de la practica o experimentación	Se la comprueba con el simple razonamiento
·         Tipos	Como ya se miro anteriormente la ciencia fáctica tiene dos tipos, las ciencias naturales se ocupan de los hechos que atañen a la naturaleza o al entorno natural, aquella realidad que no ha sido creada por el hombre como los ecosistemas, las clasificaciones de seres vivos o los procesos geológicos de la tierra y las ciencias sociales  cuyo campo de acción es la realidad creada por el hombre. Las ciencias sociales se encargan de analizar siguiendo un método científico aquellos elementos humanos como las fluctuaciones del mercado, las migraciones sociales o la propia historia del hombre	La lógica. Como ciencia del razonamiento se ha visto modificada en varios aspectos a través de la historia, hasta tal punto que actualmente se habla de varias lógicas. Estas son, Las lógicas extendidas: se llaman así porque se consideran extensiones de la lógica clásica, como en el caso de la lógica modal. Las lógicas divergentes: llevan este nombre puesto que no están de acuerdo en algunas tesis sustantivas de la lógica clásica, como en el caso de la lógica trivalente. La matemática. Consta de la teoría de conjuntos y las geometrías no euclidianas, instrumentos matemáticos descubiertos y formulados para auxiliar y entender los nuevos aspectos del universo que surgen a los ojos de las nuevas teorías físicas.
·         Demostración	En esta se formulan hipótesis provisionales  y después se verifican y estas pueden confirmar una teoría o des confirmar la misma	Los procedimientos de demostración de sus tesis son completamente deductivos partiendo de axiomas y empleando conceptos teóricos y definidos, gracias al uso de reglas de formación y transformación. Los objetos de conocimiento de las ciencias formales son objetos ideales: los números, las relaciones matemáticas y lógicas y las formas puras del razonamiento abstracto.