Learning Outcomes
1. Acquire a broad understanding of the scope and purpose of logic.
2. Learn how to symbolize natural language arguments using formal languages, and how to test the resulting formalizations for correctness.
3. Begin studying philosophical issues in logic.
4. Develop their powers of philosophical analysis and argument through study of what constitutes a valid argument.