Teaching

Fall 2002-3

• Elements of Set Theory and Logic (PHS Department)
• Mathematical Logic (MPLA - Graduate Program in Logic and Algorithms)
• Mathematical Logic (Mathematics Department)

Spring 2002-3

• History of Logic (PHS Department)
• Set Theory (MPLA)
• Metamathematics of Peano Arithmetic (MPLA)

Fall 2003-4

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

Spring 2003-4

• History of Logic (PHS Department)
• Mathematical Logic (MPLA)
• Mathematical Logic (Mathematics Department)

Fall 2004-5

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

Spring 2004-5

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

Fall 2005-6

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

Spring 2005-6

• History of Logic (PHS Department)
• Set Theory (MPLA)

Fall 2006-7

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

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-1

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

Spring 2010-1

• Elements of Set Theory and Logic (PHS Department)

Fall 2011-2

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

Spring 2011-2

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

Fall 2012-3

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

Spring 2012-3

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

Fall 2013-4

• History of Logic (PHS Department)
• Model Theory (MPLA)

Spring 2013-4

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

Fall 2014-5

• History of Roman and Medieval Logic (HPST)

Spring 2014-5

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

Fall 2015-6

• History of Logic (PHS Department)
• Frege's Logic (HPST)

Spring 2015-6

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

Fall 2016-7

Study leave

Spring 2016-7

Study leave

Fall 2017-8

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

Spring 2017-8

• History of Logic (PHS Department)
• Logic (HPST)

Fall 2018-9

• Logic and Set Theory (PHS Department)