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