Teaching

Fall 2006-7

• History of Logic (PHS Department)
• Mathematical Logic (MPLA - Graduate Program in Logic and Algorithms)

Spring 2006-7

• Elements of Set Theory and Logic (PHS Department)
• Set Theory (MPLA)

Fall 2007-8

• History of Logic (PHS Department)
• Mathematical Logic (MPLA)
• Logic--Epistemology (Graduate Program in Systematic Philosophy - School of Philosophy)

Spring 2007-8

• Elements of Set Theory and Logic (PHS Department)
• Model Theory (MPLA)

Fall 2008-9

Study leave

Spring 2008-9

• Elements of Set Theory and Logic (PHS Department)
• Mathematical Logic (MPLA)

Fall 2009-10

• History of Logic (PHS Department)

Spring 2009-10

• Elements of Set Theory and Logic (PHS Department)

Fall 2010-11

• History of Logic (PHS Department)
• Computability (MPLA)

Spring 2010-11

• Elements of Set Theory and Logic (PHS Department)

Fall 2011-12

• History of Logic (PHS Department)
• History of Ancient Greek Logic (HPST - Graduate Program in History and Philosophy of Science)

Spring 2011-12

• Elements of Set Theory and Logic (PHS Department)
• Logic (HPST, with D. Anapolitanos)

Fall 2012-13

• History of Logic (PHS Department)
• Structuralism in the Philosophy of Science (HPST, with S. Psillos)

Spring 2012-13

• Elements of Set Theory and Logic (PHS Department, with G. Zikos)
• Logic (HPST, with D. Anapolitanos)
• Mathematical Logic (DM - Graduate Program in Didactics and Methodology of Mathematics)