| 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 |