Introduction to contemporary symbolic or formal logic. The course will examine both sentential and predicate logic through the development of a system of deduction based upon semantic tableau techniques and natural deduction. Syntax and semantics will be discussed at an elementary level. Translation of natural language arguments into the formal logic for analysis will be done.