This course introduces the basic concepts and techniques of formal logic.  The main
purpose is to use the apparatus of sentential logic and predicate logic and to get
comfortable with the symbolism.  You will learn to translate English sentences into the
formal language, and you will use the formal language to assess ordinary arguments.
Time permitting, we will go beyond using the apparatus and learn some of its meta-
theory.