Intro: Math Logic (PHIL 155.001)

We know that some arguments are good and some arguments are bad. But just what is it that makes some arguments good? In general, an argument is good only if its conclusion follows logically from its premises – we call these types of arguments valid. Logic is the formal study of validity. In this class, we will use formal techniques that help us determine in a rigorous way whether or not a given argument is valid. To this end, we will study special formal languages and will learn how to translate between these languages and English. We will begin the course by studying sentential logic and will then move on to study a richer system of predicate logic. The goal of the class is to show students how evaluating arguments in formal languages can help to clarify our everyday patterns of reasoning.

Rob Smithson’s webpage