University of Calgary

UofC Navigation

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

- 19th and 20th Century Analytic Philosophy (Phil 307)
- Logical Positivism (Phil 407)
- Carnap (Phil 507.01/609.02)

- Philosophy of Language (Phil 471)
- Philosophy of Mathematics (Phil 567/667)

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

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

- Introduction to Logic (Phil 12A)

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

- 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),
- 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*

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.