Științe formale - un set de științe , angajate în studiul sistemelor formale . Științele formale includ: matematica , logica , cibernetica , informatica teoretică , teoria informației , teoria sistemelor , teoria deciziei , statistica , unele aspecte ale lingvisticii .
Științele formale își au originea în textele matematice care datează din 1800 î.Hr. e. ( Matematica babiloniană ), 1600 î.Hr e. ( matematica egipteană antică ) și 1000 î.Hr. e. ( matematică indiană antică ), cu mult înainte de formarea metodei științifice . Matematicienii indieni, greci antici și arabi au adus contribuții majore la matematică, iar China și Japonia și -au dezvoltat în mod independent propria tradiție matematică.
Logica, ca și matematica, este un exemplu de știință formală cu o istorie veche (vezi Istoria logicii ). Analiza modurilor de inferență a avut loc în China antică , India antică , Roma antică și Grecia antică . Logica modernă a fost influențată în principal de tradiția greacă antică, care a fost continuată în lucrările logicienilor arabi .
Alte științe formale sunt în mare măsură legate de matematică și au evoluat din aceasta. La începutul secolului al XVII-lea au apărut primele lucrări despre teoria probabilității ( statistică ). De la mijlocul secolului al XX-lea, cercetarea operațională , teoria informației , informatica teoretică și alte științe formale au început să se dezvolte rapid . În ceea ce privește informatica teoretică, trebuie remarcat faptul că originea ei este văzută în opera lui Turing și, uneori, urmărită până la Babbage și chiar Leibniz . Apariția unor noi discipline arată că matematica a fost doar una dintre multele dintr-o serie de științe formale.
Spre deosebire de științele naturale și sociale , științele formale sunt într-un anumit sens logic și metodologic independente de metodele empirice. În științele formale, abordarea obiectelor studiate este abstractă, totuși, rezultatele obținute sunt aplicate în studiul tuturor domeniilor realității [1] .