Course Description

PY204 Formal Logic 0.5

An introduction to first order logic, including the propositional calculus and quantification theory. The basic notions studied are consistency, validity, proof, truth, and counter-example. The relationship between natural language and formal logic will be discussed.†

Official electronic version updated on February 4, 2002

M. Watson, Editor Course Timetable