Courses and Teaching

Courses I Teach

Logic Courses

History of Analytic Philosophy

Philosophical Issues

Other Courses

University of Calgary

  • Evidence (Phil 409.02), a pilot project, co-taught with Dennis McKerlie
  • Philosophy of Language (Phil 371), now offered as Phil 471
  • Vagueness (Phil 595/601)
  • Proof Theory (Phil 595/601)
  • Modality and Modal Logic (Phil 595/601)
  • Many-dimensional Modal Logic (Phil 595/601)

Stanford University

  • History of Early Analytic Philosophy
  • Logic, Reasoning, and Argumentation
  • Philosophy of Logic

University of California, Berkeley

  • Introduction to Logic (Phil 12A)

University of Technology, Vienna

  • Intuitionistic Logic
  • Theories of Truth
  • Logics of Belief and Knowledge
  • Models of Arithmetic
  • Proof Theory for Computer Scientists
  • Epsilon Calculus

Teaching Resources

Using Spreadsheets to Keep Track of Students’ Grades

A tutorial on how to use Excel and other spreadsheet programs to manage class grade sheets and do basic conversions (letter grades to grade points and back, percentile ranks) and statistics.