Οι ακριβείς επιστήμες, επίσης γνωστές ως σκληρές επιστήμες, καθαρές επιστήμες ή θεμελιώδεις επιστήμες βασίζονται εξ ολοκλήρου στην παρατήρηση και τον πειραματισμό ως πρακτικές για τη δημιουργία γνώσεων βασισμένων στη μαθηματική γλώσσα. Είναι επιστήμη υψηλής ακρίβειας και αυστηρότητας, καθώς η επιστημονική μέθοδος χρησιμοποιείται στην πιο αγνή της μορφή για να δοκιμάσει υποθέσεις χρησιμοποιώντας τα μαθηματικά ως όχημα για να το κάνει.
Η ακρίβεια και η αυστηρότητα είναι δύο από τα κύρια χαρακτηριστικά των ακριβών επιστημών, ένας κλάδος στον οποίο η πιο αυστηρή επιστημονική μέθοδος χρησιμοποιείται για τη δοκιμή υποθέσεων. Αυτές οι επιστήμες επιδιώκουν την ανακρίβεια των αξιώσεών τους χρησιμοποιώντας ποσοτικοποιήσιμες και αντικειμενικές προβλέψεις.
Στην περίπτωση των ακριβών επιστημών, επιδιώκεται ότι οι υποθέσεις και τα αξιώματα είναι αναμφισβήτητα μέσω εξισώσεων και ποσοτικών και αντικειμενικών μαθηματικών πράξεων. Αυτές οι θεμελιώδεις αρχές είναι γνωστές ως αξιώματα.
Επί του παρόντος, όπως καθορίστηκε από τον Rudolf Carnap, οι ακριβείς επιστήμες χωρίζονται σε επίσημες (μη πειραματικές) και φυσικές (πειραματικές) επιστήμες. Μεταξύ των τυπικών επιστημών, βρίσκουμε τα μαθηματικά, τη λογική και την επίσημη λογική. Στις φυσικές επιστήμες είναι η αστρονομία, η βιολογία και η φυσική.
Οι ακριβείς επιστήμες έθεσαν τα θεμέλια για την επιστημονική γνώση από την προέλευσή της. Αν και είναι πλέον σαφές ότι δεν μπορούν να ποσοτικοποιηθούν όλες οι γνώσεις, από αυτήν την υπόθεση πολλοί από τους θεμελιώδεις νόμους, αρχές και θεωρίες που διέπουν τις βασικές αρχές που έχουν ληφθεί για αιώνες, όπως η βαρύτητα.
Κάθε επιστήμη έχει τη δική της διάσταση. Επομένως, υπάρχουν οι κοινωνικές επιστήμες, οι επιστήμες υγείας, εκείνες που βασίζονται στην πιθανότητα (για παράδειγμα, μετεωρολογία) ή εκείνες που ασχολούνται με κάποια πτυχή της φύσης (βιολογία, ζωολογία, κ.λπ.). Μία από τις πιο σχετικές επιστήμες είναι τα μαθηματικά, τα οποία ονομάζονται επίσης ακριβείς επιστήμες. Ο όρος χρησιμοποιείται στον πληθυντικό επειδή τα μαθηματικά αποτελούνται από διαφοροποιημένους κλάδους όπως άλγεβρα, αριθμητική, γεωμετρία ή πιθανότητα. Από την άλλη πλευρά, η λέξη ακριβής χρησιμοποιείται επειδή οι διαφορετικοί τομείς των μαθηματικών έχουν κάτι κοινό: οι αποδείξεις τους είναι σαφείς και αδιαμφισβήτητες, δηλαδή, ακριβείς.
