Σπουδάζω τη Λογική… του παραλόγου!

escher-relativity

Μία από τις πιο συχνές και συνάμα δύσκολες ερωτήσεις που δέχομαι όλη την ώρα, είναι αυτή που έχει να κάνει με το τι σπουδάζω. Γιατί όταν ασχολείσαι με κάτι που έχει τέτοιο βαρύγδουπο τίτλο (‘Λογική’), τι θα απαντήσεις στον άλλον που σε ρωτάει? «Σπουδάζω Λογική»? «Σιγά ρε φίλε!» θα σου απαντήσει αυθόρμητα: «Και μεις οι άλλοι δηλαδή με τι ασχολούμαστε? Με το παράλογο?». Και θα ‘χει δίκιο. Η όλη φάση, θυμίζει λίγο τον διάλογο:

  • Τι μουσική ακούς?
  • Έντεχνη…
  • Δηλαδή?
  • Ξέρεις μωρέ, Νταλάρα, Αλεξίου και τέτοια…
  • Εεεε? Δηλαδή με βάση τη ‘Λογική’ που σπουδάζει κι ο άλλος ο άκυρος, όσοι είμαστε οπαδοί του “Δε-μας-χέζεις-ρε-Νταλαρισμού” και δεν αντέχουμε το κλάμμα της Χαρούλας, ακούμε άτεχνη μουσική?

Άντε βγάλε άκρη μετά! Φυσικά, το πρόβλημα είναι σημειολογικό. Όταν κάνεις μία κατηγοριοποίηση σε μία ομάδα πραγμάτων, τότε τα ονόματα που δίνεις στις επιμέρους ομάδες της, πρέπει να είναι απόλυτα και ίδια για όλους και να μην επηρεάζονται από την υποκειμενικότητα του εκάστοτε παρατηρητή. Για παράδειγμα, το όνομα ‘Jack’ είναι έγκυρο, ενώ το όνομα ‘Καλό παιδί’ δεν είναι. Κι αυτό, γιατί αν ο ‘JackBauer που είναι και ‘Καλό παιδί’ γίνει ξαφνικά ο ‘Jack’ ο αντεροβγάλτης, θα συνεχίσει να λέγεται Jack, αλλά μάλλον κάποιοι θα αρχίσουν να έχουν αμφιβολίες ως προς το αν παραμένει ‘Καλό παιδί’… (παρόλο που ακόμα και τότε θα τον γουστάρουμε τρελά!)

Γι’ αυτό ακριβώς το λόγο, η επιστήμη η οποία σπουδάζω δεν ονομάζεται απλώς ‘Λογική’ (που είναι τίτλος εντελώς αόριστος και εξαρτάται από το περιβάλλον στο οποίο ορίζεται) αλλά ‘Μαθηματική Λογική’ (δηλαδή η ‘Λογική’ όπως αυτή ορίζεται μέσα από την επιστήμη των μαθηματικών). Πιο συγκεκριμένα, η Μαθηματική Λογική είναι εκείνη η επιστήμη που είναι υπεύθυνη για την ομαλή λειτουργία των μαθηματικών (π.χ. ελέγχει την ‘ορθότητα’ συγκεκριμένων μαθηματικών αντικειμένων που ονομάζονται αξιωματικά συστήματα). Μάλιστα, επειδή η Μαθηματική Λογική αναφέρεται στη ‘γλώσσα’ των μαθηματικών, λέμε ότι το λεξιλόγιο της πρώτης αποτελεί μέρος της ‘μεταγλώσσας’. Όπως ακριβώς όταν μελετούσαμε ένα αρχαίο ελληνικό κείμενο στο σχολείο. Εκεί, η ‘γλώσσα’ του κειμένου ήταν τα αρχαία ελληνικά, ενώ η ‘μεταγλώσσα’ που χρησιμοποιούσαμε για να το μεταφράσουμε και να το αναλύσουμε ήταν τα νέα ελληνικά…

Άντε τώρα εξήγησε το αυτό στην Αμερικανο-Κινέζα που γνώρισες σ’ εκείνο το bar της Santa Monica. Χλωμό… Της πετάς εκεί ένα “σπουδάζω μαθηματικά” και προσεύχεσαι από μέσα σου στο θεό Bauer να μη σε περάσει για nerd. Αν βέβαια πάει γυρεύοντας και κάνει κι άλλες ερωτήσεις για να διατηρήσει την ψιλοκουβέντα, πρέπει να αυτοσχεδιάσεις. Κι όχι τίποτε άλλο. Δεν ξέρω πώς είναι και το ‘ενυδρείο’ στα αγγλικά για να της πω και το σχετικό ανέκδοτο των Α.Μ.Α.Ν. (Ξέρετε… Ενυδρείο έχεις σπίτι σου? Όχι! Άρα είσαι πούσ*ης…) Αχχχχ! Ώρες ώρες εύχομαι να είχα γίνει χειρούργος…

(πίνακας ‘relativity’ του Mautitis Cornelis Escher)

Advertisements

4 Σχόλια

  1. Φεβρουαρίου 17, 2009 στις 3:29 πμ

    Χεχεχεχε. Πολύ ωραίο ποστ. Ωραία η εισαγωγή στη ‘λογική’ για τους αμύητους. Εμείς φέτος στο μεταπτυχιακό έχουμε πήξει σε first order logic, description logic και δε συμμαζεύεται.

    Το βασικό ερώτημα βέβαια αφορά το αν η τελευταία παράγραφος είναι based on a true story. 😛

  2. Duncan said,

    Φεβρουαρίου 17, 2009 στις 4:30 πμ

    Of course it is! Who can give us better examples than life itself? 😉

    Όσο για την first order logic που λες παραπάνω, είναι από τα αγαπημένα μου κομμάτια αυτού που οι μαθηματικοί ονομάζουνε μοντελοθεωρία…

    Μάλιστα, μία από αυτές τις ημέρες, σκέφτομαι να αναρτήσω ένα εκλαϊκευτικό post όπου θα αναφέρομαι σε μερικά από τα προβλήματα με τα οποία ασχολείται η Μαθηματική Λογική.

    Έτσι, θα παραπέμπω εκεί όποιον με ρωτάει τι σπουδάζω και θα ησυχάσω!

  3. Rafael said,

    Φεβρουαρίου 18, 2009 στις 3:00 μμ

    Hahahahahahahaha gamato post re!! Kai gamo tis photo! Auta exo na po…

    P.S. exo valei pseutiko email 🙂

  4. Duncan said,

    Φεβρουαρίου 18, 2009 στις 9:24 μμ

    Χαίρομαι που σου άρεσε! Έπρεπε κάποια στιγμή και γω να πω τον πόνο μου να ησυχάσω…

    Btw, δώσε ότι e-mail θες, μόνο εγώ το βλέπω… 😉


Σχολιάστε

Εισάγετε τα παρακάτω στοιχεία ή επιλέξτε ένα εικονίδιο για να συνδεθείτε:

Λογότυπο WordPress.com

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό WordPress.com. Αποσύνδεση / Αλλαγή )

Φωτογραφία Twitter

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό Twitter. Αποσύνδεση / Αλλαγή )

Φωτογραφία Facebook

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό Facebook. Αποσύνδεση / Αλλαγή )

Φωτογραφία Google+

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό Google+. Αποσύνδεση / Αλλαγή )

Σύνδεση με %s

Αρέσει σε %d bloggers: