PHILOS 2500
Symbolic Logic
3 cr
A formal presentation of the elements of modern deductive logic; decision and proof procedures in sentential logic and functional logic. Prereq: Math 1075 or equiv, or an ACT Math subscore of 22 or higher that is less than 2 years old.
Sections
3
Instructors
2
Enrolled
50
Open
3
Instructors
Sections in Spring 2026
| # | Sec | Instructor | Hist. GPA | Days/Time | Room | Enrollment |
|---|---|---|---|---|---|---|
| 27711 | 0010 | Robert Kraut, Mingyan Yang | 3.04 GPA | MoWe 12:40PM - 1:35PM | Psychology Bldg 010 | Open · 25 enrolled |
| 26630 | 0011 | Mingyan Yang | — | Fr 11:30AM - 12:25PM | Enarson Classroom Bldg 254 | Open · 5 enrolled |
| 27710 | 0012 | Mingyan Yang | — | Fr 12:40PM - 1:35PM | Enarson Classroom Bldg 230 | Open · 20 enrolled |