Formelle videnskaber - et sæt videnskaber , der beskæftiger sig med studiet af formelle systemer . De formelle videnskaber omfatter: matematik , logik , kybernetik , teoretisk datalogi , informationsteori , systemteori , beslutningsteori , statistik , nogle aspekter af lingvistik .
De formelle videnskaber stammer fra matematiske tekster, der går tilbage til 1800 f.Kr. e. ( Babylonsk matematik ), 1600 f.Kr e. ( gammel egyptisk matematik ) og 1000 f.Kr. e. ( gammel indisk matematik ), længe før dannelsen af den videnskabelige metode . Indiske, antikke græske og arabiske matematikere ydede store bidrag til matematikken, og Kina og Japan udviklede uafhængigt deres egen matematiske tradition.
Logik er ligesom matematik et eksempel på en formel videnskab med en ældgammel historie (se logikkens historie ). Analysen af slutningsmåder fandt sted i det gamle Kina , det gamle Indien , det gamle Rom og det antikke Grækenland . Moderne logik var hovedsageligt påvirket af den antikke græske tradition, som blev videreført i arabiske logikeres værker.
Andre formelle videnskaber er i høj grad relateret til matematik og har udviklet sig fra det. I begyndelsen af det 17. århundrede udkom de første værker om sandsynlighedsteorien ( statistik ). Fra midten af det 20. århundrede begyndte operationsforskning , informationsteori , teoretisk datalogi og andre formelle videnskaber at udvikle sig hurtigt . Med hensyn til teoretisk datalogi skal det bemærkes, at dens oprindelse ses i Turings arbejde og nogle gange spores tilbage til Babbage og endda Leibniz . Fremkomsten af nye discipliner viser, at matematik kun var en af mange i en række formelle videnskaber.
I modsætning til natur- og samfundsvidenskaberne er de formelle videnskaber i en vis forstand logisk og metodisk uafhængige af empiriske metoder. I de formelle videnskaber er tilgangen til de undersøgte genstande abstrakt, men de opnåede resultater anvendes i studiet af alle områder af virkeligheden [1] .