Είναι η ανθρώπινη σκέψη αλγοριθμική; Υπάρχουν νόμοι που διέπουν τους σωστούς συλλογισμούς και τα πειστικά επιχειρήματα και, αν ναι, θα μπορούσαμε να φτιάξουμε μηχανές που σκέφτονται και συλλογίζονται σαν κι εμάς; Κατά πόσο θα ήταν δυνατόν να φτιάξουμε μηχανές που δίνουν απαντήσεις σε όλα μας τα ερωτήματα ή/και λύσεις στα επιστημονικά μας προβλήματα; Αν κάτι τέτοιο δεν είναι δυνατόν, υπάρχουν θεμελιώδεις λόγοι για αυτή την αδυνατότητα ή μόνο πρακτικοί;
Στο μάθημα αυτό θα ασχοληθούμε με τα παραπάνω (καθώς και άλλα σχετικά) ερωτήματα, υιοθετώντας, εξίσου, μια ιστορική και μια φιλοσοφική οπτική. Συγκεκριμένα, θα εξετάσουμε, φιλοσόφους και εγχειρήματα που έπαιξαν σημαντικό ρόλο στο να απαντηθούν τα παραπάνω ερωτήματα, καθόλη τη διάρκεια της μακραίωνης προσπάθειας για τη μηχανικοποίηση της σκέψης και των ορθών συλλογισμών, από τον Αριστοτέλη μέχρι και σήμερα.
- Διδάσκων/Διδάσκουσα: Φίλιππος Αναστάσιος Παπαγιαννόπουλος