PHIL 9Introductory Symbolic Logic
A first course in symbolic deductive logic. Major topics include (but are not limited to) the study of systems of sentential logic and predicate logic, including formal deduction, semantics, and translation from natural to symbolic languages. Formerly Introduction to Logic. Students may not receive credit for this course and PHIL 7.
Find a section and add it to your scheduleLive seat counts, time-conflict checks and the walk from your previous class.
When it runs
Winter 2027Open Winter 2027
| Section | Type | When | Where | Instructor | Seats |
|---|---|---|---|---|---|
| 01 | Lecture | Mon Wed 7:10pm–8:45pm | ClassroomUnit 001 | J. F. Bowin | Open 0/120 |
Fall 2026Open Fall 2026
| Section | Type | When | Where | Instructor | Seats |
|---|---|---|---|---|---|
| 01 | Lecture | Tue Thu 11:40am–1:15pm | Humn Lecture Hall | N. Orlandi | Open 153/200 |
Summer 2026Open Summer 2026
| Section | Type | When | Where | Instructor | Seats |
|---|---|---|---|---|---|
| 01 | Lecture | TBA | Online | K. M. Fisse | Open 71/120 |
Spring 2026Open Spring 2026
| Section | Type | When | Where | Instructor | Seats |
|---|---|---|---|---|---|
| 01 | Lecture | Mon Wed Fri 10:40am–11:45am | ClassroomUnit 002 | K. Robertson | Open 171/240 |
Fall 2025Open Fall 2025
| Section | Type | When | Where | Instructor | Seats |
|---|---|---|---|---|---|
| 01 | Lecture | Tue Thu 9:50am–11:25am | Humn Lecture Hall | N. Orlandi | Closed 201/0 |
Who teaches it
| Instructor | Rating | Difficulty | Would take again | Reviews |
|---|---|---|---|---|
| John Bowin | 2.5 / 5 | 3.6 / 5 | 36% | 45 |
| Nico Orlandi | 4.4 / 5 | 2.6 / 5 | 86% | 39 |
| Kyle Robertson | 3.8 / 5 | 2.8 / 5 | 63% | 48 |
From RateMyProfessors, which is student-submitted and not a survey. Small review counts move a long way on one bad quarter.
SlugAtlas is a student project and is not affiliated with, endorsed by, or operated by UC Santa Cruz. Course data is a snapshot of the public class search; myUCSC is authoritative for enrolment.