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
105
Open
3
Instructors
Sections in Autumn 2026
| # | Sec | Instructor | Hist. GPA | Days/Time | Room | Enrollment |
|---|---|---|---|---|---|---|
| 19649 | 0010 | Christopher J. Pincock | — | MW 11:30 am-12:25 pm | CL 120 120 | Open · 35 enrolled |
| 26441 | 0011 | Mingyan Yang | — | F 11:30 am-12:25 pm | SM 1064 1064 | Open · 35 enrolled |
| 28286 | 0012 | Mingyan Yang | — | F 12:40 pm-1:35 pm | SM 2144 2144 | Open · 35 enrolled |