🌀 Το Παράδοξο του Yablo: Ένα παράδοξο χωρίς αυτοαναφορά

Φανταστείτε μια άπειρη σειρά προτάσεων. Καθεμία λέει ακριβώς το ίδιο πράγμα για όλες όσες βρίσκονται μετά από αυτήν:

\(S_1\): Όλες οι δηλώσεις κάτω από αυτήν είναι ψευδείς.

\(S_2\): Όλες οι δηλώσεις κάτω από αυτήν είναι ψευδείς.

\(S_3\): Όλες οι δηλώσεις κάτω από αυτήν είναι ψευδείς.

\(S_4\): Όλες οι δηλώσεις κάτω από αυτήν είναι ψευδείς.

\(\vdots\)

Με μαθηματικό συμβολισμό, κάθε πρόταση \(S_n\) λέει:

\[ S_n:\qquad \text{«Για κάθε }k>n,\;S_k\text{ είναι ψευδής.»} \]

Το εντυπωσιακό είναι ότι καμία πρόταση δεν μιλά για τον εαυτό της. Η \(S_1\) μιλά μόνο για τις \(S_2,S_3,\ldots\), η \(S_2\) μόνο για τις \(S_3,S_4,\ldots\), και ούτω καθεξής.

🤔 Μπορούν να είναι όλες ψευδείς;

Ας υποθέσουμε ότι όλες οι προτάσεις είναι ψευδείς.

Τότε όμως η \(S_1\), που ισχυρίζεται ότι όλες οι επόμενες προτάσεις είναι ψευδείς, περιγράφει ακριβώς αυτό που συμβαίνει.

Άρα η \(S_1\) θα έπρεπε να είναι αληθής.

\[ \text{Όλες ψευδείς} \quad\Longrightarrow\quad S_1\text{ αληθής}. \]

Αντίφαση.

🔄 Μπορεί κάποια να είναι αληθής;

Ας υποθέσουμε τώρα ότι κάποια \(S_n\) είναι αληθής.

Τότε, σύμφωνα με αυτό που δηλώνει, όλες οι προτάσεις μετά από αυτήν πρέπει να είναι ψευδείς:

\[ S_{n+1},S_{n+2},S_{n+3},\ldots \quad\text{όλες ψευδείς}. \]

Αλλά τότε η \(S_{n+1}\) λέει κάτι αληθινό: όλες οι προτάσεις που βρίσκονται μετά από αυτήν είναι πράγματι ψευδείς.

Επομένως η \(S_{n+1}\) θα έπρεπε να είναι αληθής — ενώ μόλις συμπεράναμε ότι είναι ψευδής.

⚡ Αντίφαση και πάλι!

Δεν υπάρχει συνεπής τρόπος να αποδώσουμε σε όλες τις \(S_n\) τιμές «αληθής» ή «ψευδής».

🧠 Και πού βρίσκεται το παράδοξο;

Το παράδοξο θυμίζει το περίφημο παράδοξο του ψεύτη:

«Αυτή η πρόταση είναι ψευδής.»

Υπάρχει όμως μια θεμελιώδης διαφορά.

Στο παράδοξο του ψεύτη υπάρχει άμεση αυτοαναφορά. Η πρόταση μιλά για τη δική της αλήθεια ή το δικό της ψεύδος.

Στο παράδοξο του Yablo, αντίθετα, καμία \(S_n\) δεν αναφέρεται στον εαυτό της. Κάθε πρόταση κοιτάζει μόνο προς τα εμπρός, στις άπειρες προτάσεις που ακολουθούν.

💡 Η μεγάλη ιδέα

Το παράδοξο του Yablo προτάθηκε ως ένα εντυπωσιακό παράδειγμα ότι ένα παράδοξο αυτού του τύπου μπορεί να εμφανιστεί χωρίς καμία πρόταση να αναφέρεται άμεσα στον εαυτό της.

Και αυτό γεννά ένα βαθύτερο φιλοσοφικό και λογικό ερώτημα: έχει πράγματι εξαφανιστεί κάθε μορφή κυκλικότητας ή η άπειρη δομή κρύβει ένα πιο έμμεσο είδος αυτοαναφοράς;

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →