Λογική πρώτης βαθμίδος
Αρκετοί φίλοι μού επεσήμαναν ότι η συμμετοχή μου στη Δράση, συνιστά …απόδραση από το χώρο των ιδεών της ελευθερίας στον άνευρο και πλαδαρό πραγματισμό που υποδεικνύει η κοινή λογική.
Τους απαντώ τα εξής:
Η περιπέτεια της λογικής συνεχίζεται χιλιάδες χρόνια τώρα. Από κλάδος φιλοσοφίας αποσχίστηκε στο πεδίο των μαθηματικών για να επανέλθει στη φιλοσοφία και να τυραννιέται ανάμεσα στους δύο καμμιά εκατοστή χρόνια. Ακόμη και σήμερα οι φιλόσοφοι και οι μαθηματικοί διαφωνούν μεταξύ τους για την πληρότητα της λογικής δεύτερης βαθμίδος. Στη μελέτη του παραγωγικού τρόπου των συλλογισμών και της απόδειξης είμαι βέβαιος ότι θα υπάρχουν κενά ή πιο σωστά ερωτήματα που δε θα απαντηθούν ποτέ.
Ποιός όμως μπορεί να αμφισβητήσει το γεγονός, ότι η εκπληκτική αυτή διαμάχη επέτρεψε την πολυκλαδική ανάπτυξη της λογικής, με εντυπωσιακές εφαρμογές στην τεχνητή ευφυία, στο σχεδιασμό και επαλήθευση του λογισμικού κοκ.
Στο προκείμενο, αναρωτιέμαι οι φιλελεύθερες ιδέες τι αξία μπορούν να έχουν εάν δεν μπορούν να αποδείξουν τη λειτουργικότητα και αποτελεσματικότητα ενός συστήματος που στηρίζεται στις ελεύθερες, αυτόνομες και προς το ατομικό συμφέρον προσανατολισμένες οικονομικές δραστηριότητες των ατόμων. Η ορθότητα των φιλελεύθερων προτάσεων κατέληξα μετά από μια ιδιαίτερα κοπιαστική προσωπική πνευματική διεργασία, ότι αποδεικνύεται με την εφαρμογή του κατηγορηματικού λογισμού.
Υποστηρίζω τις φιλελεύθερες προτάσεις αφού με τη χρήση της μεθοδικής σκέψης κατέληξα ότι είναι σχεδόν πάντοτε οι καλλίτερες στην επίλυση των κοινωνικών ζητημάτων. Ασφαλώς η λογική που επικαλούμαστε εδώ δεν είναι η …τέλεια μέθοδος επίλυσης των προβλημάτων της κοινωνίας. Όπως σωστά έχει επισημανθεί το να χρησιμοποιήσουμε τη λογική για να μετασχηματιστεί σε μια φαινομενικά τέλεια θεωρία εξήγησης των πάντων είναι μάλλον απάτη ειδικά όταν αυτή θα αφορά περισσότερους από έναν. Αν προσπαθούσαμε να διατυπώσουμε μεταξύ μας μια τέτοια γενική πολιτική πρόταση πολύ απλά δε θα τα καταφέρναμε. Είναι μάταιο να αναζητούμε έτοιμες συνταγές για αληθινά δύσκολα προβλήματα.
Γι΄αυτό το λόγο συμφωνήσαμε μεταξύ μας στο ελάχιστο δυνατό. Στις απολύτως απαραίτητες βασικές προτάσεις, τις οποίες ο καθένας από μας προηγουμένως τις προσέγγισε μόνος του με το πανίσχυρο αναλυτικό εργαλείο της λογικής. Είδαμε ότι συμφωνούμε σ΄αυτές και αποφασίσαμε να τις υποστηρίξουμε δημόσια.
