P250 | 5000 | Churchill

The chief goal of this course is to train you in the use of propositional logic and predicate logic. The skills you will learn include the ability to translate English sentences into symbolic notation and the ability to use formal techniques in determining whether an argument is valid or invalid. There is no prerequisite for this course, as it is an introductory course in symbolic logic. But we will cover twice as much as is normally covered in P150. Grades will be based on exams, homework, and in-class assignments. The textbooks for this course are Howard Pospesel’s Introduction to Logic: Propositional Logic (Third Edition) and Introduction to Logic: Predicate Logic (Second Edition).