Το Δ.Π.Μ.Σ. ξεκινά το χειμερινό εξάμηνο εκάστου ακαδημαϊκού έτους.

Για την απόκτηση διπλώματος του Δ.Π.Μ.Σ. απαιτούνται συνολικά εκατόν είκοσι (120) πιστωτικές μονάδες (ECTS). Όλα τα μαθήματα διδάσκονται εβδομαδιαίως και, κατά περίπτωση, περιλαμβάνουν σεμινάρια.

Η γλώσσα διδασκαλίας και συγγραφής της μεταπτυχιακής διπλωματικής εργασίας είναι η αγγλική.

Κατά τη διάρκεια των σπουδών, οι μεταπτυχιακοί φοιτητές/τριες υποχρεούνται σε παρακολούθηση και επιτυχή εξέταση μεταπτυχιακών μαθημάτων, καθώς και σε εκπόνηση μεταπτυχιακής διπλωματικής εργασίας. 

Η εκπόνηση της διπλωματικής εργασίας πραγματοποιείται στο τελευταίο εξάμηνο σπουδών και πιστώνεται με είκοσι (20) ECTS. Η διδασκαλία των μαθημάτων γίνεται διά ζώσης ή, σε ειδικές περιπτώσεις, κατόπιν πρότασης της Σ.Ε. και έγκρισης από την Ε.Π.Σ., εξ αποστάσεως, σύμφωνα με την κείμενη νομοθεσία και όσα ορίζονται στο άρθρο 7 του παρόντος κανονισμού.

Το ενδεικτικό πρόγραμμα των μαθημάτων ανά ειδίκευση διαμορφώνεται ως εξής:

Ειδίκευση: History and Philosophy of Logic

Α΄ Εξάμηνο

Μαθήματα υποχρεωτικά

• Mathematical Logic (10 ECTS)
• History of Logic (10 ECTS)
• Philosophy of Logic/Philosophical Logic (10 ECTS)

Σύνολο 30 ECTS

Β΄ Εξάμηνο

Μαθήματα υποχρεωτικά

• Set Theory (10 ECTS)
• Modal Logic (10 ECTS)

Μαθήματα επιλογής (επιλογή ενός μαθήματος)

• Deontic Logic (10 ECTS)
• Constructive Mathematics (10 ECTS)
• Proof Theory (10 ECTS)

Σύνολο 30 ECTS

Γ΄ Εξάμηνο

Μαθήματα επιλογής (επιλογή τριών μαθημάτων) 

• Computability (10 ECTS)
• Model Theory (10 ECTS)
• Philosophy of Mathematics (10 ECTS)
• Topics in History of Ancient and Medieval Logic (10 ECTS)
• Philosophy of Language (10 ECTS)
• Advanced Set Theory (10 ECTS)
• Category Theory (10 ECTS)
• Topics in Computability (10 ECTS)
• Topics in Logic I (10 ECTS)
• Topics in Model Theory (10 ECTS)

Σύνολο 30 ECTS

Δ΄Εξάμηνο

Μαθήματα επιλογής (επιλογή ενός μαθήματος)

• Philosophy of Science (10 ECTS)
• Topics in History of Modern Logic (10 ECTS)
• Topics in Philosophy of Logic/Philosophical Logic (10 ECTS)
• Topics in Philosophy of Mathematics (10 ECTS)
• Topics in Logic II (10 ECTS)
• Topics in Proof Theory (10 ECTS)
• Topics in Set Theory (10 ECTS)

Μεταπτυχιακή Διπλωματική εργασία (υποχρεωτική)

• Dissertation (20 ECTS)

Σύνολο 30 ECTS

Γενικό Σύνολο 120 ECTS

Ειδίκευση: Logic and Foundations of Mathematics

Α΄ Εξάμηνο

Μαθήματα υποχρεωτικά

• Mathematical Logic (10 ECTS)
• History of Logic (10 ECTS)
• Philosophy of Mathematics (10 ECTS)

