De eksakte vitenskapene, også kjent som harde vitenskaper, rene vitenskaper eller grunnleggende vitenskaper, er helt avhengige av observasjon og eksperimentering som praksis for å skape kunnskap basert på matematisk språk. De er vitenskap med høy presisjon og strenghet, siden den vitenskapelige metoden brukes i sin reneste form for å teste hypoteser ved å bruke matematikk som et middel til å gjøre det.
Presisjon og strenghet er to av hovedegenskapene til de eksakte vitenskapene, en gren der den strengeste vitenskapelige metoden brukes til å teste hypoteser. Disse vitenskapene søker irrefutableness av sine postulater ved hjelp av målbare og objektive spådommer.
Når det gjelder eksakte vitenskaper, søkes det at hypotesene og postulatene er ugjendrivelige gjennom kvantifiserbare og objektive matematiske ligninger og operasjoner. Disse grunnleggende prinsippene er kjent som aksiomer.
For øyeblikket, som etablert av Rudolf Carnap, er de eksakte vitenskapene delt inn i formelle (ikke-eksperimentelle) og naturlige (eksperimentelle) vitenskaper. Blant de formelle vitenskapene finner vi matematikk, logikk og formell logikk. I naturvitenskapene er de astronomi, biologi og fysikk.
De eksakte vitenskapene har lagt grunnlaget for vitenskapelig kunnskap siden oppstarten. Selv om det nå er klart at ikke all kunnskap kan kvantifiseres, ut fra dette premisset mange av de grunnleggende lovene, prinsippene og teoriene som styrer de grunnleggende prinsippene som har blitt antatt i århundrer, for eksempel tyngdekraften.
Hver vitenskap har sin egen dimensjon. Derfor er det samfunnsvitenskapene, helsevitenskapene, de som er basert på sannsynlighet (for eksempel meteorologi) eller de som omhandler et eller annet aspekt av naturen (biologi, zoologi, etc.). En av de mest relevante vitenskapene er matematikk, som også kalles eksakte vitenskaper. Begrepet brukes i flertall fordi matematikk består av differensierte grener som algebra, aritmetikk, geometri eller sannsynlighet. På den annen side brukes ordet eksakt fordi de forskjellige områdene i matematikk har noe til felles: bevisene deres er utvetydige og uomtvistelige, det vil si nøyaktige.