Η πρόταση Ramsey (Ramsey sentence) είναι ένας τρόπος λογικής αναδιατύπωσης μιας επιστημονικής θεωρίας, κατά τον οποίο οι θεωρητικοί όροι της θεωρίας αντικαθίστανται από μεταβλητές που δεσμεύονται με υπαρξιακούς ποσοδείκτες.
Με απλούστερα λόγια, αντί η θεωρία να κατονομάζει συγκεκριμένες μη παρατηρήσιμες οντότητες, ιδιότητες ή σχέσεις, δηλώνει ότι:
Υπάρχουν κάποιες οντότητες, ιδιότητες ή σχέσεις που εκπληρώνουν τους ρόλους τους οποίους περιγράφει η θεωρία.
Η μέθοδος προτάθηκε από τον Frank Ramsey στο κείμενο Theories, το οποίο γράφτηκε το 1929.
Το πρόβλημα των θεωρητικών όρων
Οι επιστημονικές θεωρίες χρησιμοποιούν όρους όπως:
- ηλεκτρόνιο
- γονίδιο
- δύναμη
- ηλεκτρομαγνητικό πεδίο
- καμπυλότητα του χωροχρόνου
Οι όροι αυτοί δεν αντιστοιχούν πάντοτε σε κάτι που μπορούμε να παρατηρήσουμε άμεσα. Κατανοούμε τη σημασία τους κυρίως μέσα από τη θέση που κατέχουν σε ένα σύνολο νόμων, προβλέψεων και σχέσεων με παρατηρήσιμα φαινόμενα.
Η πρόταση Ramsey αντιμετωπίζει τους θεωρητικούς όρους ολιστικά: δεν προσπαθεί να ορίσει κάθε όρο χωριστά, αλλά περιγράφει ολόκληρο το δίκτυο των μεταξύ τους σχέσεων.
Τυπική κατασκευή
Έστω μια θεωρία:
\[ T(O_1,\ldots,O_n; t_1,\ldots,t_m) \]όπου:
- \(O_1,\ldots,O_n\) είναι οι ήδη κατανοητοί ή παρατηρησιακοί όροι,
- \(t_1,\ldots,t_m\) είναι οι θεωρητικοί όροι.
Αντικαθιστούμε τους θεωρητικούς όρους με μεταβλητές:
\[ T(O_1,\ldots,O_n; X_1,\ldots,X_m) \]και προσθέτουμε υπαρξιακούς ποσοδείκτες:
\[ \exists X_1\ldots\exists X_m\, T(O_1,\ldots,O_n; X_1,\ldots,X_m) \]Αυτή είναι η πρόταση Ramsey της θεωρίας.
Η διαδικασία ονομάζεται Ramseyfication ή Ramsification.
Το ελληνικό ερωτηματικό ; μέσα στον τύπο δεν είναι λογικός τελεστής. Χρησιμοποιείται απλώς για να διαχωρίσει οπτικά τους παρατηρησιακούς από τους θεωρητικούς όρους.
Απλοποιημένο παράδειγμα
Ας υποθέσουμε ότι μια θεωρία χρησιμοποιεί τον θεωρητικό όρο «μικρόβιο» και υποστηρίζει ότι:
- τα μικρόβια προκαλούν ένα συγκεκριμένο σύμπτωμα,
- μια θεραπεία εξαφανίζει τα μικρόβια,
- όταν εξαφανίζονται τα μικρόβια, παύει και το σύμπτωμα.
Στην πρόταση Ramsey αντικαθιστούμε τον όρο «μικρόβιο» με μια μεταβλητή \(X\):
Υπάρχει κάποιο είδος οντότητας \(X\), τέτοιο ώστε το \(X\) να προκαλεί το σύμπτωμα, η θεραπεία να εξαλείφει το \(X\), και η εξάλειψη του \(X\) να συνοδεύεται από την παύση του συμπτώματος.
Η πρόταση δεν προσδιορίζει ανεξάρτητα τι είναι το \(X\). Το προσδιορίζει μέσω του ρόλου που παίζει μέσα στη θεωρία.
Τι διατηρεί η πρόταση Ramsey
Η πρόταση Ramsey διατηρεί τις παρατηρησιακές συνέπειες της αρχικής θεωρίας. Διατηρεί επίσης τη δομή των σχέσεων που η θεωρία αποδίδει στους θεωρητικούς όρους.
Δεν λέει πλέον:
Τα ηλεκτρόνια έχουν αυτές τις ιδιότητες.
Λέει περίπου:
Υπάρχουν κάποιες οντότητες οι οποίες έχουν τις ιδιότητες και τις σχέσεις που η θεωρία αποδίδει στα ηλεκτρόνια.
Επομένως, η μέθοδος εξαλείφει την άμεση χρήση των θεωρητικών ονομάτων, όχι κατ’ ανάγκην τη δέσμευση στην ύπαρξη μη παρατηρήσιμων οντοτήτων.
Οι υπαρξιακοί ποσοδείκτες εξακολουθούν να δηλώνουν ότι κάτι εκπληρώνει τους αντίστοιχους θεωρητικούς ρόλους.
Φιλοσοφική σημασία
Συμφραστική θεωρία της σημασίας
Η πρόταση Ramsey υποστηρίζει την ιδέα ότι η σημασία ενός θεωρητικού όρου καθορίζεται, τουλάχιστον εν μέρει, από τη θέση του μέσα σε μια θεωρία.
Ο όρος «ηλεκτρόνιο», για παράδειγμα, δεν αποκτά τη σημασία του από έναν απλό, ανεξάρτητο ορισμό, αλλά από το σύνολο των νόμων, μετρήσεων και προβλέψεων στις οποίες συμμετέχει.
Λογικός εμπειρισμός
Ο Rudolf Carnap χρησιμοποίησε την πρόταση Ramsey για να απομονώσει το πραγματολογικό ή συνθετικό περιεχόμενο μιας επιστημονικής θεωρίας.
Ο Carnap δεν πρότεινε απλώς την αντικατάσταση ολόκληρης της θεωρίας από την πρόταση Ramsey. Η πλήρης ανακατασκευή του περιλάμβανε τόσο την πρόταση Ramsey όσο και την αποκαλούμενη πρόταση Carnap.
Δομικός ρεαλισμός
Στον δομικό ρεαλισμό, η πρόταση Ramsey χρησιμοποιείται για να εκφράσει την άποψη ότι ενδέχεται να μη γνωρίζουμε την εσωτερική φύση των μη παρατηρήσιμων οντοτήτων, αλλά μπορούμε να γνωρίζουμε τη δομή των μεταξύ τους σχέσεων.
Η θεωρία μάς λέει ότι υπάρχουν ορισμένες οντότητες που συνδέονται με συγκεκριμένο τρόπο, χωρίς να χρειάζεται να προσδιορίζει πλήρως τι είναι αυτές οι οντότητες καθαυτές.
Λειτουργισμός
Ο David Lewis ανέπτυξε μια παραλλαγή της μεθόδου, γνωστή ως μέθοδος Ramsey-Lewis, για τον ορισμό θεωρητικών όρων μέσω των λειτουργικών τους ρόλων.
Η μέθοδος αυτή απέκτησε ιδιαίτερη σημασία στη φιλοσοφία του νου, όπου νοητικές καταστάσεις όπως ο πόνος μπορούν να οριστούν μέσω του αιτιακού και λειτουργικού ρόλου τους.
Περιορισμοί και αντιρρήσεις
Πολλαπλή πραγμάτωση
Η πρόταση Ramsey μπορεί να είναι αληθής ακόμη και όταν περισσότερα από ένα διαφορετικά συστήματα εκπληρώνουν τους ρόλους που περιγράφει η θεωρία.
Επομένως, δεν εγγυάται ότι οι θεωρητικοί όροι αναφέρονται σε μία και μοναδική οντότητα ή ιδιότητα.
Η διάκριση θεωρητικού και παρατηρησιακού
Η κατασκευή προϋποθέτει κάποια διάκριση ανάμεσα σε θεωρητικούς και παρατηρησιακούς όρους.
Η διάκριση αυτή όμως δεν είναι πάντοτε σαφής: ακόμη και η παρατήρηση και η μέτρηση μπορούν να εξαρτώνται από προϋπάρχουσες θεωρίες.
Η ένσταση του Newman
Η ένσταση του Newman υποστηρίζει ότι μια καθαρά δομική περιγραφή κινδυνεύει να γίνει σχεδόν τετριμμένη.
Αν γνωρίζουμε μόνο ότι υπάρχει ένα σύνολο οντοτήτων με κάποια αφηρημένη δομή, τότε (εφόσον υπάρχουν αρκετές οντότητες) μπορεί συχνά να οριστεί πάνω τους μια σχέση που ικανοποιεί τη ζητούμενη δομή.
Η ένσταση δημιουργεί το ερώτημα κατά πόσο η πρόταση Ramsey εκφράζει ουσιαστική γνώση για τον κόσμο ή απλώς έναν αφηρημένο ισχυρισμό περί ύπαρξης κάποιας κατάλληλης δομής.
Απώλεια επεξηγηματικού περιεχομένου
Έχει επίσης υποστηριχθεί ότι η πρόταση Ramsey μπορεί να διατηρεί τις παρατηρησιακές συνέπειες μιας θεωρίας χωρίς να διατηρεί πλήρως τον επεξηγηματικό, αναφορικό ή επαγωγικό ρόλο των θεωρητικών όρων της.
Συνοπτικά
Η πρόταση Ramsey μετατρέπει τον ισχυρισμό:
Οι οντότητες \(t_1,\ldots,t_m\) έχουν τις σχέσεις που περιγράφει η θεωρία \(T\).
στον ασθενέστερο ισχυρισμό:
Υπάρχουν κάποιες οντότητες, ιδιότητες ή σχέσεις \(X_1,\ldots,X_m\) που ικανοποιούν τη θεωρία \(T\).
Έτσι, διατηρεί τη θεωρητική δομή και τις εμπειρικές συνέπειες μιας θεωρίας, χωρίς να χρησιμοποιεί άμεσα τα αρχικά θεωρητικά ονόματα.
Σχετικές έννοιες
- Frank Ramsey
- θεωρητικοί όροι
- παρατηρησιακοί όροι
- λογικός εμπειρισμός
- Rudolf Carnap
- πρόταση Carnap
- μέθοδος Ramsey-Lewis
- λειτουργισμός
- δομικός ρεαλισμός
- ένσταση του Newman
- επιστημονικός ρεαλισμός
- υποκαθορισμός της θεωρίας από τα δεδομένα