Las ciencias formales.

Las ciencias formales y sus procedimientos de investigación.

Las ciencias formales son la lógica y las matematicas. Si las leyes de la lógica son reglas de combinación, las combinaciones solo se deducen de las imsmas leyes lógicas y su sistema de interrelaciones las ciencias formales hacen lenguajes artificiales que establecen con precisión:
1.- Los símbolo a emplear en determinado código y las cadenas de ellas que se consideran enunciados simples.
2.- Las reglas a las cuales se podrán producir todos los enunciados que pretendan pertenecer a ese lenguaje.
3.- Las reglas de acuerdo con los cuales serán verdaderos los enunciados antes mencionados.

En México las primeras 3 áreas en las cuales se investigan las matemáticas son:
1.- Teoria de conjunto, lógica matemática.
2.- Algebra conmutativa y no conmutativa.
3.- Geometria algebrica.
El análisis matemático se aplica solo a los fenomenos susceptibles de ser contados.

La metodología es la descripción de las unidades de análisis o de investigación, las técnicas de observación y recolección de datos, los instrumentos, los procedimientos y las tecnicas de análisis. En las ciencias formales la lógica se ocupa de los elementos u operaciones que son comunes a las mismas. En la práctica no se progresa mucho en matemática y lógica sin hacer uso de los simbolos apropiados.

La elección del tema es lo primero al realizar la investigación y esta es determinar con claridad y precisión el contenido del trabajo a presentar. Las divisiones y su subdisiones se relacionan con la temática.

La hipótesis es el eslabon necesario entre la teoria y la investigación que nos lleva al descubrimiento de nuevos hechos.

El propósito de una revision bibliografica es presentar una justiicaión para su estudio. Tambien resume los resultados empíricos importantes injerentes a la pregunta que se hace. Construyen puentes lógicos entre áreas de investigación relacionadas con la idea que se tiene para la investigación.

La comprobación de la hipótesis se verifica en sacar el mayor número posible de conclusiones que se desprendan de la suposición fundamental de hipótesis que se acaba de formular.

El dominio de cualquier ciencia está hecho por las relaciones de ciertas constantes y variables. En las ciencias formales la conclusión necesita de las premisas. El objetivo propio de la lógica es la verdad formal. La matemática es una ciencia productiva y deductiva, que construyr una exploración en los terrenos de la probabilidad.