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

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

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

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

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

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

Ειδίκευση: History and Philosophy of Logic
Α΄ εξάμηνο
Μαθήματα υποχρεωτικά 

• L1. Mathematical Logic - 10 ECTS
• L4. History of Logic - 10 ECTS
• L7. Philosophy of Logic/Philosophical Logic - 10 ECTS

Σύνολο 30 ECTS

Β΄ εξάμηνο
Μαθήματα υποχρεωτικά

• L2. Set Theory - 10 ECTS
• L5. Modal Logic - 10 ECTS

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

• HPL1. Deontic Logic - 10 ECTS
• LFM1. Constructive Mathematics - 10 ECTS
• ML1. Proof Theory - 10 ECTS

Σύνολο απαιτούμενων μονάδων ECTS 30
Γ΄ εξάμηνο
Μαθήματα επιλογής (επιλογή τριών μαθημάτων) 

• L3. Computability - 10 ECTS
• L6. Model Theory - 10 ECTS
• L8. Philosophy of Mathematics - 10 ECTS
• HPL2. Topics in History of Ancient and Medieval Logic - 10 ECTS
• HPL3. Philosophy of Language - 10 ECTS
• LFM2. Advanced Set Theory - 10 ECTS
• LFM3. Category Theory - 10 ECTS
• ML2. Topics in Computability - 10 ECTS
• ML3. Topics in Logic I - 10 ECTS
• ML4. Topics in Model Theory - 10 ECTS

Σύνολο απαιτούμενων μονάδων ECTS 30

Δ΄εξάμηνο
Μαθήματα επιλογής (επιλογή ενός μαθήματος)

• L9. Philosophy of Science - 10 ECTS
• HPL4. Topics in History of Modern Logic - 10 ECTS
• HPL5. Topics in Philosophy of Logic/Philosophical Logic - 10 ECTS
• LFM4. Topics in Philosophy of Mathematics - 10 ECTS
• ML5. Topics in Logic II - 10 ECTS
• ML6. Topics in Proof Theory - 10 ECTS
• ML7. Topics in Set Theory - 10 ECTS

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

• HPLD. Dissertation 20 ECTS

Σύνολο απαιτούμενων μονάδων ECTS 30

Ειδίκευση: Logic and Foundations of Mathematics
Α΄ εξάμηνο
Μαθήματα υποχρεωτικά 

• L1. Mathematical Logic -10 ECTS
• L4. History of Logic -10 ECTS
• L8. Philosophy of Mathematics -10 ECTS

Σύνολο 30 ECTS

Β΄ εξάμηνο
Μαθήματα υποχρεωτικά

• L2. Set Theory -10 ECTS
• L9. Philosophy of Science -10 ECTS

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

• HPL1. Deontic Logic -10 ECTS
• LFM1. Constructive Mathematics -10 ECTS
• ML1. Proof Theory -10 ECTS

Σύνολο απαιτούμενων μονάδων ECTS 30

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

• L3. Computability -10 ECTS
• L6. Model Theory -10 ECTS
• L7. Philosophy of Logic/Philosophical Logic -10 ECTS
• HPL2. Topics in History of Ancient and Medieval Logic  -10 ECTS
• HPL2. Philosophy of Language  -10 ECTS
• HPL3. Philosophy of Language -10 ECTS
• LFM2. Advanced Set Theory -10 ECTS
• LFM3. Category Theory -10 ECTS
• ML2. Topics in Computability -10 ECTS
• ML3. Topics in Logic I -10 ECTS
• ML4. Topics in Model Theory -10 ECTS

Σύνολο απαιτούμενων μονάδων ECTS 30

Δ΄εξάμηνο
Μαθήματα επιλογής (επιλογή ενός μαθήματος)

• L5. Modal Logic -10 ECTS
• HPL4. Topics in History of Modern Logic -10 ECTS
• HPL5. Topics in Philosophy of Logic/Philosophical Logic -10 ECTS
• LFM4. Topics in Philosophy of Mathematics -10 ECTS
• ML5. Topics in Logic II -10 ECTS
• ML6. Topics in Proof Theory -10 ECTS
• ML7. Topics in Set Theory -10 ECTS

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

• LFMD. Dissertation 20 ECTS

Σύνολο απαιτούμενων μονάδων ECTS 30

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

Α΄ εξάμηνο
Μαθήματα υποχρεωτικά 

• L1. Mathematical Logic - 10 ECTS
• L3. Computability - 10 ECTS
• L6. Model Theory - 10 ECTS

Σύνολο 30 ECTS

Β΄ εξάμηνο
Μαθήματα υποχρεωτικά

• L2. Set Theory - 10 ECTS
• L5. Modal Logic - 10 ECTS

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

• HPL1. Deontic Logic - 10 ECTS
• LFM1. Constructive Mathematics - 10 ECTS
• ML1. Proof Theory - 10 ECTS

Σύνολο απαιτούμενων μονάδων ECTS 30

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

• L4. History of Logic - 10 ECTS
• L7. Philosophy of Logic/Philosophical Logic - 10 ECTS
• L8. Philosophy of Mathematics - 10 ECTS
• HPL2. Topics in History of Ancient and Medieval Logic - 10 ECTS
• HPL2. Philosophy of Language - 10 ECTS
• HPL3. Philosophy of Language - 10 ECTS
• LFM2. Advanced Set Theory - 10 ECTS
• LFM3. Category Theory - 10 ECTS
• ML2. Topics in Computability - 10 ECTS
• ML3. Topics in Logic I - 10 ECTS
• ML4. Topics in Model Theory - 10 ECTS

Σύνολο απαιτούμενων μονάδων ECTS 30

Δ΄εξάμηνο
Μαθήματα επιλογής (επιλογή ενός μαθήματος) 

• L9. Philosophy of Science - 10 ECTS
• HPL4. Topics in History of Modern Logic - 10 ECTS
• HPL5. Topics in Philosophy of Logic/Philosophical Logic - 10 ECTS
• LFM4. Topics in Philosophy of Mathematics - 10 ECTS
• ML5. Topics in Logic II - 10 ECTS
• ML6. Topics in Proof Theory - 10 ECTS
• ML7. Topics in Set Theory - 10 ECTS

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

• MLD. Dissertation 20 ECTS

Σύνολο απαιτούμενων μονάδων ECTS 30