Φανταστείτε ότι φτιάχνετε ένα πρόγραμμα για υπολογιστή στο οποίο περιλαμβάνετε την ακόλουθη πρόταση:”Αυτή η πρόταση είναι ψευδής”.Ύστερα ρωτάτε τον υπολογιστή να σας απαντήσει αν η προηγούμενη πρόταση είναι σωστή ή λάθος.Αν ο υπολογιστής απαντήσει ‘σωστό’, τότε η πρόταση είναι ψευδής. Αν απαντήσει ‘λάθος’, τότε η πρόταση είναι αληθής.Ο υπολογιστής θα πέσει σ’ ένα ατελείωτο loop, από το οποίο δε θα καταφέρει να βγει παρά μόνο με black- out!Το προηγούμενο παράδοξο ονομάζεται ‘παράδοξο του ψεύτη’ (liar paradox). Σαν κάποιος ψεύτης (εικόνα του post) να σας λέει με …. απόλυτη ειλικρίνεια: Μην πιστεύεις τίποτε απ’ ό,τι σου λέω!’. Υπάρχουν παραλλαγές του παραδόξου όπως οι προτάσεις: ‘Η προηγούμενη πρόταση είναι σωστή’, ‘η επόμενη είναι λάθος’, κοκ. Η βασική αρχή πάντως που παραβιάζεται σε κάθε περίπτωση είναι η συνέπεια (consistency). Κάθε λογική μας πρόταση θα πρέπει να χαρακτηρίζεται από συνέπεια. Αυτό σημαίνει ότι δεν μπορεί να είναι ταυτόχρονα σωστή και λάθος, συντακτικά και νοηματικά. Αυτή είναι και η βασική αρχή της επαγωγικής λογικής. Αυτό θα μπορούσε κάποιος αμέσως να σκεφτεί στην προηγούμενη ερώτηση: “Ποια ερώτηση;”. Θα χρειαζόταν δηλαδή κάποια επιπλέον πρόταση, η οποία δεν περιέχεται στην προηγούμενη ερώτηση.
[...]