Η διαψευσιμότητα είναι μια έννοια από τη φιλοσοφία της επιστήμης που λέει ότι είναι δυνατόν να αποδειχθεί ότι μια θεωρία είναι λανθασμένη. Υπάρχουν διάφοροι τρόποι με τους οποίους μπορεί να γίνει αυτό. Ο ευκολότερος τρόπος είναι να βρεθεί ένα παράδειγμα όπου η θεωρία θα έπρεπε να ισχύει, αλλά κατά κάποιο τρόπο δεν ισχύει. Ως παράδειγμα: Οι κύκνοι είναι πουλιά που σχετίζονται με τις πάπιες και τις χήνες. Σήμερα είναι γνωστά πολλά είδη κύκνων. Για τους περισσότερους ανθρώπους στην Ευρώπη, ένας κύκνος είναι ένα μεγάλο λευκό πουλί: Το μόνο είδος κύκνου που εμφανίζεται στην Ευρώπη είναι λευκό. Αρκετές εκατοντάδες χρόνια πριν, οι άνθρωποι στην Ευρώπη πίστευαν επομένως ότι όλοι οι κύκνοι είναι λευκοί. Το 1697, ο Ολλανδός εξερευνητής Willem de Vlamingh βρήκε μαύρα πουλιά που έμοιαζαν με κύκνους, κατά τη διάρκεια μιας αποστολής στις ακτές του ποταμού Swan River, στην Αυστραλία. Αργότερα, αποδείχθηκε ότι αυτά τα πουλιά ήταν πράγματι κύκνοι. Με την ανακάλυψή του, ο de Vlamingh είχε διαψεύσει τη θεωρία ότι όλοι οι κύκνοι ήταν λευκοί.
Υπάρχουν ορισμένες ειδικές περιπτώσεις, όπου μια δήλωση ή θεωρία δεν μπορεί να διαψευστεί:
- Ο Kurt Gödel έδειξε ότι ορισμένες προτάσεις μέσα σε ένα σύστημα λογικής δεν μπορούν να αποδειχθούν μέσα στο σύστημα αυτό.
- Στενά συνδεδεμένο με αυτό είναι το γεγονός ότι ορισμένες δηλώσεις είναι μη αποφασίσιμες (Αυτή η δήλωση είναι ψευδής, βλέπε παράδοξο). Οι μη αποφασίσιμες δηλώσεις δεν μπορούν να διαψευστούν.
Διαψεύδωση είναι να αποδείξουμε ότι μια θεωρία είναι λανθασμένη. Αυτό γίνεται με τον ακόλουθο τρόπο: Υπάρχει ένα σύνολο δηλώσεων (οι οποίες είναι λογικά ορθές και δεν αντιφάσκουν μεταξύ τους) που ονομάζεται θεωρία. Αν βρεθεί μία μόνο λογική δήλωση, η οποία είναι επίσης λογικά ορθή και η οποία αντιφάσκει με μία από τις δηλώσεις της θεωρίας, τότε η θεωρία αποδεικνύεται λανθασμένη. Αυτό μπορεί να γίνει με παρατήρηση, όπως στο παράδειγμα με τους κύκνους παραπάνω. Μπορεί επίσης να γίνει με τη χρήση της μαθηματικής λογικής, χρησιμοποιώντας την επαγωγή.
Ο Καρλ Πόπερ είχε τη γνώμη ότι μόνο οι θεωρίες που μπορούν να διαψευστούν είναι επιστημονικές. Η διαψευσιμότητα είναι τότε μια γραμμή μεταξύ της επιστήμης και άλλων ειδών γνώσης: αν μπορεί να διαψευστεί, είναι επιστήμη- αν δεν μπορεί, τότε δεν είναι επιστήμη. Πολλοί εργαζόμενοι επιστήμονες πιστεύουν ότι ο Popper είχε δίκιο.
Δεν συμφώνησαν όλοι με αυτό: Ο Pierre Duhem και ο Paul Feyerabend είχαν διαφορετικές ιδέες. Το βιβλίο του Feyerabend Against method (1975) υποστήριξε ότι δεν υπάρχει μία επιστημονική μέθοδος. Αντίθετα, ό,τι λειτουργεί, λειτουργεί και όλα επιτρέπονται. Αυτό ονομάζεται επιστημολογική αναρχία.
Η ιδέα του Duhem ήταν πιο λεπτή. Πίστευε ότι για κάθε δεδομένο σύνολο παρατηρήσεων υπάρχει ένας τεράστιος και αναρίθμητος αριθμός εξηγήσεων. Σύμφωνα με τον Duhem, ένα πείραμα στη φυσική δεν είναι απλώς μια παρατήρηση, αλλά μια ερμηνεία των παρατηρήσεων μέσω ενός θεωρητικού πλαισίου. Επιπλέον, ανεξάρτητα από το πόσο καλά κατασκευάζει κανείς το πείραμά του, είναι αδύνατο να υποβάλει μια μεμονωμένη μεμονωμένη υπόθεση σε πειραματικό έλεγχο. Αντίθετα, δοκιμάζεται μια ολόκληρη αλληλένδετη ομάδα υποθέσεων, υποθέσεων υποβάθρου και θεωριών. Αυτή η θέση έχει γίνει γνωστή ως ολισμός. Σύμφωνα με τον Duhem, καθιστά αδύνατα τα κρίσιμα πειράματα.
