Formális tudományok – formális rendszerek tanulmányozásával foglalkozó tudományok összessége . A formális tudományok közé tartozik: matematika , logika , kibernetika , elméleti számítástechnika , információelmélet , rendszerelmélet , döntéselmélet , statisztika , a nyelvészet egyes aspektusai .
A formális tudományok az ie 1800-ig visszanyúló matematikai szövegekből származnak. e. ( Babiloni matematika ), ie 1600 e. ( ókori egyiptomi matematika ) és ie 1000. e. ( ősi indiai matematika ), jóval a tudományos módszer kialakulása előtt . Az indiai, ókori görög és arab matematikusok jelentős mértékben hozzájárultak a matematikához, Kína és Japán pedig egymástól függetlenül fejlesztette ki saját matematikai hagyományát.
A logika, akárcsak a matematika, egy formális tudomány példája, ókori történelemmel (lásd : Logika története ). A következtetési módok elemzése az ókori Kínában , az ókori Indiában , az ókori Rómában és az ókori Görögországban zajlott . A modern logikára főként az ókori görög hagyomány hatott, amelyet az arab logikusok munkái is folytattak.
Más formális tudományok nagyrészt a matematikához kapcsolódnak, és abból fejlődtek ki. A 17. század elején jelentek meg az első valószínűségelméleti munkák ( statisztika ). A 20. század közepétől az operációkutatás , az információelmélet , az elméleti számítástechnika és más formális tudományok rohamos fejlődésnek indultak. Ami az elméleti számítástechnikát illeti, meg kell jegyezni, hogy eredete Turing munkáiban látható, és néha Babbage -re , sőt Leibnizre vezethető vissza . Az új tudományágak megjelenése azt mutatja, hogy a matematika csak egy volt a formális tudományok sorában a sok közül.
A természet- és társadalomtudományokkal ellentétben a formális tudományok bizonyos értelemben logikailag és módszertanilag függetlenek az empirikus módszerektől. A formális tudományokban a vizsgált objektumok megközelítése absztrakt, azonban a kapott eredményeket a valóság minden területének vizsgálatában alkalmazzák [1] .