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