Philosophy 220 | PHIL220 |
---|---|
Symbolic Logic | 3 (3-0-0-0-0) |
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. Prerequisites: Mathematics 200 or Philosophy 125 and 2nd year standing required |