Ciencias formales : un conjunto de ciencias dedicadas al estudio de los sistemas formales . Las ciencias formales incluyen: matemáticas , lógica , cibernética , informática teórica , teoría de la información , teoría de sistemas , teoría de la decisión , estadística , algunos aspectos de la lingüística .
Las ciencias formales tienen su origen en textos matemáticos que datan del año 1800 a. mi. ( matemáticas babilónicas ), 1600 a.C. mi. ( matemáticas del antiguo Egipto ) y 1000 a. mi. ( matemáticas indias antiguas ), mucho antes de la formación del método científico . Los matemáticos indios, griegos antiguos y árabes hicieron importantes contribuciones a las matemáticas, y China y Japón desarrollaron de forma independiente su propia tradición matemática.
La lógica, como las matemáticas, es un ejemplo de ciencia formal con una historia antigua (ver Historia de la lógica ). El análisis de los modos de inferencia tuvo lugar en la antigua China , la antigua India , la antigua Roma y la antigua Grecia . La lógica moderna estuvo influenciada principalmente por la antigua tradición griega, que continuó en las obras de los lógicos árabes .
Otras ciencias formales están en gran medida relacionadas con las matemáticas y han evolucionado a partir de ellas. A principios del siglo XVII aparecieron los primeros trabajos sobre la teoría de la probabilidad ( estadística ). Desde mediados del siglo XX, la investigación de operaciones , la teoría de la información , la informática teórica y otras ciencias formales comenzaron a desarrollarse rápidamente . Con respecto a la informática teórica, cabe señalar que su origen se ve en la obra de Turing y en ocasiones se remonta a Babbage e incluso a Leibniz . El surgimiento de nuevas disciplinas muestra que las matemáticas eran solo una de muchas en una serie de ciencias formales.
A diferencia de las ciencias naturales y sociales , las ciencias formales son, en cierto sentido, lógica y metodológicamente independientes de los métodos empíricos. En las ciencias formales, el abordaje de los objetos objeto de estudio es abstracto, sin embargo, los resultados obtenidos se aplican en el estudio de todos los ámbitos de la realidad [1] .