Courses and Teaching

Courses I Teach

Logic Courses

• Logic I (Phil 279)
• Logic II (Phil 379)
• Logic III (Phil 479/679)
• 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

Former Students

• Andre Curtis-Trudel (BA Honours 2016), Explication, Open-Texture, and Church’s Thesis
• Eamon Darnell (BA Honours 2013), Gödel vs. Mechanism
• Gillman Payette (PhD 2012), A Study in the Logic of Institutions
• Teresa Kouri (MA 2010), Indiscernibility and Mathematical Structuralism
• Taylor Scobbie (BA Honours 2010), Contrast and Contrastivism: The Logic of Contrastive Knowledge
• Steve Coyne (BA Honours 2009), The Revision Behind Conversation
• 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.