De nøjagtige videnskaber, også kendt som hårde videnskaber, rene videnskaber eller grundlæggende videnskaber, er helt afhængige af observation og eksperimenter som praksis for at skabe viden baseret på matematisk sprog. De er videnskab med høj præcision og strenghed, da den videnskabelige metode bruges i sin reneste form til at teste hypoteser ved hjælp af matematik som et middel til at gøre det.
Præcision og strenghed er to af de vigtigste kendetegn ved de nøjagtige videnskaber, en gren, hvor den strengeste videnskabelige metode bruges til at teste hypoteser. Disse videnskaber søger uigenkaldelighed af deres postulater ved hjælp af kvantificerbare og objektive forudsigelser.
I tilfælde af nøjagtige videnskaber søges det, at hypoteserne og postulaterne er uigendrivelige gennem ligninger og kvantificerbare og objektive matematiske operationer. Disse grundlæggende principper er kendt som aksiomer.
I øjeblikket, som etableret af Rudolf Carnap, er de nøjagtige videnskaber opdelt i formelle (ikke-eksperimentelle) og naturlige (eksperimentelle) videnskaber. Blandt de formelle videnskaber finder vi matematik, logik og formel logik. I naturvidenskab er de astronomi, biologi og fysik.
De nøjagtige videnskaber har lagt grundlaget for videnskabelig viden siden dens oprindelse. Selvom det nu er klart, at ikke al viden kan kvantificeres, ud fra denne forudsætning mange af de grundlæggende love, principper og teorier, der styrer de grundlæggende principper, der er antaget i århundreder, såsom tyngdekraften.
Hver videnskab har sin egen dimension. Derfor er der samfundsvidenskab, sundhedsvidenskab, dem, der er baseret på sandsynlighed (for eksempel meteorologi) eller dem, der beskæftiger sig med et eller andet aspekt af naturen (biologi, zoologi osv.). En af de mest relevante videnskaber er matematik, som også kaldes eksakte videnskaber. Udtrykket bruges i flertal, fordi matematik består af differentierede grene såsom algebra, aritmetik, geometri eller sandsynlighed. På den anden side bruges ordet nøjagtigt, fordi de forskellige områder i matematik har noget til fælles: deres beviser er utvetydige og uomtvistelige, det vil sige nøjagtige.
