ciencias

CIENCIA FORMAL
 Es aquella que no estudia fenómenos empíricos. Utilizan la deducción como método de búsqueda de la verdad. El objeto de estudio de la ciencia formal no son las cosas ni los procesos, sino las relaciones abstractas entre signos, es decir, se estudian ideas, son ciencias formales la lógica y las matemáticas.
Es aquella que trabaja con formas, es decir, con objetos ideales, queson creados por el hombre, que existen en su mente y son obtenidos por abstracción. Las ciencias formales son la lógica y la matemática. Les interesan las formas y no los contenidos, no les importa lo que se dice, sino como se dice. La verdad de las ciencias formales es necesaria y formal. Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias formales validansus teorías con base en proposiciones, definiciones, axiomas y reglas de inferencia, todas ellas son analíticas, a diferencia de las ciencias sociales y las ciencias naturales, que las comprueban de manera empírica, es decir, observando el mundo real.

La lógica 
Es una ciencia formal que estudia los principios de la demostración e inferencia válida, Así como el objeto de estudio tradicionalde la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o ellenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica. La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmentela lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvieron siempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas. Hoy esa relación se trata bajo un punto de vista completamente diferente. Laformalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.
La matemática: es una ciencia formal que, partiendo de axiomas y siguiendo el razonamiento lógico, estudia las propiedades y relaciones entre entidades abstractas (números, figuras geométricas, símbolos). Las matemáticas se emplean paraestudiar relaciones cuantitativas, estructuras, relaciones geométricas y las magnitudes variables. Los matemáticos buscan patrones, formulan nuevas conjeturas e intentan alcanzar la verdad matemática mediante rigurosas deducciones. Éstas les permiten establecer los axiomas y las definiciones apropiados para dicho fin. Algunas definiciones clásicas restringen las matemáticas al razonamiento sobrecantidades, aunque sólo una parte de las matemáticas actuales usan números, predominando el análisis lógico de construcciones abstractas no cuantitativas.
Las ciencias fácticas: están basadas en buscar la coherencia entre los hechos y la representación mental de los mismos (nos informan cosas de la realidad). Esta coherencia es necesaria pero no suficiente, porque además exige la observación yla experimentación.

La física es la ciencia  que estudia las propiedades y el comportamiento de la energía y la materia (como también cualquier cambio en ella que no altere la naturaleza de la misma), así como al tiempo, el espacio y las interacciones de estos cuatro conceptos entre sí.
Química: ciencia que estudia tanto la composición, estructura y propiedades de la materia como los cambios que ésta...