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.3

404 students · 8 terms

404 students total · 8 terms · click to see per-term

Neil Wellesley Tennant

3.03 GPAmedian 3.3

164 students · 4 terms

164 students total · 4 terms · click to see per-term

Stewart David Shapiro

3.26 GPAmedian 3.7

95 students · 3 terms

95 students total · 3 terms · click to see per-term

Lisa A Shabel

3.45 GPAmedian 3.7

56 students · 2 terms

56 students total · 2 terms · click to see per-term

Robert Kraut

3.04 GPAmedian 3.3

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

Instructors

Enrolled

50 / 106

Open

Instructors

Mingyan Yang2 sections Robert Kraut, Mingyan Yang1 section4.1★3.04 GPAreddit(5)

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/50
26630	0011	Mingyan Yang	—	Fr 11:30AM - 12:25PM	Enarson Classroom Bldg 254	Open · 5/28
27710	0012	Mingyan Yang	—	Fr 12:40PM - 1:35PM	Enarson Classroom Bldg 230	Open · 20/28