Courses I Teach
Logic Courses
- Logic I (Phil 279)
- Logic II (Phil 379)
- Logic III (Phil 479/679)
- Philosophy of Logic (Phil 473/671.5)
- Paradoxes (Phil 579.01/679.02, co-taught with Jeremy Fantl)
- Modal Logic (Phil 579.2/679.05)
- Proof Theory (Phil 579.3/679.4)
History of Analytic Philosophy
- 19th and 20th Century Analytic Philosophy (Phil 307)
- Logical Positivism (Phil 407)
- Carnap (Phil 507.01/609.02)
Philosophical Issues
- Philosophy of Language (Phil 471)
- Philosophy of Mathematics (Phil 567/667)
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.