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.
Grade history
733 students across 5 instructors · course avg 3.07
Instructor unknown
2.99 GPAmedian 3.3404 students · 8 terms
404 students total · 8 terms · click to see per-term
164 students · 4 terms
164 students total · 4 terms · click to see per-term
95 students · 3 terms
95 students total · 3 terms · click to see per-term
56 students · 2 terms
56 students total · 2 terms · click to see per-term
14 students · 1 term
14 students total · 1 term · click to see per-term
Source: historical OSU grade releases via thegradeguide.com (Adam Gluck), Spring 2016 – Summer 2023. FERPA-filtered: sections under 10 students excluded.
Sections
3
Instructors
1
Enrolled
69 / 106
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 · 23/50 |
| 26441 | 0011 | TBA | — | F 11:30 am-12:25 pm | SM 1064 1064 | Open · 23/28 |
| 28286 | 0012 | TBA | — | F 12:40 pm-1:35 pm | SM 2144 2144 | Open · 23/28 |