Introductory Logic

Undergraduate catalogue

This course provides an introduction to symbolic logic, which studies the principles of valid reasoning from an abstract point of view--paying attention to the form of valid arguments rather than their subject matter. Covers the basic concepts of symbolic logic: validity, logical truth, truth-functional and quantificational inference, formal languages and formal systems, axiomatic and deductive proof procedures. Two lectures, one precept.