LOG 430 - Varieties of Logic

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. Prerequisites: LOG 201 or LOG 335 or MA 335 or MA 225 or CSC 226
Credits
3
Recent Professors
Open Seat Checker
Schedule Planner
Recent Semesters
Spring 2020, Spring 2019
Offered
MW
Avg. Class Size
18
Avg. Sections
1