Samuel C. Rickless

Professor of Philosophy


Fall 2019

PHIL 120: Symbolic Logic

In this course, we will learn how to determine whether arguments that can be represented in first-order predicate logic are deductively valid. To this end, we will learn how to symbolize arguments formulated in English by learning how to symbolize the English sentences that constitute the premises and conclusions of these arguments; we will learn the rules of a natural deduction system and learn how to apply those rules to determine the logical status of any argument symbolized in accordance with those rules; and we will also learn semantic methods for determining validity and invalidity. Those who acquire the knowledge and skills taught in this course will be able to distinguish between good and bad reasoning in the most rigorous way possible.