A quick review of sentential logic, a detailed study of predicate logic, and an introduction to more advanced topics 'e.g., modal logic, and "metalogical" issues and theorems'. May use computer-assisted instruction.

Credit Restriction: Credit may be obtained for only one of Philosophy 220 or Mathematics 220 or Philosophy 420

Prerequisites: Mathematics 200 or Philosophy 125 and 2nd year standing required
Further information: Course availability and times