Back to Courses List

Undergraduate Course Details
Number PHL 326
Title Symbolic Logic II: Predicate Logic
Credits 3.0
Distribution DII
Prerequisites PHL226 or permission of Department Chairperson


This course introduces students to predicate logic and its unique form of writing deductive proof. Students will learn how to symbolize English sentences into predicate logic and test arguments, sentences, and sets of sentences in predicate logic for quantificational truth/falsity/indeterminacy, quantificational equivalence, quantificational consistency/inconsistency, quantificational validity/invalidity, and quantificational entailment. The methods used to test for those properties will include natural deductions and truth trees. In addition, students will learn the basics of Aristotelian syllogisms and how to use Venn Diagrams to test these syllogisms for validity/invalidity. Not open to students who have received credit for PHL325. Three lecture hours per week.