Ciencia Formal.

Ciencia Formal. De acuerdo a su objeto de estudio, las ciencias se clasifican en formales y fácticas [v. ciencia fáctica].  Las ciencias formales son aquellas que son autosuficientes en su método de prueba y contenido; la validez o verdad de sus fórmulas [v. fórmulas bien formadas], proposiciones o enunciados no dependen de la realidad factual.  Sus fórmulas pueden demostrarse basándose en principios o axiomas [v. independencia de los axiomas]. Los enunciados de las ciencias formales son llamados enunciados analíticos [v] en contraposición a los enunciados sintéticos [v]. Ciencias formales: Lógica y Matemáticas.