Philosophy 125: Symbolic Logic

Course Taught By

Course Description

This course is an introduction to elementary symbolic logic, the main goal of which is to develop students' analytical reasoning skills. We will use an artificial language to make clear the logical structure of deductive reasoning. We will explore such notions as truth-functions, deduction, validity, and consistency. The course covers both propositional and predicate logic, with much of the course focusing on constructing proofs within the logical system, though we will also explore some of the theoretical properties of the system itself.

Hours: 5

Notes

Satisfies the mathematics requirement for the BA degree. Required for  Philosophy majors.  Prerequisites a C- or better in MATH 090 or qualification through the Mathematical Science Department's placement exam. 

Texts Used

E.J. Lemmon, Beginning Logic

Different texts may be used in the future; check with the bookstore to find out what books are required for the course when you plan on taking it.

A Recent Syllabus