Course Description
Study of various non-classical logics such as modal logic, many-valued logic, paraconsistent logic, second-order logic, and intuitionistic logic. Emphasizes their applications in fields such as philosophy, linguistics, mathematics, computer science, and artificial intelligence. Students cannot receive credit for both LOG 430 and LOG 530.
Spring 2026
Instructors
Meeting Patterns
Classes Start:
January 12, 2026
Classes End:
April 28, 2026
Location:
00316 Leazar Hall
Class Days:
M W
Class Start Time:
3:00pm
Class End Time:
4:15pm
Class Type:
Lecture
Credits:
3.00
Restrictions:
P: LOG 201 or LOG 335 or MA 335 or MA 225 or CSC 226 Sophomores, Juniors and Seniors Only (SO, JR, SR)