Philosophy
Logic: Metatheory and Computability
3 credits
Continuation of PHIL 220. A system of deduction for predicate logic is selected for further study. Completeness of this system and other metatheoretic results are proved. Other topics include computability, recursive function theory, incompleteness and decidability. Recommended pre-requisite: one of PHIL 220, PHIL 222. PHIL 222 is recommended.
Average
72.8%
Students
347
Sections
12
Grade distribution. <50: 21, 50-54: 20, 55-59: 23, 60-63: 13, 64-67: 14, 68-71: 23, 72-75: 34, 76-79: 30, 80-84: 35, 85-89: 34, 90-100: 56.
Historical Averages
2014–2025
Lowest section avg
66.0%
Highest section avg
84.6%
Terms offered
12
Some grade ranges were withheld by UBC to protect student privacy and are not shown above.
Grade data from ubc-pair-grade-data.
| Section | Activity | Status | Time | Instructor |
|---|---|---|---|---|
| 001 | Lecture | Open | Mon 09:30-11:00, Wed 09:30-11:00 | David Gilbert |
No course reviews yet. If you took this course, yours would be the first anyone reads.