Courses and Teaching

Current Courses

• Logic III (Phil 479/679.01), and introduction to recursion theory and metamathematics.

• Paradoxes (Phil 579.01/679.02), a seminar on, well, paradoxes, co-taught with Jeremy Fantl.

Courses I teach regularly

• Logic I (Phil 279)
• Logic II (Phil 379)
• Logic III (Phil 479/679)
• Modal Logic (Phil 513/679.05)
• 19th and 20th Century Analytic Philosophy (Phil 307)
• Logical Positivism (Phil 407)
• Philosophy of Language (Phil 371)
• Philosophy of Mathematics (Phil 567/667)

Other Courses

University of Calgary

• Evidence (Phil 409.02)
• 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

Former Students

• Rafał Urbaniak (PhD 2008), Leśniewski’s Systems of Logic and Mereology; History and Re-evaluation
• Julianne Chung (BA Honours 2007), The Paradox of Knowability and Semantic Anti-Realism
• Phil Serchuk (BA Honours 2005), Fuzzy Logic and Vagueness

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.