Muodolliset tieteet - joukko tieteitä , jotka tutkivat muodollisia järjestelmiä . Muodollisia tieteitä ovat: matematiikka , logiikka , kybernetiikka , teoreettinen tietojenkäsittelytiede , informaatioteoria , järjestelmäteoria , päätösteoria , tilastotiede , jotkut kielitieteen näkökohdat .
Muodolliset tieteet ovat peräisin matemaattisista teksteistä, jotka ovat peräisin vuodelta 1800 eaa. e. ( Babylonian matematiikka ), 1600 eaa e. ( muinainen egyptiläinen matematiikka ) ja 1000 eKr. e. ( muinainen intialainen matematiikka ) , kauan ennenmuodostusta tieteellinen menetelmä . Intialaiset, antiikin kreikkalaiset ja arabialaiset matemaatikot antoivat suuren panoksen matematiikkaan, ja Kiina ja Japani kehittivät itsenäisesti oman matemaattisen perinteensä.
Logiikka, kuten matematiikka, on esimerkki muodollisesta tieteestä, jolla on muinainen historia (katso Logiikkahistoria ). Päätelmämuotojen analyysi tapahtui muinaisessa Kiinassa , muinaisessa Intiassa , muinaisessa Roomassa ja muinaisessa Kreikassa . Moderniin logiikkaan vaikuttivat pääasiassa antiikin kreikkalainen perinne, jota jatkettiin arabilogiikkojen töissä .
Muut muodolliset tieteet liittyvät pitkälti matematiikkaan ja ovat kehittyneet siitä. 1600-luvun alussa ilmestyivät ensimmäiset teokset todennäköisyysteoriasta ( tilastot ). 1900-luvun puolivälistä lähtien toimintatutkimus , informaatioteoria , teoreettinen tietojenkäsittelytiede ja muut muodolliset tieteet alkoivat kehittyä nopeasti . Teoreettisen tietojenkäsittelytieteen osalta on huomattava, että sen alkuperä nähdään Turingin työssä ja joskus jäljitetään Babbageen ja jopa Leibniziin . Uusien tieteenalojen syntyminen osoittaa, että matematiikka oli vain yksi monista muodollisten tieteiden sarjassa.
Toisin kuin luonnon- ja yhteiskuntatieteet , muodolliset tieteet ovat tietyssä mielessä loogisesti ja metodologisesti riippumattomia empiirisista menetelmistä. Muodollisissa tieteissä lähestymistapa tutkittaviin objekteihin on abstrakti, mutta saatuja tuloksia sovelletaan kaikkien todellisuuden alueiden tutkimukseen [1] .