PHIL 372 - Advanced Logic

A focused exploration of more advanced logical systems and the philosophical assumptions of such systems. Issues covered include translations and natural deduction in first-order predicate logic, an introduction to non-standard logical systems, modal logic, Bayesian theory, and selected topics in metalogic.

Credits: 3

Clock Hours - (Lect-Lab): (3-0)

Prerequisites: One CO2 course AND PHIL 271 [Details: CO2 course list: COMP 250, COMP 252, COMP 253, ENGL 268, SOC 210]