PHIL 119: Intermediate Logic
University of California, Santa Cruz
Detailed treatment of the semantics of first order logic and formal computability. Completeness, undecidability of first order logic and Lowenheim-Skolem results also proven. Nature and formal limits of computability and introduction to incompleteness also investigated. Students cannot receive credit for this course and course 219.
Average GPA: 3.54
Grade distribution records: 26 students across 2 terms.
Grade distribution
| Grade | Students | Percent |
|---|---|---|
| A+ | 4 | 15.4% |
| A | 6 | 23.1% |
| A- | 3 | 11.5% |
| B | 2 | 7.7% |
| B- | 3 | 11.5% |
| C | 1 | 3.8% |
| P | 4 | 15.4% |
| NP | 2 | 7.7% |
| W | 1 | 3.8% |
Based on 26 student grade records across 2 terms and 1 professor.
Instructors
- Kyle Robertson 26 students, Average GPA 3.54