A1 First Term MWF 12:00-12:50 R. Dymarz
A brief review of sentential logic followed by an intensive study of predicate logic with identity. Topics include translation, semantics, decision procedures, natural deduction systems, mathematical induction. Other topics include: theories of definite descriptions, elementary modal logic, formal axiomatic systems.
Prerequisite: PHIL 120 or consent of Department.