Σύνολο 30 ECTS

Β΄ Εξάμηνο

Μαθήματα υποχρεωτικά

• Set Theory (10 ECTS)
• Philosophy of Science (10 ECTS)

Μαθήματα επιλογής (επιλογή ενός μαθήματος)

• Deontic Logic (10 ECTS)
• Constructive Mathematics (10 ECTS)
• Proof Theory (10 ECTS)

Σύνολο 30 ECTS

Γ΄ εξάμηνο

Μαθήματα επιλογής (επιλογή τριών μαθημάτων) 

• Computability (10 ECTS)
• Model Theory (10 ECTS)
• Philosophy of Logic/Philosophical Logic (10 ECTS)
• Topics in History of Ancient and Medieval Logic (10 ECTS)
• Philosophy of Language (10 ECTS)
• Philosophy of Language (10 ECTS)
• Advanced Set Theory (10 ECTS)
• Category Theory (10 ECTS)
• Topics in Computability (10 ECTS)
• Topics in Logic I (10 ECTS)
• Topics in Model Theory (10 ECTS)

Σύνολο 30 ECTS

Δ΄ Εξάμηνο

Μαθήματα επιλογής (επιλογή ενός μαθήματος)

• Modal Logic (10 ECTS)
• Topics in History of Modern Logic (10 ECTS)
• Topics in Philosophy of Logic/Philosophical Logic (10 ECTS)
• Topics in Philosophy of Mathematics (10 ECTS)
• Topics in Logic II (10 ECTS)
• Topics in Proof Theory (10 ECTS)
• Topics in Set Theory (10 ECTS)

Μεταπτυχιακή Διπλωματική εργασία (υποχρεωτική)

• Dissertation (20 ECTS)

Σύνολο 30 ECTS

Γενικό Σύνολο 120 ECTS

Ειδίκευση: Mathematical Logic

Α΄ Εξάμηνο

Μαθήματα υποχρεωτικά

• Mathematical Logic (10 ECTS)
• Computability (10 ECTS)
• Model Theory (10 ECTS)

Σύνολο 30 ECTS

Β΄ Εξάμηνο

Μαθήματα υποχρεωτικά

• Set Theory (10 ECTS)
• Modal Logic (10 ECTS)

Μαθήματα επιλογής (επιλογή ενός μαθήματος)

• Deontic Logic (10 ECTS)
• Constructive Mathematics (10 ECTS)
• Proof Theory (10 ECTS)

Σύνολο 30 ECTS

Γ΄ Εξάμηνο

Μαθήματα επιλογής (επιλογή τριών μαθημάτων)

• History of Logic (10 ECTS)
• Philosophy of Logic/Philosophical Logic (10 ECTS)
• Philosophy of Mathematics (10 ECTS)
• Topics in History of Ancient and Medieval Logic (10 ECTS)
• Philosophy of Language (10 ECTS)
• Philosophy of Language (10 ECTS)
• Advanced Set Theory (10 ECTS)
• Category Theory (10 ECTS)
• Topics in Computability (10 ECTS)
• Topics in Logic I (10 ECTS)
• Topics in Model Theory (10 ECTS)

Σύνολο 30 ECTS

Δ΄Εξάμηνο

Μαθήματα επιλογής (επιλογή ενός μαθήματος)

• Philosophy of Science (10 ECTS)
• Topics in History of Modern Logic (10 ECTS)
• Topics in Philosophy of Logic/Philosophical Logic (10 ECTS)
• Topics in Philosophy of Mathematics (10 ECTS)
• Topics in Logic II (10 ECTS)
• Topics in Proof Theory (10 ECTS)
• Topics in Set Theory (10 ECTS)

Μεταπτυχιακή Διπλωματική εργασία (υποχρεωτική)

• Dissertation (20 ECTS)

Σύνολο 30 ECTS

Γενικό Σύνολο 120 ECTS