An introduction to the techniques of modern symbolic logic with an emphasis on ordinary language applications. Topics include categorical logic, statement logic, and predicate logic. Additional topics vary and may include modal, deontic, and non-classical logics.