Introductory Logic

Logic is the study of the principles of valid reasoning. 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. We will cover the basic concepts and principles of symbolic logic: validity, logical truth, truth-functional and quantificational inference, formal languages and formal systems, axiomatic and deductive proof procedures.