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: PHIL 271