Introduction to Math Logic (PHIL 155 Section 001)

This course is an introduction to symbolic logic. Logic is the science of good reasoning, and is best studied by learning a formalized, mathematical language. We will be learning one such language. We will learn how to translate between that language and English, learn techniques that will enable us to prove theorems, and learn how to apply those skills to evaluating arguments and good reasoning inside and out of the classroom. Students will finish the class better prepared to detect fallacies in others’ reasoning, able to construct valid arguments, and informed about philosophical issues involving logic.

Jamin Asay’s webpage