PHIL 240 Introduction to Formal LogicPhilosophy (2009-2010)
An examination of classical propositional logic, covering proof methods, expressive completeness, soundness, and completeness. Also introduction to quantificational logic.
Prerequisites: Not open to students in the Faculty of Mathematics.
Antirequisites: PHIL 140
Sections For Fall 2009
| Lectures | ||||||||
| Professor | Time | Capacity | Sec | Assoc | Rel 1 | Rel 2 | Location | Code |
| Weinstein, Steven |
01:00-02:20TTh 09/14-11/26 01:00-02:20TTh 12/01-12/03 |
30/30 | 1 | 1 | RCH 208 | 2542 | ||
Sections For Spring 2009
PHIL 240 is not held in Spring 2009