Elementary Logic
Course Code
PHIL 20100 20
Cross Listed Course Code(s)
PHIL 30000, HIPS 20700, CHSS 33500
Course Description
An introduction to the concepts and principles of symbolic logic. We learn the syntax and semantics of truth-functional and first-order quantificational logic, and apply the resultant conceptual framework to the analysis of valid and invalid arguments, the structure of formal languages, and logical relations among sentences of ordinary discourse.
Occasionally we will venture into topics in philosophy of language and philosophical logic, but our primary focus is on acquiring a facility with symbolic logic as such.
Course Criteria
This course fulfills the Logic requirement in the Philosophy major.
Students may count either PHIL 20100 or PHIL 20012, but not both, toward the credits required for graduation.
Instructor(s)
Ginger Schultheis