Vrije University - Summer graduate programs
Η λογική ως εργαλείο μοντελοποίησης
Amsterdam, Κάτω Χώρες
Θερινά μαθήματα
ΔΙΆΡΚΕΙΑ
2 εβδομάδες
ΓΛΏΣΣΕΣ
Αγγλικά
ΡΥΘΜΌΣ
Πλήρης απασχόληση
ΠΡΟΘΕΣΜΊΑ ΕΦΑΡΜΟΓΉΣ
15 May 2026
ΠΡΩΙΜΌΤΕΡΗ ΗΜΕΡΟΜΗΝΊΑ ΈΝΑΡΞΗΣ
06 Jul 2026
ΔΊΔΑΚΤΡΑ
EUR 1.500 *
ΜΟΡΦΉ ΜΕΛΈΤΗΣ
Στην Πανεπιστημιούπολη
* Φοιτητές της VU
Καθ' όλη τη διάρκεια του μαθήματος θα ενθαρρύνουμε τους συμμετέχοντες να σκεφτούν πώς μπορεί να εφαρμοστεί η λογική στα πεδία ενδιαφέροντός τους.
Η λογική είναι η μελέτη διαφορετικών τύπων συλλογισμών. Η λογική είναι επίσης μια τεχνολογία, ένα εργαλείο για την κομψή μοντελοποίηση διαφορετικών φαινομένων. Στόχος του μαθήματος είναι να σας παρουσιάσει αυτό το εργαλείο και να εξηγήσει πώς μπορεί να χρησιμοποιηθεί. Το μάθημα χωρίζεται σε 3 μέρη.
Θα εισαγάγουμε την Κλασική Λογική ως αφετηρία και θα δείξουμε πόσα διαφορετικά συστήματα συλλογισμού (λογικές) προκύπτουν ως παραλλαγές. Θα εισαγάγουμε δύο θεμελιώδεις τρόπους μελέτης μιας λογικής, μέσω της σημασιολογίας και της σύνταξης. Το τελευταίο είναι φυσικά κατάλληλο για μοντελοποίηση και αυτοματοποιημένη συλλογιστική. Θα συζητήσουμε επίσης εφαρμογές στις κοινωνικές επιστήμες με επίκεντρο τη ροή πληροφοριών και την αντιπροσωπεία. Θα εισαγάγουμε λογικούς φορμαλισμούς που μας επιτρέπουν να μοντελοποιήσουμε καταστάσεις στις οποίες η αλήθεια κατασκευάζεται κοινωνικά και να αναπτύξουμε έννοιες όπως η γνώση και η ομάδα και η κοινή γνώση.
Το κύριο θέμα στο χειρισμό των αιτήσεων είναι η έννοια των κατηγοριών και της κατηγοριοποίησης. Η κατηγοριοποίηση είναι η δραστηριότητα της τοποθέτησης πραγμάτων όπως αντικειμένων ή ιδεών σε κατηγορίες με βάση τις ομοιότητες ή τα κοινά τους κριτήρια. Θα εισαγάγουμε επίσημα τη θεωρία κατηγοριοποίησης, ξεκινώντας από την κλασική θεωρία του Αριστοτέλη μέχρι τη θεωρία πρωτοτύπων και υποδειγμάτων. Θα επισημοποιήσουμε αυτές τις έννοιες και θα εξηγήσουμε πώς θα μπορούσαν να χρησιμοποιηθούν τα εργαλεία της λογικής για να ενσωματώσουν την ασάφεια σε αυτή τη θεωρία.
Το τρίτο μέρος του μαθήματος χρησιμοποιεί τη θεμελιώδη ανάπτυξη από το Μέρος 1 και τις διαισθήσεις μοντελοποίησης από το Μέρος 2. Θα εισαγάγουμε τη μελέτη της τυπικής γλωσσολογίας όπου οι λέξεις ταξινομούνται ως προς το ρόλο που παίζουν στο σχηματισμό της πρότασης. Μια λέξη μπορεί να κατηγοριοποιηθεί ως ονομαστική φράση, μεταβατικό ρήμα κ.λπ. Στη συνέχεια συνδυάζονται συντακτικές κατηγορίες, ανάλογα με τους κανόνες σχηματισμού, για τη δημιουργία σύνθετων εκφράσεων. Θα δούμε πώς μια γραμματικά σωστή πρόταση μπορεί στη συνέχεια να συλληφθεί από μια επίσημη απόδειξη ή μια διαδικασία υπολογισμού και πώς διαφορετικές αναγνώσεις αντιστοιχούν σε διαφορετικές αποδείξεις.
Αυτό το μάθημα απευθύνεται κυρίως σε δευτεροετείς προπτυχιακούς και μεταπτυχιακούς φοιτητές που ενδιαφέρονται για το πώς η λογική μπορεί να εφαρμοστεί στη μοντελοποίηση ποικίλων φαινομένων —ιδιαίτερα, αν και όχι αποκλειστικά, σε σενάρια πολλαπλών πρακτόρων όπου η ροή πληροφοριών παίζει κεντρικό ρόλο. Είναι επίσης κατάλληλο για διδακτορικούς φοιτητές και επαγγελματίες που επιδιώκουν να διευρύνουν την κατανόησή τους για τη λογική ως εργαλείο μοντελοποίησης.
Το μάθημα έχει σχεδιαστεί με γνώμονα την ευελιξία και μπορεί να προσαρμοστεί ώστε να ταιριάζει σε ένα ετερογενές κοινό. Παρόλο που δεν απαιτούνται συγκεκριμένες προϋποθέσεις, η προηγούμενη εξοικείωση με τη συλλογιστική, την επιχειρηματολογία ή τις επίσημες αποδείξεις θα είναι χρήσιμη.
Τελευταία ευκαιρία για αίτηση!
Τα πρωινά, έχουμε διαλέξεις από τις 9:30 έως τις 11:00, ακολουθούμενες από ασκήσεις από τις 11:15 έως τις 12:00. Τα απογεύματα ακολουθούν την ίδια μορφή: διαλέξεις από τις 13:30 έως τις 15:00, ακολουθούμενες από ασκήσεις από τις 15:15 έως τις 16:00. Την Τετάρτη της πρώτης εβδομάδας, έχουμε προγραμματίσει μια διαδραστική διάλεξη ως προσκεκλημένος ομιλητής. Αυτή πιθανότατα θα περιλαμβάνει είτε επίδειξη ενός διαδραστικού βοηθού απόδειξης είτε ενός εργαλείου για την κατασκευή τυπικών οντολογιών. Σε αυτή την περίπτωση, οι φοιτητές αναμένεται να φέρουν τους δικούς τους φορητούς υπολογιστές. Το απόγευμα είναι ελεύθερο από μαθήματα. Κατά τη διάρκεια της δεύτερης εβδομάδας, τα απογεύματα της Τετάρτης και της Πέμπτης είναι ελεύθερα από μαθήματα. Η Πέμπτη της δεύτερης εβδομάδας είναι αφιερωμένη σε μια διάλεξη ως προσκεκλημένος ομιλητής σε ένα πιο προχωρημένο θέμα. Η Παρασκευή της δεύτερης εβδομάδας είναι αφιερωμένη σε παρουσιάσεις φοιτητών.
Στο τέλος αυτού του μαθήματος, οι φοιτητές θα μπορούν:
- Κατανοήστε τι εννοούμε με τον όρο μελέτη της λογικής και συνοψίστε πώς προκύπτουν τα διαφορετικά συστήματα συλλογισμού (λογικές) και σκιαγραφήστε πώς μπορούν να μελετηθούν.
- Εξηγήστε τη σχέση θεωρίας απόδειξης και λογικής.
- Παραθέστε και συγκρίνετε έναν αριθμό διαφορετικών λογικών μεθόδων και δείξτε πώς διαφέρουν από την κλασική λογική.
- Δείξτε πώς μπορεί να χρησιμοποιηθεί η λογική για τη μοντελοποίηση διαφορετικών φαινομένων.
- Να διακρίνετε τον διττό ρόλο της λογικής ως εξιδανικευμένης μορφής συλλογισμού και ως εργαλείου μοντελοποίησης.
- Αναπτύξτε μια ωριμότητα σχετικά με την αφηρημένη μοντελοποίηση και την επιχειρηματολογία.
Μάθετε να μοντελοποιείτε τη γνώση, την αυτονομία και τη γλώσσα με λογικά εργαλεία.
Οι φοιτητές αναμένεται να παρακολουθήσουν όλες τις διαλέξεις. Οι φοιτητές πρέπει να υποβάλουν 2 σετ εργασιών για το σπίτι, ένα στο τέλος της πρώτης εβδομάδας και ένα στο τέλος της δεύτερης. Οι φοιτητές πρέπει επίσης να διαβάσουν (μέρος) ενός ακαδημαϊκού άρθρου ή ενός κεφαλαίου βιβλίου σχετικά με τα θέματα που θα διδαχθούν στην τάξη και την τελευταία ημέρα του μαθήματος να κάνουν μια σύντομη παρουσίαση (περίπου 15 λεπτά) όπου θα συζητήσουν το άρθρο που διάβασαν. Παρέχουμε ένα συνημμένο με μια λίστα θεμάτων και πιθανών αναγνώσεων, αλλά οι φοιτητές είναι επίσης ευπρόσδεκτοι να βρουν άρθρα σχετικά με τα θέματα του μαθήματος που αφορούν περισσότερο τα δικά τους ενδιαφέροντα.